Description
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ödel’s incompleteness theorems, on which parts the lectures will be given.
Timetable
see Timetables Philosophy
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