Salle Luc Valentin 454A bâtiment Condorcet

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 »