Prof B.G. (Göran) Sundholm, B.Phil., M.A., D.Phil. (Oxon.)
Position:
- Chair of Philosophy, esp. Logic, Philosophy of Logic, and their Post-medieval History
- Professor of the History and Philosophy of Logic and Mathematics
- Martin-Löf's Constructive Type Theory
- Modern history of logic
- Bolzano
- Frege
- Wittgenstein's Tractatus
| Telephone number: | +31 (0)71 527 2029 |
|---|---|
| E-Mail: | b.g.sundholm@hum.leidenuniv.nl |
| Faculty / Department: | Faculteit der Geesteswetenschappen, Instituut voor Wijsbegeerte |
| Office Address: |
Witte Singel-complex Witte Singel 25/M. de Vrieshof 4 2311 BZ Leiden Room number 1.07a |
Curriculum vitae
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.
Link: Leiden Scientists and Scholars
2009
-
Sundholm, B.G. (2009)
A Century of Judgment and Inference: 1837-1936. In: Haaparanta, L. (Ed.), The Devlopment of Modern Logic, pp. 263-317. Oxford: Oxford University Press.
(Part of book or chapter of book)
2008
-
Sundholm, B.G. (2008)
A novel(?) paradox. In Dégremont, Cédric, Keiff, Laurent, Rückert, Helge (Eds.) Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman Vol. 7 (pp. 375-377). London: College Publications (Tributes 7).
(Article in monograph or in proceedings) -
Sundholm, B.G. (2008)
Summa de Veritate hanburgensis:Truth according to Wolfgang Künne. [Bespreking van: Conceptions of Truth]. In: Dialectica, 62, pp. 359-372.
(Book review) -
Sundholm, B.G. & Van Atten, Mark (2008)
The proper explanation of intuitionistic logic: on Brouwer's demonstartion of the Bar Theorem. In M. van Atten, P., Boldini, P., Bourdeau, M. (Eds.) One Hundred Years of Intuitionism (1907-2007) (pp. 60-77). Basel: Birkhäuser.
(Article in monograph or in proceedings)
2007
-
Sundholm, B.G. (2007)
Pehenomenology of mathematics; a constructivist’s perspective. Paris, workshop Phenomenology and Mathematics, IHPST
(Conference lecture) -
Sundholm, B.G. (2007)
Semantic values of natural deduction derivations. Synthese, 148 (3), pp. 623-638.
(Article)
2004
-
Sundholm, B.G. (2004)
Antirealism and the Roles of Truth. In: Niniluoto, I & Sintonen, M (Eds.), Handbook of Epistemology, pp. 437-466. Dordrecht: Kluwer.
(Part of book or chapter of book) -
Sundholm, B.G. (2004)
Heinrich Scholz between Frege and Hilbert. In: Schmidt am Busch, H.C. & Wehmeier, K.F. (Eds.), Heinrich Scholz. Logiker, Philosoph, Theologe, Mentis Verlag, pp. 103-117. Paderborn.
(Part of book or chapter of book) -
Sundholm, B.G. (2004)
The proof-explanation is logically neutral. Revue internationale de philosophie, 58 (4), pp. 401-410.
(Article)
2003
-
Sundholm, B.G. (2003)
"Mind your P'ds and Q's". On the proper interpretation of modal logic. Logica Yearbook 2002 (pp. 101-111). Czech Academy of Science, Prague: Filosofia Publishers.
(Article in monograph or in proceedings) -
Sundholm, B.G. (2003)
Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski. In Hintikka, J., Czarnecki, T., Kijania-Placek, K., Placek, T., Rojszczak, A. (Eds.) Philosophy and Logic. In Search of the polish Tradition (pp. 109-128). Dordecht: Kluwer.
(Article in monograph or in proceedings)
2002
-
Sundholm, B.G. (2002)
A Century of Inference: 1837-1936. In Gärdenfors, P., Wolenski, J., Kijania-Placek, K. (Eds.) In the Scope of Logic, Methodology and Philosophy of Science (pp. 565-580). Dordrecht: Kluwer.
(Article in monograph or in proceedings) -
Sundholm, B.G. (2002)
Gottlob Frege, August Bebel, and the Return of Alsace-Lorraine: on the dating of the distinction between 'Sinn' and 'Bedeutung'. History and Philosophy of Logic, 22 (1)
(Article) -
Sundholm, B.G. (2002)
Varieties of Consequence. In Jacquette, D. (Ed.) A Companion to Philosophical Logic (pp. 241-255).
(Article in monograph or in proceedings) -
Sundholm, B.G. (2002)
What is an expression? Logica Yearbook 2001 (pp. 181-194). Prague: Filosofia Publishers, Czech Academy of Science.
(Article in monograph or in proceedings)
2001
-
Sundholm, B.G. (2001)
A Plea for Logical Atavism. The Logica Yearbook 2000 (pp. 151-162). Prague: Filosofia Publishers, Czech Academy of Science.
(Article in monograph or in proceedings) -
Sundholm, B.G. (2001)
Systems of Deduction (Chapter 2:1). In: Gabbay, D. & Guenthner, F. (Eds.), Handbook of Philosophical Logic, pp. 1-52. Dordrecht: Kluwer.
(Part of book or chapter of book)
2000
-
Sundholm, B.G. (2000)
Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz. Theoria, 64, pp. 187-216.
(Article) -
Sundholm, B.G. (2000)
Virtues and Vices of Interpreteted 'Classical' Formalisms: Some Impertinent Questions for Pavel Materna on the occasion of his 70th Birthday. In Childers, T. & Palomäki, J. (Eds.) Between Worlds and Words (pp. 3-12). Prague: Filosofia Publishers.
(Article in monograph or in proceedings) -
Sundholm, B.G. (2000)
When, and Why, did Frege read Bolzano? The Logica Yearbook 1999 (pp. 164-174). Prague: Filosofia Publishers.
(Article in monograph or in proceedings)
1999
-
Sundholm, B.G. (1999)
Identity: Propositional, Criterial, Absolute. The Logica Yearbook 1998 (pp. 20-26). Prague: Filosofia Publishers, Czech Academy of Science.
(Article in monograph or in proceedings) -
Sundholm, B.G. & Pagin, P. (1999)
Interview with Michael Dummett (jointly with Peter Pagin). Lingua e Stile
(Article in monograph or in proceedings)
1998
-
Sundholm, B.G. (1998)
Inference versus Consequence. The Logica Yearbook, pp. 26-36.
(Article) -
Sundholm, B.G. (1998)
Inference, Consequence, Implication: A Constructivist's Perspective. Philosophia Mathematica, series III, 6, pp. 178-194.
(Article) -
Sundholm, B.G. (1998)
Intuitionism and Logical Tolerance. Vienna Circle Institute Yearbook, 6, pp. 135-145.
(Article)
1997
-
Sundholm, B.G. (1997)
1. Abduktion och deduktion: detektivfiktionens logik, och 2. Slutledningsakt och konsekvensförhållande. Universitetet i Linköping, Zweden, Seminar Filosofiska Institutionen
(Conference lecture) -
Sundholm, B.G. (1997)
Implicit epistemic aspects of constructive logic. Journal of Logic, Language, and Information, 6, pp. 191-212.
(Article) -
Sundholm, B.G. (1997)
Inference and Consequence. Matematiska Inst., Universitetet i Stockholm, Uppsala-Stockholm Logic-Group Seminar
(Conference lecture) -
Sundholm, B.G. (1997)
Inference vs Consequence. Liblice Castle, Bohemia (Czech Ac. of Sciences), Conferentie 'Logica '97'
(Conference lecture) -
Sundholm, B.G. (1997)
Intuïtionism and Logical Tolerance. Insitut Wiener Kreis, Conference 'Tarski and the Vienna Circle'
(Conference lecture) -
Sundholm, B.G. (1997)
Logisk tolerans, Högre seminariet i teoretisk filosofi. Universitetet i Stockholm, Zweden, Seminar Filosofiska institutionen
(Conference lecture) -
Sundholm, B.G. (1997)
Wat is een gevolgtrekking? Utrecht, Lezing t.b.v. het onderzoekinstituut Zeno
(Conference lecture)
1994
-
Sundholm, B.G. (1994)
Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth. Topoi : An International Review of Philosophy, 13, pp. 117-126.
(Article) -
Sundholm, B.G. (1994)
Ontologic versus Epistemologic: Some Strands in the Development of Logic, 1837-1957. In: Prawitz, D. & Westerstahl, D. (Eds.), Logic and Philosophy of Science in Uppsala, pp. 373-384. KLuwer.
(Part of book or chapter of book) -
Sundholm, B.G. (1994)
Proof-Theoretical Semantics and Pregean Identity Criteria for Propositions. The Monist, 77 (3), pp. 294-314.
(Article) -
Sundholm, B.G. (1994)
Vestiges of Realism. In: McGuinness, B. & Oliveri, G. (Eds.), The Philosophy of Michael Dummett, pp. 137-165. Kluwer.
(Part of book or chapter of book)