Module manager: Dr Andrew Brooke-Taylor
Email: A.D.Brooke-Taylor@leeds.ac.uk
Taught: Semester 1 (Sep to Jan) View Timetable
Year running 2018/19
Familiarity with proof by mathematical induction. Interest in abstract, mathematical proof writing.
| PHIL2122 | Formal Logic |
This module is approved as an Elective
This module is an introduction to mathematical logic introducing formal languages that can be used to express mathematical ideas and arguments. It throws light on mathematics itself, because it can be applied to problems in philosophy, linguistics, computer science and other areas.
- To describe the fundamental notions of mathematical logic, including the distinction between syntax and semantics.
- To present a proof of the completeness theorem in the propositional case and introduce a first order predicate calculus.
On completion of this module, students should be able to:
(a) express logical arguments in a formal language, and thereby to analyse their correctness;
(b) distinguish between syntax and semantics, and give simple formal proofs in a natural deduction system;
(c) give a proof by induction on a finite tree.
1. Propositional Logic. Syntax. Semantics. Satisfiability, tautologies, contradictions, tautologies. Disjunctive and conjunctive normal forms. A formal proof system. Completeness and (possibly) compactness.
2. Boolean algebras and partially ordered sets.
3. Predicate Logic. Language and syntax. First-order structures. Truth in a structure. Possibly prenex normal form. A formal proof system.
| Delivery type | Number | Length hours | Student hours |
|---|---|---|---|
| Workshop | Delivery type 10 | Number 1 | Length hours 10 |
| Lecture | Delivery type 22 | Number 1 | Length hours 22 |
| Private study hours | Delivery type 68 | ||
| Total Contact hours | Delivery type 32 | ||
| Total hours (100hr per 10 credits) | Delivery type 100 | ||
Studying and revising of course material.
Completing of assignments and assessments.
Regular problem solving assignments
| Assessment type | Notes | % of formal assessment |
|---|---|---|
| Assessment type In-course Assessment | Notes . | % of formal assessment 15 |
| Total percentage (Assessment Coursework) | Assessment type 15 | |
There is no resit available for the coursework component of this module. If the module is failed, the coursework mark will be carried forward and added to the resit exam mark with the same weighting as listed above.
| Exam type | Exam duration | % of formal assessment |
|---|---|---|
| Exam type Standard exam (closed essays, MCQs etc) | Exam duration 2.0 Hrs 0 Mins | % of formal assessment 85 |
| Total percentage (Assessment Exams) | Exam type 85 | |
Normally resits will be assessed by the same methodology as the first attempt, unless otherwise stated
The reading list is available from the Library website
Last updated: 20/03/2018
Errors, omissions, failed links etc should be notified to the Catalogue Team