Skip to main content

Logic 1: Symbolic Logic for Non-Philosophy Students (PH136-15)

Programme content

This module provides a study of formal logic covering both propositional and first-order logic. The module is based the presentation in Barwise & Etchemendy: Language, Proof and Logic (CSLI publications, Stanford, ISBN 9781575866321; please note: you need a *new* copy of the book (as you need a registration code to submit exercises)). 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 quantification, truth, proof and logical validity.

Module Director:

Stephen Butterfill

Sample reading list (PDF Document)

Topics covered

The following is a list of topics for this module in the 2015/16 academic year; precise seminar content may change from year to year.

  • Counterexamples
  • Identity
  • Formal Proof
  • Truth-functional Connectives
  • Ambiguity
  • vElim and Soundness
  • Quantifiers
  • Scope
  • Negation
  • Relations
Timing and CATS

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

If you are a student from within the Department, you can study the 12 CATS version of this module (module code: PH126-12).