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

Mathematical Logic: 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:
Monday - 8.16 David Hume Tower
Tuesday - G03 William Robertson Building

? Pre-requisites : Logic 1 or equivalent

Home subject area

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

? 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 18/09/2007 14:00 16:00 Room G.03, William Robertson Building Central

All of the following classes

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

To develop further the philosophical skills, and to extend as well as deepen the philosophical knowledge, acquired in previous philosophy courses.

2500 word essay

The Course Secretary should be the first point of contact for all enquiries.

Course Secretary

Miss Toni Noble
Tel : (0131 6)51 3188
Email : Toni.noble@ed.ac.uk

Course Organiser

Dr Jeffrey Ketland
Tel : (0131 6)50 3662
Email : Jeffrey.Ketland@ed.ac.uk

Course Website : http://www.philosophy.ed.ac.uk

School Website : http://www.ppls.ed.ac.uk/

College Website : http://www.hss.ed.ac.uk/