Skip to main content

Logic 1: Introduction to Symbolic Logic (PH136-15)

Timing & CATS

This module runs in the Spring Term and is worth 15 CATS

Module Description

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

Contact Time

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

OR (fast-track):

  • 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.

Assessment Methods

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]

Course materials

From October 2016 course materials will be available on Moodle. Simply sign in and select the module PH136 from your Moodle home page.

Module Tutor


Dr Hemdat Lerman

H dot Lerman at warwick dot ac dot uk