Universiteit Leiden

nl en


Themes from the work of Göran Sundholm

Thursday 13 June 2019 - Friday 14 June 2019
University Paris 1 Panthéon-Sorbonne/ IHPST
Rue du Four (2e étage) 13
75006 Paris
Salle de Conférences

Formalisation vs. Meaning in Mathematics: Formal theories as tools for understanding Themes from the work of Göran Sundholm.

June 13th, 2019


Chair: Maria van der Schaar


9.00 - 10.30

Giuseppe Primiero, From Proof to Designs



Francesca Poggiolesi, Grounding Principles  for (Relevant) Implication

Chair: Michel Bourdeau

Alberto Naibo and Marco Panza, Constructions and Proofs in Euclid's Geometry

15.45 - 17.15

Zoe McConaughey and Shahid Rahman, Immanent Reasoning and CTT: building on Göran Sundholm’s Insight on Dialogical Logic

17.15 - 18.45

Gerhard Heinzmann, Some Reflexions on the Demarcation Line between Evident and Suspect Reasoning


June 14th, 2019


Chair: Hourya Benis Sinaceur


9.00 - 10.30

Pierre Wagner, Judgment and commitment


Kevin Mulligan, Logical Norms and Logical Truths. Was Hume Wrong?

Chair: Jacques Dubucs

Mark Van Atten, Sundholm and Heyting

15.45 - 17.15

Michael Detlefsen, Weyl vs. Dedekind on Proof, Complexity and Intuition

17.15 - 18.45

Mathieu Marion, Sundholm’s Tractatus

18.45 - 19.00

Final remarks by Göran Sundholm

This website uses cookies.  More information.