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.
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.
- Formal Proof
- Truth-functional Connectives
- vElim and Soundness
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).