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

Responsable (s)
PANZA Marco
Informations pratiques
Thursday 13 June 2019 - 09:00 to 18:45
Friday 14 June 2019 - 09:00 to 19:00
Salle de conférences
Day 1 - June 13th, 2019 - IHPST, Salle de Conférences
 
Chair: Maria van der Schaar
9.00 - 10.30 Giuseppe Primiero, From Proof to Designs
10.30 - 10.45 Coffee break
10.45-12.15  Francesca Poggiolesi, Grounding Principles  for (Relevant) Implication
12.15-14 lunch
Chair: Michel Bourdeau
14.00.15.30 Alberto Naibo (join talk with Marco Panza), Constructions and Proofs in Euclid's Geometry
15.30 -15.45 break
15.45 - 17.15 Zoe McConaughey (join talk with 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

 

 
Day 2 - June 14th, 2019 - IHPST, Salle de Conférences 
 
Chair: Hourya Benis Sinaceur
9.00 - 10.30 Pierre Wagner, Judgment and commitment
10.30 - 10.45 Coffee break
10.45-12.15  Kevin Mulligan, Logical Norms and Logical Truths. Was Hume Wrong ?
12.15-14 lunch
Chair: Jacques Dubucs
14.00.15.30 Mark van Atten, Sundholm and Heyting
15.30 -15.45 break
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