The course gives an introduction to the metatheory, in particular model theory, of the predicate calculus and arithmetic. Particular emphasis will be given to the syntactic and recursion theoretic aspects, including G?‘s incompleteness theorems, on which parts the lectures will be given.
Timetable
see Timetable MA in Philosophy of a Specific Discipline 2008-2009
Method of instruction
Lectures and seminars. Depending on the number of enrolments this course will be offered either as a full seminar or as a series of individual tutorial sessions.
Examination
Written exam
Required reading
Dirk van Dalen, Logic and Structure, 4th ed., Berlin: Springer 2004.
Admission requirements
Admission to this course is restricted to MA students in Philosophy of a Specific Discipline, specialisation Philosophy of Mathematics.
Information at
prof.dr. B.G. Sundholm (b.g.sundholm@phil.leidenuniv.nl)
Remarks
Compulsory course for MA students in Philosophy of a Specific Discipline, specialisation Philosophy of Mathematics.
Registration
Please register for this course with the student administration: y.van.eijk@phil.leidenuniv.nl