Here are various other handouts related to my first-year logic lectures/following up discussions in IFL. First, a handy
- Symbol sheet! I don’t use the Greek alphabet in the book, but do so in lectures. So here’s the alphabet, along with a very brief summary of some standard logic symbolism.
Next, some additional philosophical discussion (mostly elderly handouts but perhaps still useful):
- ‘If” and ‘⊃’ complements Ch. 15 by discussing Grice’s theory of conditionals.
- How to read Dummett on Quantifiers.
- Intentional Contexts expands on some themes in Ch. 31
- Russell’s Theory of Descriptions expands on some themes in Secs 34.1, 34.2, 36.5.
IFL does logic by trees. For something about other approaches, see
- Proof systems. More about different styles of proof, including axiomatic proofs and Gentzen-style natural deduction.
- Here are two unpublished draft chapters in the style of the book (I originally planned to cover natural deduction as well as trees). The first gives an alternative natural deduction ‘Fitch-style’ proof system for arguments using negation and conjunction; the second adds the corresponding rules for disjunction.
For something on the notation for sets etc., see