- Department: Philosophy
- Module co-ordinator: Dr. Simon Thunder
- Credit value: 10 credits
- Credit level: I
- Academic year of delivery: 2022-23
- See module specification for other years: 2021-22
The module introduces students to formal logic. Students learn how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.
Pre-requisite modules
Co-requisite modules
- None
Prohibited combinations
- None
Occurrence | Teaching period |
---|---|
A | Autumn Term 2022-23 |
The module aims to introduce students to formal logic, in contrast to Reason & Argument which focuses on the logic of natural languages. Students learn how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.
By the end of the module, students should be able to:
Task | Length | % of module mark |
---|---|---|
Online Exam - 24 hrs (Centrally scheduled) PHI00095I Intermediate Logic (Short) - Key Ideas |
8 hours | 100 |
None
Task | Length | % of module mark |
---|---|---|
Online Exam - 24 hrs (Centrally scheduled) PHI00095I Intermediate Logic (Short) - Key Ideas |
8 hours | 100 |
Feedback on formative work will be returned within 2 weeks of submission, and by the end of term at the latest. Feedback on summative work will be returned within 4 weeks of the assessment deadline.
Allen & Hand, Logic Primer
Sainsbury, ‘What Logic Should We Think With?’;
Bostock, Intermediate Logic, ch. 8.
Melia, Modality, ch. 2;
Kripke, ‘Semantical Considerations on Modal Logic’
Fine, ‘Vagueness, Truth, and Logic’;
Williamson, ‘Vagueness and Ignorance’
Grice, Studies in the Way of Words, chs. 1-4;
Edgington, ‘Conditionals’, Stanford Encyclopedia of Philosophy.