Universiteit Leiden

nl en

Conference

Themes from the work of Göran Sundholm

Date
Thursday 13 June 2019 - Friday 14 June 2019
Location
University Paris 1 Panthéon-Sorbonne/ IHPST
Rue du Four (2e étage) 13
75006 Paris
Room
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

 

10.45-12.15  

Francesca Poggiolesi, Grounding Principles  for (Relevant) Implication
 

Chair: Michel Bourdeau
 

 

14.00.15.30

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
 

10.45-12.15  

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

Chair: Jacques Dubucs
 

 

14.00.15.30

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.