Timing & CATS
This module runs in the Spring Term and is worth 15 CATS
This module provides an introduction to formal logic, covering both propositional and first-order logic. It is based on Barwise, and Etchemendy: Language, Proof and Logic (CSLI publications). We will study formal languages, which will allow us to define precise notions of logical validity, and to develop methods to establish the validity or invalidity of arguments. In particular, we will introduce a system of proof (of the natural deduction kind) which can be used to establish that an argument is valid. We will also learn how to translate English sentences into formal language ones and vice versa.
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 (usually outside students from the Maths department or another related discipline), a single weekly fast-track lecture covers the same syllabus as the two main lectures.
Lectures for 2017-18
- Tuesday 1pm to 2pm in H0.52
- Thursday 11am to 12pm in S0.21
- Tuesday 4pm to 5pm in MS.01
There will be no lectures in reading week (week 6)
Seminars for 2017-18
Seminars start in week 2 of term 2.
There will be no seminars in reading week (week 6)
Please sign up for a seminar group using Tabula.
This module will be formally assessed in the following way:
- 1 x 2 hour exam (worth 100% for the module)
In addition students are required to submit weekly exercises on the online system Zoxiy 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), 1st or 2nd edition
[Please note: you do NOT need a new copy of the book]
From October 2016 course materials will be available on Moodle. Simply sign in and select the module PH136 from your Moodle home page.
Dr Hemdat Lerman
H dot Lerman at warwick dot ac dot uk