Professor of Philosopy of Mathematics and of Logic
Göran Sundholm (1953) holds an Oxford doctorate in proof theory (1983). He wrote about 50 research articles, including six Handbook chapters, and presented many invited contributions at international conferences. Sundholm is a regular referee for several European research councils and a frequent evaluator for doctorates,
Habilitationen and tenures at European and American universities. Previously he was Fellow by Examination at Magdalen College, Oxford; Lecturer at Radboud University, Nijmegen; and Reader in Theoretical Philosophy in Stockholm. Since his appointment as Professor in Philosophy at Leiden University in 1987 he was four times Dean of the Faculty of Philosophy. He accepted visiting professorships at Siena, Rio de Janeiro/Campinas and Stockholm (twice).
Areas of Research
Philosophy of Logic, Mathematics, and Language: exploring the possibilities of Mathematical Constructivism (esp. in the form of Martin-Löf's Constructive Type Theory) outside mathematics.
Modern History of Logic: one focus is on Bolzano, Frege, and Wittgenstein's Tractatus; another field of interest is the Metalogical Turn - Logic as Language versus Logic as Calculus.