Skip to main content

PH136 Logic I: Introduction to Symbolic Logic

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

MODULE DESCRIPTION

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

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

 

ASSESSMENT METHODS

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)

Course materials

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.

yr1.jpg
Year 1 regs and modules
G100 G103 GL11 G1NC

yr2.jpg
Year 2 regs and modules
G100 G103 GL11 G1NC

yr3.jpg
Year 3 regs and modules
G100 G103

yr4.jpg
Year 4 regs and modules
G103

Archived Material
Past Exams
Core module averages