Philosophie des mathématiques

Précis de philosophie de la logique et des mathématiques

Le second volume de ce Précis, auquel ont contribué vingt chercheurs, comble une lacune éditoriale dans la philosophie contemporaine francophone. Après une présentation exhaustive de la philosophie des mathématiques de l'Antiquité au XX^e siècle, l'ouvrage traite de plusieurs questions cruciales : la confrontation de la théorie des ensembles et de la théorie des catégories comme cadre fondationnel pour les mathématiques, le constructivisme mathématique, l'analyse de la calculabilité et le dilemme de Benacerraf. Ce volume interroge également la philosophie de la pratique mathématique à travers les notions d'idéaux de preuve (en particulier l'explicativité et la pureté) et de preuves informelles, et l'usage d'artefacts visuels dans l'argumentation. Enfin, il explore l'applicabilité des mathématiques et le rôle de la probabilité.

Il s'adresse à la fois aux philosophes et aux étudiants de philosophie intéressés par les mathématiques, et aux mathématiciens et scientifiques qui souhaitent porter un regard philosophique sur leur discipline.

Le premier volume, consacré à la philosophie de la logique, est dirigé par Francesca Poggiolesi et Pierre Wagner. Le projet commun est d'offrir une introduction riche, pédagogique et claire aux principaux débats contemporains de philosophie des mathématiques et de la logique.