La phénoménologie transcendantale propose un regard sur les sciences qui ne s’appuie pas sur une connaissance érudite factuelle des évènements de l’histoire des sciences. Cette relative anhistoricité du point de vue de la phénoménologie (*) est encore accrue quand elle s’applique à une discipline comme les mathématiques, dont les vérités sont supra-temporelles.
Pourtant, les derniers textes...
Léon Brunschvicg est sans doute un des plus illustres représentants de la philosophie des sciences en France dans la première moitié du XXe siècle, mais qui malheureusement a été largement oublié depuis longtemps. Toutefois on le redécouvre aujourd'hui comme en témoigne l’ouvrage récent de Pietro Terzi (Rediscovering Léon Brunschvicg’s Critical Idealism, Bloomsbury Academic, London 2022) et,...
A proof of a theorem can be said to be pure if it drawn only on what is “close” or “intrinsic” to that theorem. In this Element we will investigate the apparent preference for pure proofs that has persisted in mathematics since antiquity, alongside a competing preference for impurity. In Section 1, we present two examples of purity, from geometry and number theory. In Section 2, we give a...
Au cours de ce cours, je mettrai en pratique une philosophie des mathématiques orientée par les méthodes de la phénoménologie "historique" du dernier Husserl; c'est-à-dire précisément le type d'approche qui aura été présenté lors de l'exposé du mardi après-midi.
Il s'agira d'interroger plus particulièrement le terrain d'application (pour ce type de philosophie) qui a été dégagé de manière...
Léon Brunschvicg est sans doute un des plus illustres représentants de la philosophie des sciences en France dans la première moitié du XXe siècle, mais qui malheureusement a été largement oublié depuis longtemps. Toutefois on le redécouvre aujourd'hui comme en témoigne l’ouvrage récent de Pietro Terzi (Rediscovering Léon Brunschvicg’s Critical Idealism, Bloomsbury Academic, London 2022) et,...
Le cours est tiré du chapitre XIII du livre La possibilité des nombres, Paris, PUF, 2014, p. 283-305.
9h00-9h40 Fabien Carbo-Gil, Gödel et l'hypothèse du continu
9h40-10h20 Hugo Cadière, Inférentialisme, expressivisme et sous-structuralité
10h20-11h00 Thibaut Bagory, Pascal ou l’autorité d’un géomètre
Pause
11h20-12h00 Théophile Richard, Le rapport entre le spiritualisme de Brunschvicg et son épistémologie des mathématiques
12h00-12h40 Andrea Ariotto, Jean Cavaillès sur l’historicité des...