? Credit Points : 20  ? SCQF Level : 10  ? Acronym : PPL-3-MLV1-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

? This course is only available to part year visiting students.

? This course is a variant of the following course : U03181

? Pre-requisites : Passes in formal logic

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.

Coursework 100%

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/