PROGRAMME
Mercredi 28 février
- 10h-11h15
Patricia Blanchette (Notre Dame University)
"Rigor and Formalism in Logic"
- 11h30-12h30
Pascal Bertin (SPHERE)
“Abstraction and axiomatization in the genesis of topological spaces - Fréchet and Hausdorff”
- Déjeuner
- 14h-15h15
David Rabouin (SPHERE et Philiumm)
“On Leibniz’ infinitesimals, once again”
- 15h30-16h30
Gabriel Day (Notre Dame University)
"How Classification Reveals Structural Knowledge of Formal Theories"
- 16h45-18h
Théophile Richard (SPHERE, Université Paris-Cité)
“Léon Brunschvicg and the problem of the growth of knowledge”
Jeudi 29 février 2024
- 10h00-11h15
Tom (Yuanshan) Li (Notre Dame University)
"Poincaré’s Disjunction"
- 11h30-12h30
Brice Halimi (SPHERE, Université Paris-Cité)
“Variable and variation”
- Déjeuner
- 14h00-15h15
David Waszek (ITEM, ÉNS)
”What can it mean to interpret a symbolic expression ? Interpretation, uninterpretables, and philosophy of algebra in Boole”
- 15h30-16h30
Curtis Franks (Notre Dame University)
"Relational definition and substructure"