Welcome to the web-page for PY1003: Introduction to Logic.
This course is running for the Candlemas semester, 2006.
This year's Course Booklet is available below. This year's Lecture Handouts and Example Class Question Sheets will be posted as they become available.
Last year's Handouts are available at the bottom of this page, but please be aware that some details will have changed.
Remember that reading Lecture Handouts is not an adequate substitute for attending lectures.
The course textbook is Logic With Trees by Colin Howson.
Students may also find the following books helpful in order to get a flavour of the subject, although they should note that these texts may employ slightly different rules from the systems we'll be using:
Modern Logic by Graeme Forbes
Formal Logic: Its Scope and Limits by Richard Jeffrey
Logic by Wilfred Hodges.
If you have any questions about this page, or about the module, please contact Carrie Jenkins (csj6).
Lecture Handouts, 2005-6
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5
Lecture 6
Lecture 7
Lecture 8 was cancelled due to AUT strike action.
Lecture 9, OHP slides for lecture 9
Lecture 10
Lecture 11
Lecture 12, OHP slides for lecture 12
Lecture 13
Lecture 14
Lecture 15
Lecture 16
Lecture 17
Lecture 18
Lecture 19
Lecture 20
Question Sheets for Example Classes, 2005-6
Example Class 1 (week 3)
Example Class 2 (week 4)
Example Class 3 (week 5)
Example Class 4 (week 6)
Example Class 5 (week 8)
Example Class 6 (week 9)
Example Class 7 (week 10)
Example Class 8 (week 11)
The material below this point is from last academic year.
You might find it helpful to get an idea of what is coming up, but please note that there will be some differences from this year's materials.
Lecture Handouts, 2004-5
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5
Lecture 6
Lecture 7
Lecture 8
Lecture 9
Lecture 10
Lecture 11
Lecture 12
Lecture 13
Lecture 14
Lecture 15
Lecture 16
Lecture 17
Lecture 18
Lecture 19