A series of short, relatively relaxed, bite-sized introductions to the topics of chapters (or small groups of chapters) from IFL2. Rather than summarize myself in my own words, I often quote (sometimes at length, sometimes critically) from other textbook authors making relevant points, so you get to hear more than one voice:
- Introduction
- What is logic? (Chapters 1, 2)
- Forms of argument (Chapter 3)
- Proofs (Chapter 4)
- The counterexample method (Chapter 5)
- Deductive validity, logical validity (Chapter 6)
- Propositions (Chapter 7)
- Before going formal (Interlude)
- ‘And’, ‘Or’, ‘Not’ (Chapter 8)
- Introducing PL languages (Chapters 9 and 10)
- PL languages: variations
- Quotation (Chapter 11)
- Truth functions (Chapter 12)
- ‘All possible valuations’
- Our first interesting ‘metatheorem’ (Chapter 13)
- Tautologies (Chapter 14)
- Tautological entailment (Chapters 15 and 16)
- Contradiction! (Chapter 17)
- Introducing the material conditional (Chapters 18 and 19)
- More about conditionals
- Truth trees: another way of testing for validity (see these additional draft chapters)