Skip to main content Skip to navigation

PH126 - Logic 1: Introduction to Symbolic Logic

  • Module code: PH126
  • Module name: Logic 1: Introduction to Symbolic Logic
  • Department: Philosophy
  • Credit: 12

Content and teaching | Assessment | Availability

Module content and teaching

Principal aims

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

Principal learning outcomes

Students will acquire a mastery of first-order symbolic logic

Timetabled teaching activities

Autumn term. 2 lectures and 1 seminar per week.

Departmental link

Other essential notes

Please note that attendance at both lectures and seminars and completion of any unasssessed or required work is a requirement of this module

Module assessment

Assessment group Assessment name Percentage
12 CATS (Module code: PH126-12)
B (Examination only) Examination - Main Summer Exam Period (weeks 4-9) 100%
Assessed Course Work 100%

Module availability

This module is available on the following courses:

  • Undergraduate Mathematics and Philosophy (GV17) - Year 1
  • Undergraduate History and Philosophy (V1V5) - Year 1
  • Undergraduate Philosophy (V700) - Year 1
  • Undergraduate Philosophy with Classical Civilisation (V7Q8) - Year 1
  • BA in Philosophy with Psychology (VL78) - Year 1
  • Undergraduate Philosophy and Literature (VQ72) - Year 1
Optional Core