TIMING & CATS
This module runs in the Spring Term and is worth 12 CATS
This module is for Philosophy department students and Maths and Philosophy (GV17) degree students only. If you are a student from outside the Department, you can study the 15 CATS version of this module (module code: PH136-15).
This module provides a study of formal logic covering both propositional and first-order logic. The module is based on Barker-Plummer, Barwise, and Etchemendy: Language, Proof and Logic (CSLI publications, ISBN 9781575866321. Please note: you do NOT need a new copy of the book, we will provide a way for you to submit the exercises that is independent of the software package which comes with the book). We introduce a system of proof (of the natural deduction kind) and sketch demonstrations that this system of proof is both sound and complete. We also explain how to express and understand claims using formal techniques, including multiple quantifiers. Key concepts include logical validity, truth functionality, formal proof, quantification.
LEARNING OUTCOMES OR AIMS
Students will acquire a mastery of first-order symbolic logic
Normally students must attend 2 hours of lectures and 1 hour of seminars per week.
For students willing and able to go faster, a single weekly fast-track lecture covers the same syllabus as the two main lectures.
Lectures for 2016-17
- Tuesdays 1pm to 2pm in OC0.03
- Thursdays to 11am to 12pm in S0.21
Alternatively, for those wishing and able to go faster, a single weekly fast-track lecture covers the same syllabus as the two main lectures. Lecture time: Tuesday 4pm to 5pm in MS.01.
There will be no lectures in reading week (week 6)
Seminars for 2016-17
Seminars start in week 2.
There will be no seminars in reading week (week 6)
Please sign up for a seminar group using Tabula.
This module can be formally assessed in the following ways:
- 100% examination
In addition students are required to submit weekly exercises directly to their seminar tutor by 2pm the day before their seminar (unless otherwise instructed by the seminar tutor).
BACKGROUND READING AND TEXTBOOKS
Barwise & Etchemendy: Language, Proof and Logic (CSLI publications, Stanford)
From October 2016 course materials will be available on Moodle. Simply sign in and select the module from your Moodle home page.
Please note you must be regisitered for the module on eMR in order to access the relevant page.