Logicbites

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:

  1. Introduction
  2. What is logic? (Chapters 1, 2)
  3. Forms of argument (Chapter 3)
  4. Proofs (Chapter 4)
  5. The counterexample method (Chapter 5)
  6. Deductive validity, logical validity (Chapter 6)
  7. Propositions (Chapter 7)
  8. Before going formal (Interlude)
  9. ‘And’, ‘Or’, ‘Not’ (Chapter 8)
  10. Introducing PL languages (Chapters 9 and 10)
  11. PL languages: variations
  12. Quotation (Chapter 11)
  13. Truth functions (Chapter 12)
  14. ‘All possible valuations’
  15. Our first interesting ‘metatheorem’ (Chapter 13)
  16. Tautologies (Chapter 14)
  17. Tautological entailment (Chapters 15 and 16)
  18. Contradiction! (Chapter 17)
  19. Introducing the material conditional (Chapters 18 and 19)
  20. More about conditionals
  21. Truth trees: another way of testing for validity (see these additional draft chapters)

Back to the main page for IFL!

Scroll to Top