La logique épistémique, l’intuitionnisme et l’épistémologie des mathématiques - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

La logique épistémique, l’intuitionnisme et l’épistémologie des mathématiques

Résumé

La logique épistémique peut-elle dire quelque chose d’intéressant pour l’épistémologie des mathématiques? C’est ce que prétend Jaakko Hintikka: fondateur de la logique épistémique (Hintikka 1962), qui a également travaillé sur les fondements des mathématiques (à partir de IF, Hintikka 1996). À l’aide de la logique épistémique “de seconde génération” (Hintikka 2003), Hintikka revisite l’épistémologie des mathématiques et notamment le débat entre mathématiques classiques et intuitionnistes (Hintikka 2001). L’objectif de l’exposé est de montrer que Hintikka a raison: avec la logique épistémique IF on peut dire des choses intéressantes sur la connaissance mathématique. Mais la voie n’est pas aussi aisée que ce que Hintikka laisse entendre. S’il est bien connu que la logique épistémique est confrontée au problème de l’omniscience logique, on montrera que ce problème menace directement la compréhension de l’intuitionnisme offerte par la logique épistémique IF.
Fichier non déposé

Dates et versions

hal-01232077 , version 1 (22-11-2015)

Identifiants

  • HAL Id : hal-01232077 , version 1

Citer

Manuel Rebuschi. La logique épistémique, l’intuitionnisme et l’épistémologie des mathématiques. Séminaire MathObRe, Oct 2014, Nancy, France. ⟨hal-01232077⟩
228 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More