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

Mathematical Logic: A self-contained, rigorous account of: (i) cardinality (finite and infinite, Cantor's Theorem) (ii) computability (Turing machines, recursive functions, their equivalence); (iii) formal theories of arithmetic. It culminates in proofs of G'del's Incompleteness Theorems. Philosophy of Mathematics: This course concerns topics the epistemology and the ontology of mathematics. (i) Is mathematical knowledge possible? Is such knowledge a priori? How could pure reason give us knowledge of mathematical objects? What is the role of proof? (ii) What are numbers and sets? How do they relate to the physical world we inhabit? What is truth in mathematics and how does it relate to proof?

? Pre-requisites : Logic 1h (PP9976)

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

• Mathematical Logic and Philosophy of Mathematics (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)

First Class Information

Date Start End Room Area Additional Information 20/09/2005 14:00 15:51 Room 9.18, David Hume Tower Central

All of the following classes

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

Assessment will be by 2-hour examination in the June diet. Senior Honours students may opt to write a long essay (approximately 6000 words) in lieu of the final exam.

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 Peter Milne
Tel : (0131 6)50 3663
Email : Peter.Milne@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/