? 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 : Logic 1 or equivalent

? 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 18/09/2007 14:00 14:50 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.

exam only

Exam times

Diet Diet Month Paper Code Paper Name Length 1ST May 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/