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.
Rooster
see Timetable MA in Philosophy of a Specific Discipline 2008-2009
Onderwijsvorm
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.
Toetsing
Written exam
Literatuur
Dirk van Dalen, Logic and Structure, 4th ed., Berlin: Springer 2004.
Toegangseisen
Admission to this course is restricted to MA students in Philosophy of a Specific Discipline, specialisation Philosophy of Mathematics.
Informatie bij
prof.dr. B.G. Sundholm (b.g.sundholm@phil.leidenuniv.nl)
Opmerkingen
Compulsory course for MA students in Philosophy of a Specific Discipline, specialisation Philosophy of Mathematics.
Aanmelden bij
Please register for this course with the student administration: y.van.eijk@phil.leidenuniv.nl