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.
- The presentations for my sixteen lectures in Michaelmas 2010 are/will be available here. (The remaining lectures, on trees for QL arguments, etc., will be given by Tim Button).
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