Introduction to Logic
From "what is an argument?" to formal proofs β spot an argument, judge it, name its flaw, symbolize it, test it, and prove it.
Free to read now, no account needed: Getting Ready to Reason. Create a free account to open the other chapters, take the quizzes and keep your progress.
1 What Logic Is π
Create a free account to open this chapter.
- Reasoning, guessing, and persuading ~20 min
- Statements and claims ~20 min
- Arguments, premises, and conclusions ~25 min
- Indicator words ~25 min
- Arguments, explanations, opinions, and descriptions ~25 min
2 Finding and Rebuilding Arguments π
Create a free account to open this chapter.
- Finding the main conclusion ~25 min
- Standard form and paraphrase ~30 min
- Missing premises and conclusions ~30 min
- Intermediate conclusions ~25 min
- Diagrams, independent and joint premises ~30 min
- Diagramming longer arguments ~35 min
3 Validity, Soundness, and Strength π
Create a free account to open this chapter.
- Deductive and inductive arguments ~20 min
- Validity ~25 min
- Truth and validity come apart ~25 min
- Soundness ~20 min
- Strength and cogency ~20 min
- Proving invalidity with counterexamples ~25 min
- Three questions for any argument ~25 min
4 The Shape of an Argument π
Create a free account to open this chapter.
- Form and substitution instances ~20 min
- Modus ponens and modus tollens ~25 min
- Affirming the consequent and denying the antecedent ~25 min
- Hypothetical and disjunctive syllogism ~30 min
- Conjunction, simplification, and addition ~20 min
- Constructive and destructive dilemma ~25 min
- Recognizing forms in the wild ~30 min
5 Fallacies of Relevance π
Create a free account to open this chapter.
- What makes a fallacy ~30 min
- Ad hominem and tu quoque ~35 min
- Straw man and red herring ~35 min
- Appeals to popularity, emotion, and force ~40 min
- Appeal to authority and the genetic fallacy ~35 min
- Appeal to ignorance ~35 min
6 Fallacies of Presumption π
Create a free account to open this chapter.
- Begging the question and circular reasoning ~30 min
- False dilemma, loaded and complex questions ~35 min
- Hasty and sweeping generalization and accident ~35 min
- Telling presumption fallacies apart ~30 min
7 Causes and Words π
Create a free account to open this chapter.
- Post hoc and false cause ~25 min
- Correlation is not causation ~30 min
- Oversimplified cause and slippery slope ~25 min
- Equivocation and amphiboly ~25 min
- Composition and division ~25 min
- Repairing fallacious arguments ~30 min
8 Categorical Logic: A Bridge π
Create a free account to open this chapter.
- Classes and the four statement types ~25 min
- Putting statements in standard form ~30 min
- Venn diagrams for single statements ~25 min
- The square of opposition and existential import ~30 min
- Conversion, obversion, and contraposition ~30 min
- Syllogisms, mood, figure, and distribution ~40 min
- Testing syllogisms with Venn diagrams ~35 min
9 The Language of Sentential Logic π
Create a free account to open this chapter.
- Why symbols ~15 min
- Sentence letters and compound sentences ~20 min
- Negation and conjunction ~25 min
- Disjunction ~20 min
- The conditional ~25 min
- The biconditional ~20 min
- Other notations you will see ~20 min
10 Translating English into Symbols π
Create a free account to open this chapter.
- Building a symbolization key ~25 min
- Not, but, and both ~25 min
- Or, either β¦ or, and neither β¦ nor ~25 min
- If versus only if ~30 min
- Necessary and sufficient conditions ~25 min
- Unless ~25 min
- If and only if, and longer sentences ~35 min
- What symbols cannot capture ~25 min
11 Scope, Parentheses, and the Main Connective π
Create a free account to open this chapter.
- Well-formed formulas ~20 min
- Scope and parentheses ~25 min
- Finding the main connective ~25 min
- How parentheses change meaning ~25 min
- Scope ambiguity in English ~25 min
12 Truth Tables π
Create a free account to open this chapter.
- Truth values and valuations ~25 min
- The five characteristic tables ~30 min
- Why the conditional table looks strange ~25 min
- Computing the value of a compound ~30 min
- Building complete truth tables ~35 min
- Truth table shortcuts ~25 min
13 Three Kinds of Sentences π
Create a free account to open this chapter.
- Tautologies, contradictions, and contingencies ~30 min
- Classifying with truth tables ~35 min
- Predict, then check with partial truth tables ~35 min
- Consistency: can sentences be true together? ~30 min
14 Logical Equivalence π
Create a free account to open this chapter.
- What equivalence means ~20 min
- Checking equivalence with truth tables ~25 min
- Double negation and De Morgan's laws ~30 min
- Commutative, associative, and distributive laws ~25 min
- Idempotence, identity, domination, and negation laws ~25 min
- Conditional and biconditional equivalences ~30 min
- Chains of equivalences ~30 min
- Normal forms ~30 min
15 Testing Arguments with Truth Tables π
Create a free account to open this chapter.
- Symbolizing whole arguments ~25 min
- The truth table test ~30 min
- Counterexamples and countermodels ~25 min
- The short method ~30 min
- Odd cases ~20 min
- Checking the named forms ~30 min
16 Formal Proofs I: The Basic Rules π
Create a free account to open this chapter.
- Why proofs ~25 min
- Proof format: lines, premises, and citations ~25 min
- The and rules ~25 min
- Conditional elimination and reiteration ~30 min
- Subproofs and conditional introduction ~35 min
- The or rules ~35 min
- The biconditional rules ~30 min
17 Formal Proofs II: Negation, Strategy, Derived Rules π
Create a free account to open this chapter.
- Contradiction and the negation rules ~30 min
- Indirect proof ~30 min
- Proof strategy ~35 min
- Derived rules: MT, DS, DNE, and De Morgan ~35 min
- Hypothetical syllogism and dilemmas as derived rules ~30 min
- Theorems: proofs with no premises ~30 min
- Longer proofs ~40 min
18 Logic in Full π
Create a free account to open this chapter.
- From English to verdict ~35 min
- Choosing a method ~30 min
- Knights and knaves ~30 min
- Deduction grids and who is lying ~30 min
- Cumulative review ~40 min