Logique, langage, philosophie des mathématiques

Unifying the debates: mathematical and non-causal explanations

Responsable (s)

The participants of the workshop are the proponents of opposing views in each of the debates, some of whom take part in several of the debates, not just in one. The workshop will provide a platform for unifying the debates around several key issues and thus open up avenues for better understanding of mathematical and non-causal explanations in general, but also, it will enable even better understanding of key issues within each of the debates.

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

Responsable (s)
Day 1 - June 13th, 2019 - IHPST, Salle de Conférences
Chair: Maria van der Schaar
9.00 - 10.30 Giuseppe PrimieroFrom Proof to Designs
10.30 - 10.45 Coffee break
10.45-12.15  Francesca PoggiolesiGrounding Principles  for (Relevant) Implication
12.15-14 lunch
Chair: Michel Bourdeau