![](/binaries/content/gallery/ul2/portraits/humanities/g/old/g.-goran-sundholm-old.jpg/g.-goran-sundholm-old.jpg/d200x250)
Göran Sundholm
Professor emeritus Philosophy of Mathematics and of Logic
- Name
- Prof.dr. B.G. Sundholm
- Telephone
- +31 71 527 2727
- b.g.sundholm@hum.leidenuniv.nl
- ORCID iD
- 0000-0001-5161-0720
Göran Sundholm is a Professor of Philosophy of Mathematics and of Logic at the Institute for Philosophy.
More information about Göran Sundholm
PhD candidates
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.
Professor emeritus Philosophy of Mathematics and of Logic
- Faculty of Humanities
- Instituut voor Wijsbegeerte
- Sundholm B.G. (2019), The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions, Topoi 38(3): 551–559.
- Atten M. van & Sundholm B.G. (2017), L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction, History and Philosophy of Logic 38(1): 24-47.
- Atten Mark van & Sundholm Göran (2014), Intuitionistische Logica en het Scheppend Subject, Nieuw Archief voor Wiskunde 15(2): 124-130.
- Sundholm B.G. (2014), Constructive Recursive Functions, Church's Thesis, and Brouwer's Theory of the Creating Subject: Afterthoughts on a Paris Joint Session. In: Dubucs Jaques & Bordeau Michel (Eds.), Constructivity and Computability in Historical and Philosophical Perspective. Logic, Epistemology, and the Unity of Science no. 34. Dordrecht: Springer. 1-35.
- Atten Mark van, Sundholm Göran, Bordeau Michel & Atten Vanessa van (2014), "Que les principes de la logique ne sont pas fiables": Novelle traduction francaise et commentaire de l'article de 1908 de L. E. J. Brouwer, Studium: tijdschrift voor wetenschaps- en universiteitsgeschiedenis 67(2): 257-281.
- Sundholm B.G. (2013), Demonstrations versus Proofs, Being an Afterword to Constructions, Proofs and the Meaning of the Logical Constants. In: Schaar M. van der (Ed.), Judgement and the Epistemic Foundation of Logic. Logic, Epistemology, and the Unity of Science no. 31. Dordrecht: Springer Netherlands. 15-22.
- Sundholm B.G. (2013), Containment and Variation; Two Strands in the Development of Analyticity from Aristotle to Martin-Löf. In: Schaar M. van der (Ed.), Judgement and the Epistemic Foundation of Logic. Logic, Epistemology, and the Unity of Science no. 31. Dordrecht: Springer Netherlands. 23-35.
- Sundholm B.G. (2012), “Inference versus consequence” revisited: inference, consequence, conditional, implication, Synthese 187(3): 943-956.
- Sundholm B.G. (2012), Error, Topoi 31(1): 87-92.
- Dybjer P., Lindström S., Palmgren E. & Sundholm G. (2012), Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science no. 27. Dordrecht: Springer Netherlands.
- Sundholm B.G. (2012), On the Philosophical Work of Per Martin-Löf. In: Dybjer P., Lindström S., Palmgren E. & Sundholm G. (Eds.), Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science no. 27. Dordrecht: Springer Netherlands. xvii-xxiv.
- Sundholm B.G. (2011), A Garden of Grounding Trees. In: Cellucci C., Grosholz E. & Ippoliti E. (Eds.), Logic and Knowledge. Cambridge: Cambridge Scholars. 53-64.
- Sundholm B.G. (2009), A Century of Judgment and Inference: 1837-1936. In: Haaparanta L. (Ed.), The Devlopment of Modern Logic. Oxford: Oxford University Press. 263-317.
- Sundholm B.G. (2008) Summa de Veritate hanburgensis:Truth according to Wolfgang Künne. Review of: Wolfgang Künne (2005), Conceptions of Truth no. 3. Oxford: Oxford University Press. Dialectica 62: 359-372.
- Sundholm B.G. (2008), A novel(?) paradox. Dégremont Cédric, Keiff Laurent & Rückert Helge (Eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman. . London: College Publications (Tributes 7). 375-377.
- Sundholm B.G. & Van Atten Mark (2008), The proper explanation of intuitionistic logic: on Brouwer's demonstartion of the Bar Theorem. Atten M. van, Boldini P. & Bourdeau M. (Eds.), One Hundred Years of Intuitionism (1907-2007). . Basel: Birkhäuser. 60-77.
- Sundholm B.G. (2007), Semantic values of natural deduction derivations, Synthese 148(3): 623-638.
- Sundholm B.G. (2007), A Century of Judgement and Inference: 1836-1937, The History of Modern Logic : .
- 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: Paderborn. 103-117.
- Sundholm B.G. (2004), Antirealism and the Roles of Truth. In: Niniluoto I. & Sintonen M. (Eds.), Handbook of Epistemology. Dordrecht: Kluwer. 437-466.
- Sundholm B.G. (2004), The proof-explanation is logically neutral, Revue internationale de philosophie 58(4): 401-410.
- Sundholm B.G. (2003), Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski. Hintikka J., Czarnecki T., Kijania-Placek K., Placek T. & Rojszczak A. (Eds.), Philosophy and Logic. In Search of the polish Tradition. . Dordecht: Kluwer. 109-128.
- Sundholm B.G. (2003), "Mind your P'ds and Q's". On the proper interpretation of modal logic, Logica Yearbook 2002. . Czech Academy of Science, Prague: Filosofia Publishers. 101-111.
- Sundholm B.G. (2003), A novel perspective on rationality. [other].
- 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): .
- Bos E.P. & Sundholm B.G. (2002), History of Logic: Medieval. Jacquette D. (Ed.), A Companion to Philosophical Logic. . Malden (Mass.) - Oxford (UK) 24-34.
- Sundholm B.G. (2002), What is an expression?, Logica Yearbook 2001. . Prague: Filosofia Publishers, Czech Academy of Science. 181-194.
- Sundholm B.G. (2002), A Century of Inference: 1837-1936. Gärdenfors P., Wolenski J. & Kijania-Placek K. (Eds.), In the Scope of Logic, Methodology and Philosophy of Science. Vol. II of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999. Dordrecht: Kluwer. 565-580.
- Sundholm B.G. (2002), Review of: Marion M., Wittgenstein, Finitism, and the Philosophy of Mathematics, History and Philosophy of Logic no. 1. History and Philosophy of Logic 22: 116-117.
- Sundholm B.G. (2002), Varieties of Consequence. Jacquette D. (Ed.), A Companion to Philosophical Logic. 241-255.
- Sundholm B.G. (2001), A Plea for Logical Atavism, The Logica Yearbook 2000. . Prague: Filosofia Publishers, Czech Academy of Science. 151-162.
- Sundholm B.G. (2001), What is an expression?. [other].
- Sundholm B.G. (2001), The Proof Theory of Stig Kanger: a personal recollection. Holmström-Hintikka G., Lindström S. & Sliwinski R. (Eds.), Collected Papers of Stig Kanger with Essays on his Life and Work. . Dordrecht: Kluwer. 31-42.
- Sundholm B.G. (2001), Truth and proof: Frege, Hilbert, Tarski. [other].
- Sundholm B.G. (2001), Systems of Deduction (Chapter 1:2). In: Gabbay D. & Guenthner F. (Eds.), Handbook of Philosophical Logic, Vol. I: Elements of Classical Logic. Synthese library : Studies in Epistemology, Logic, Methodology, and Philosophy of Science no. 164. Dordrecht: D. Reidel Publishing Company. 133-188.
- Sundholm B.G. (2001), Wittgenstein's Philosophy of Mathematics - A Constructivist's Remarks. [other].
- Sundholm B.G. (2000), Logical Atavism. [other].
- Sundholm B.G. (2000), Mistakes. [other].
- Sundholm B.G. (2000), Oskar Becker and the Modal Law of Excluded Middle: Comments on Fréderic Nef. [other].
- Sundholm B.G. (2000), Functie bij : Conference Wittgenstein's Tractatus, 15/18-6-2000. [other].
- Philipse H. & Sundholm B.G. (27 April 2000), Koning kan niet regeren 'bij de gratie Gods'. NRC Handelsblad.
- Sundholm B.G. (2000), Virtues and Vices of Interpreteted 'Classical' Formalisms: Some Impertinent Questions for Pavel Materna on the occasion of his 70th Birthday. Childers T. & Palomäki J. (Eds.), Between Worlds and Words. . Prague: Filosofia Publishers. 3-12.
- Sundholm B.G. (2000), Hilbert's Dogma versus the Law of Excluded Third. [other].
- Sundholm B.G. (2000), Lid redactieraad Nordic Journal of Philosophical Logic. [other].
- Sundholm B.G. (2000), When, and Why, did Frege read Bolzano?, The Logica Yearbook 1999. . Prague: Filosofia Publishers. 164-174.
- Sundholm B.G. (2000), Analyticity in Wittgenstein's Tractatus. [other].
- Sundholm B.G. (2000), Error, Rationality, and the Roles of Truth. [other].
- Sundholm B.G. (2000), Comments on Dag Prawitz's 'Reply to Sundholm'. [other].
- Sundholm B.G. (2000), Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz, Theoria 64: 187-216.
- Sundholm B.G. (2000), Heinrich Stolz between Frege and Hilbert. [other].
- Sundholm B.G. (1999), Identity: Propositional, Criterial, Absolute, The Logica Yearbook 1998. . Prague: Filosofia Publishers, Czech Academy of Science. 20-26.
- Sundholm B.G. & Pagin P. (1999), Interview with Michael Dummett (jointly with Peter Pagin), Lingua e Stile. .
- Sundholm B.G. (1999), Maccoll on Judgement and Inference, Nordic Journal of Philosophy 3: 119-132.
- Sundholm B.G. (1998), Intuitionism and Logical Tolerance, Vienna Circle Institute Yearbook 6: 135-145.
- Sundholm B.G. (1998), Inference, Consequence, Implication: A Constructivist's Perspective, Philosophia Mathematica, series III 6: 178-194.
- Sundholm B.G. (4 June 1998), Marginalia Fregeana. Hans Sluga Colloquium. Leiden. [lecture].
- Sundholm B.G. (1998), Inference versus Consequence, The Logica Yearbook : 26-36.
- Sundholm B.G. (1997), Implicit epistemic aspects of constructive logic, Journal of Logic, Language, and Information 6: 191-212.
- Sundholm B.G. (1994), Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth, Topoi : An International Review of Philosophy 13: 117-126.
- Sundholm B.G. (1994), Vestiges of Realism. In: McGuinness B. & Oliveri G. (Eds.), The Philosophy of Michael Dummett: Kluwer. 137-165.
- Sundholm B.G. (1994), Proof-Theoretical Semantics and Pregean Identity Criteria for Propositions, The Monist 77(3): 294-314.
- 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: KLuwer. 373-384.
- Sundholm B.G. (1994), Martin-Löf. In: , National encyklopedin. Zweden.