PROGRAM
Wednesday 28th February
- 10.00 am-11.15 am
Patricia Blanchette (Notre Dame University)
"Rigor and Formalism in Logic"
- 11.30 am-12.30 pm
Pascal Bertin (SPHERE)
“Abstraction and axiomatization in the genesis of topological spaces - Fréchet and Hausdorff”
- Lunch
- 2.00 pm-3.15 pm
David Rabouin (SPHERE et Philiumm)
“On Leibniz’ infinitesimals, once again”
- 3.30 pm-4.30 pm
Gabriel Day (Notre Dame University)
"How Classification Reveals Structural Knowledge of Formal Theories"
- 4.45 pm-6.00 pm
Théophile Richard (SPHERE, Université Paris-Cité)
“Léon Brunschvicg and the problem of the growth of knowledge”
Thursday 29th February 2024
- 10.00 am-11.15 am
Tom (Yuanshan) Li (Notre Dame University)
"Poincaré’s Disjunction"
- 11.30 am-12.30 pm
Brice Halimi (SPHERE, Université Paris-Cité)
“Variable and variation”
- Lunch
- 2.00 pm-3.15 pm
David Waszek (ITEM, ÉNS)
”What can it mean to interpret a symbolic expression ? Interpretation, uninterpretables, and philosophy of algebra in Boole”
- 3.30 pm-4.30 pm
Curtis Franks (Notre Dame University)
"Relational definition and substructure"
