Displaying similar documents to “Le fantôme de la modalité”

Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix

Françoise Longy (2001)

Philosophia Scientiae

Similarity:

A l’occasion de réflexions sur l’axiome du choix, Zermelo et Poincaré sont amenés à préciser ce qui doit être au fondement des mathématiques et peut servir à justifier un axiome. Défendant l’autonomie des mathématiques, chacun d’eux invoque une intuition mathématique spécifique visible dans la pratique du mathématicien. D’abord, nous explicitons ce qui distingue l’attitude du mathématicien de celle logicien, en prenant l’exemple de Zermelo. Puis, pour déterminer la nature réelle de l’intuition...

Premières réflexions sur les rapports entre la logique symbolique et l’informatique

R. Bozzi (2006)

Philosophia Scientiae

Similarity:

Georges Kalinowski, dans «Raison, entendement et philosophie»   [Kalinowski 1974, 125-127], isolait quatre fonctions d’une même faculté : comme fonction de la connaissance intuitive, la (des anciens) comme fonction de la connaissance médiate, fonction d’élaboration des sciences (au sens moderne) et la (des modernes) fonction d’élaboration de la philosophie ou au moins d’une partie de la philosophie. Kalinowski reconnaissait ainsi à la pensée ancienne et à la pensée moderne des contributions...

Perspectives hétérodoxes de Russell sur la question des fondements

Anne-Françoise Schmid (2005)

Philosophia Scientiae

Similarity:

Le logicisme de Russell consiste en une thèse affirmant que toutes les mathématiques pures peuvent être exprimées à l’aide de constantes logiques et de variables. Il est compris habituellement comme une des mathématiques pures à la logique. Pourtant cette thèse est une garantie de des mathématiques au nombre et à la grandeur, de l’arithmétique aux seuls nombres finis, de la géométrie à celle d’Euclide, de la logique à la syllogistique. Le logicisme ne peut donc être interprété comme...