Other materials

Here are various other handouts related to my 1A logic lectures (more to come):
Symbols! I don’t use the Greek alphabet in the book, but do so in lectures. So here it is, along with a very brief summary of standard logic symbolism.
‘If” and ‘⊃’ Complements Ch. 15 by discussing Grice’s theory of conditionals.
A natural deduction system for ‘not’ and ‘and’; … and ‘or’ These are two unpublished draft chapters in the style of the book, giving an alternative ‘Fitch-style’ proof system for arguments using negation, conjunction and disjunction.
Proof systems More about different styles of proof, this time including axiomatic proofs and Gentzen-style natural deduction.
Intentionality Expands on some themes in Ch. 31
Russell’s Theory of Descriptions Expands on some themes in Secs 34.1, 34.2, 36.5.

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):

IFL does logic by trees. For something about other approaches, see

For something on the notation for sets etc., see