Postgraduate Course: Mathematical Logic (MSc) (PHIL11044)
Course Outline
| School |
School of Philosophy, Psychology and Language Sciences |
College |
College of Humanities and Social Science |
| Course type |
Standard |
Availability |
Available to all students |
| Credit level (Normal year taken) |
SCQF Level 11 (Postgraduate) |
Credits |
20 |
| Home subject area |
Philosophy |
Other subject area |
None |
| Course website |
None |
|
|
| Course description |
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
| Pre-requisites |
Students MUST have passed:
Logic 1 (PHIL08004)
|
Co-requisites |
|
| Prohibited Combinations |
|
Other requirements |
None
|
| Additional Costs |
None |
Course Delivery Information
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 |
Assessment Information
| Exam only |
| Please see Visiting Student Prospectus website for Visiting Student Assessment information |
Special Arrangements
| Not entered |
Contacts
| Course organiser |
Dr Jeffrey Ketland
Tel: (0131 6)50 3662
Email: Jeffrey.Ketland@ed.ac.uk |
Course secretary |
Miss Lynsey Buchanan
Tel: (0131 6)51 5002
Email: Lynsey.Buchanan@ed.ac.uk |
|
copyright 2010 The University of Edinburgh -
1 September 2010 6:33 am
|
University Homepage