? Credit Points : 20  ? SCQF Level : 10  ? Acronym : PPL-3-ML-PH

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

? Pre-requisites : The normal pre-requisite for students taking Philosophy is a pass in Logic 1 (or in an equivalent introductory logic course if taken elsewhere). For students studying for an MA in Mathematics (or related), the pre-requisite is a mark average of B in Year 3.

? Special Arrangements for Entry : There is a course quota of 31.

? This course has variants for part year visiting students, as follows

• Mathematical Logic (VS1) (Semester 1 (Blocks 1-2))

Home subject area

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

? Normal year taken : 3rd year

? 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 14:50 Dugald Stewart Building, Room G.06

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.

exam only

Exam times

Diet Diet Month Paper Code Paper Name Length 1ST May 1 - 2 hour(s) 2ND August 1 - 2 hour(s)

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

Course Secretary

Mrs Moira Avraam
Tel : (0131 6)50 3661
Email : Moira.Avraam@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/