Mathematical Logic (MSc) (P02170)

? Credit Points : 20 ? SCQF Level : 11 ? Acronym : PPL-P-ML MSc

A one-semester course in mathematical logic covering the following topics. Basic arithmetic and set theory (including cardinality, diagonalization, inductive definitions). Review of introductory logic. The Completeness theorem for first-order logic and related metalogical results. Theory of computability (Turing machines and recursive functions). Axiomatic systems of arithmetic. Limitative results: undecidability and incompleteness). Supplementary topics may include extended logics (modal and second-order) and non-classical logics (intuitionistic and many-valued) logics.

Shared with UG Course U03181 Mathematical Logic.

Venue: G6 Dugald Stewart Building

Entry Requirements

none

Subject Areas

Home subject area

Philosophy, (School of Philosophy, Psychology and Language Sciences, Schedule I)

Delivery Information

? Normal year taken : Postgraduate

? Delivery Period : Semester 1 (Blocks 1-2)

? Contact Teaching Time : 2 hour(s) per week for 11 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
22/09/2008	14:00	15:00			G6 Dugald Stewart Building

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	14:00	14:50	Central
Lecture	Tuesday	14:00	14:50	Central

Summary of Intended Learning Outcomes

Students who have completed this course should be able to:
* Demonstrate a good understanding of the semantics (and deductive systems) for propositional and first-order logic
* Demonstrate a good understanding of the proofs of the soundness and completeness theorems, and related metalogical results, for propositional and first-order logic
* Demonstrate a good understanding of the formalization of arithmetic, and the limitative / incompleteness results for formal systems of arithmetic