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.
- 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.
- Atten Mark van & Sundholm Göran (2014), Intuitionistische Logica en het Scheppend Subject, Nieuw Archief voor Wiskunde 15(2): 124-130.
- 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. (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.
- 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. (2012), “Inference versus consequence” revisited: inference, consequence, conditional, implication, Synthese 187(3): 943-956.
- Sundholm B.G. (2012), Error, Topoi 31(1): 87-92.
- 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. & 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. (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. (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. (2007), A Century of Judgement and Inference: 1836-1937, The History of Modern Logic : .
- Sundholm B.G. (2007), Semantic values of natural deduction derivations, Synthese 148(3): 623-638.
- 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. (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. (2003), A novel perspective on rationality. [other].
- 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. (2002), Varieties of Consequence. Jacquette D. (Ed.), A Companion to Philosophical Logic. 241-255.
- 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), 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. (2001), Wittgenstein's Philosophy of Mathematics - A Constructivist's Remarks. [other].
- Sundholm B.G. (2001), Truth and proof: Frege, Hilbert, Tarski. [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), 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), What is an expression?. [other].
- 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. (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. (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), Comments on Dag Prawitz's 'Reply to Sundholm'. [other].
- Sundholm B.G. (2000), Analyticity in Wittgenstein's Tractatus. [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), Lid redactieraad Nordic Journal of Philosophical Logic. [other].
- Sundholm B.G. (2000), Oskar Becker and the Modal Law of Excluded Middle: Comments on Fréderic Nef. [other].
- Sundholm B.G. (2000), Mistakes. [other].
- Sundholm B.G. (2000), Hilbert's Dogma versus the Law of Excluded Third. [other].
- Sundholm B.G. (2000), Functie bij : Conference Wittgenstein's Tractatus, 15/18-6-2000. [other].
- Sundholm B.G. (2000), Error, Rationality, and the Roles of Truth. [other].
- Philipse H. & Sundholm B.G. (27 April 2000), Koning kan niet regeren 'bij de gratie Gods'. NRC Handelsblad.
- Sundholm B.G. (2000), Logical Atavism. [other].
- 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. (1999), Identity: Propositional, Criterial, Absolute, The Logica Yearbook 1998. . Prague: Filosofia Publishers, Czech Academy of Science. 20-26.
- Sundholm B.G. (1998), Inference, Consequence, Implication: A Constructivist's Perspective, Philosophia Mathematica, series III 6: 178-194.
- Sundholm B.G. (1998), Intuitionism and Logical Tolerance, Vienna Circle Institute Yearbook 6: 135-145.
- 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), 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), 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), Martin-Löf. In: , National encyklopedin. Zweden.