Prof. B.G. (Göran) Sundholm, B.Phil., M.A., D.Phil. (Oxon.)
Functie:
- Hoogleraar
- Martin-Löf's Constructive Type Theory
- Moderne geschiedenis van de logica
- Bolzano
- Frege
- Wittgensteins Tractatus
| Telefoon: | +31 (0)71 527 2029 |
|---|---|
| E-Mail: | b.g.sundholm@hum.leidenuniv.nl |
| Faculteit / Onderdeel: | Faculteit der Geesteswetenschappen, Instituut voor Wijsbegeerte |
| Werkadres: |
Witte Singel-complex Witte Singel 25/M. de Vrieshof 4 2311 BZ Leiden Kamernummer 1.07a |
Onderzoek
Het onderzoek van professor Sundholm valt binnen de wijsbegeerte en de geschiedenis van de logica. Het is gericht op de theorie van oordelen en proposities, mede in hun verhouding tot de constructieve wiskunde. Het onderzoek van professor Sundholm is met name gericht op betekenistheoretische vraagstellingen in verband met het wiskundig constructivisme en daaruit voortvloeiende historische en systematische nevengebieden, zoals het logisch objectivisme vanaf Bolzano naar Frege/Russell en de overgang van formele naar wiskundige logica in de periode 1879-1935.
Leidse Wetenschappers, professoren
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.
(boekdeel - hoofdstuk)
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).
(artikel in bundel - 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.
(boekbespreking) -
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.
(artikel in bundel - proceedings)
2007
-
Sundholm, B.G. (2007)
Pehenomenology of mathematics; a constructivist’s perspective. Paris, workshop Phenomenology and Mathematics, IHPST
(voordracht - lezing) -
Sundholm, B.G. (2007)
Semantic values of natural deduction derivations. Synthese, 148 (3), pp. 623-638.
(artikel)
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.
(boekdeel - hoofdstuk) -
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.
(boekdeel - hoofdstuk) -
Sundholm, B.G. (2004)
The proof-explanation is logically neutral. Revue internationale de philosophie, 58 (4), pp. 401-410.
(artikel)
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.
(artikel in bundel - 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.
(artikel in bundel - 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.
(artikel in bundel - 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)
(artikel) -
Sundholm, B.G. (2002)
Varieties of Consequence. In Jacquette, D. (Ed.) A Companion to Philosophical Logic (pp. 241-255).
(artikel in bundel - proceedings) -
Sundholm, B.G. (2002)
What is an expression? Logica Yearbook 2001 (pp. 181-194). Prague: Filosofia Publishers, Czech Academy of Science.
(artikel in bundel - 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.
(artikel in bundel - 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.
(boekdeel - hoofdstuk)
2000
-
Sundholm, B.G. (2000)
Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz. Theoria, 64, pp. 187-216.
(artikel) -
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.
(artikel in bundel - proceedings) -
Sundholm, B.G. (2000)
When, and Why, did Frege read Bolzano? The Logica Yearbook 1999 (pp. 164-174). Prague: Filosofia Publishers.
(artikel in bundel - proceedings)
1999
-
Sundholm, B.G. (1999)
Identity: Propositional, Criterial, Absolute. The Logica Yearbook 1998 (pp. 20-26). Prague: Filosofia Publishers, Czech Academy of Science.
(artikel in bundel - proceedings) -
Sundholm, B.G. & Pagin, P. (1999)
Interview with Michael Dummett (jointly with Peter Pagin). Lingua e Stile
(artikel in bundel - proceedings)
1998
-
Sundholm, B.G. (1998)
Inference versus Consequence. The Logica Yearbook, pp. 26-36.
(artikel) -
Sundholm, B.G. (1998)
Inference, Consequence, Implication: A Constructivist's Perspective. Philosophia Mathematica, series III, 6, pp. 178-194.
(artikel) -
Sundholm, B.G. (1998)
Intuitionism and Logical Tolerance. Vienna Circle Institute Yearbook, 6, pp. 135-145.
(artikel)
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
(voordracht - lezing) -
Sundholm, B.G. (1997)
Implicit epistemic aspects of constructive logic. Journal of Logic, Language, and Information, 6, pp. 191-212.
(artikel) -
Sundholm, B.G. (1997)
Inference and Consequence. Matematiska Inst., Universitetet i Stockholm, Uppsala-Stockholm Logic-Group Seminar
(voordracht - lezing) -
Sundholm, B.G. (1997)
Inference vs Consequence. Liblice Castle, Bohemia (Czech Ac. of Sciences), Conferentie 'Logica '97'
(voordracht - lezing) -
Sundholm, B.G. (1997)
Intuïtionism and Logical Tolerance. Insitut Wiener Kreis, Conference 'Tarski and the Vienna Circle'
(voordracht - lezing) -
Sundholm, B.G. (1997)
Logisk tolerans, Högre seminariet i teoretisk filosofi. Universitetet i Stockholm, Zweden, Seminar Filosofiska institutionen
(voordracht - lezing) -
Sundholm, B.G. (1997)
Wat is een gevolgtrekking? Utrecht, Lezing t.b.v. het onderzoekinstituut Zeno
(voordracht - lezing)
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.
(artikel) -
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.
(boekdeel - hoofdstuk) -
Sundholm, B.G. (1994)
Proof-Theoretical Semantics and Pregean Identity Criteria for Propositions. The Monist, 77 (3), pp. 294-314.
(artikel) -
Sundholm, B.G. (1994)
Vestiges of Realism. In: McGuinness, B. & Oliveri, G. (Eds.), The Philosophy of Michael Dummett, pp. 137-165. Kluwer.
(boekdeel - hoofdstuk)