Vingt chercheurs retracent l'histoire de la philosophie des mathématiques de l'Antiquité au XXe siècle, avant d'aborder les points essentiels de la recherche au XXe siècle, tels que la théorie des ensembles ou le dilemme de Benacerraf. La philosophie de la pratique mathématique et de la notion de preuve informelle ou encore l'applicabilité des mathématiques sont également analysées. ©Electre 2025
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 XXe 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.
Paru le : 09/06/2022
Thématique : Mathématiques Appliquées
Auteur(s) : Non précisé.
Éditeur(s) :
Editions de la Sorbonne
Collection(s) : Logique, langage, sciences, philosophie
Contributeur(s) : Directeur de publication : Andrew Arana - Directeur de publication : Marco Panza
Série(s) : Précis de philosophie de la logique et des mathématiques
ISBN : 979-10-351-0802-1
EAN13 : 9791035108021
Reliure : Broché
Pages : 519
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 2.8 cm
Poids: 808 g
Carte fidélité
Mollat Radio
