Postgraduate Course: Mathematical Logic (MSc) (PHIL11044)
Course Outline
School | School of Philosophy, Psychology and Language Sciences |
College | College of Humanities and Social Science |
Credit level (Normal year taken) | SCQF Level 11 (Postgraduate) |
Availability | Available to all students |
SCQF Credits | 20 |
ECTS Credits | 10 |
Summary | 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 PHIL10053 Mathematical Logic.
|
Course description |
Not entered
|
Entry Requirements (not applicable to Visiting Students)
Pre-requisites |
Students MUST have passed:
Logic 1 (PHIL08004)
|
Co-requisites | |
Prohibited Combinations | |
Other requirements | Students holding an undergraduate degree from another institution should have passed an introductory course in logic before taking this course. |
Information for Visiting Students
Pre-requisites | Visiting students should have passed an introductory course in logic. We will only consider University/College level courses. |
Course Delivery Information
Not being delivered |
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
|
Additional Information
Graduate Attributes and Skills |
Not entered |
Keywords | Not entered |
Contacts
Course organiser | Dr Tillman Vierkant
Tel: (0131 6)51 3748
Email: T.Vierkant@ed.ac.uk |
Course secretary | Miss Lynsey Buchanan
Tel: (0131 6)51 5002
Email: Lynsey.Buchanan@ed.ac.uk |
|
|