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

Les trois premiers chapitres de ce volume sont consacrés à l'histoire de la philosophie des mathématiques : de l'Antiquité à la période moderne, et de cette période à la crise des fondements éclatée au XIXe siècle, jusqu'au XXe siècle. Ensuite quatre chapitres traitent de questions cruciales pour la philosophie des mathématiques du XXe siècle : l'opposition et/ou comparaison de la théorie des ensembles et de la théorie des catégories, en tant que cadre fondationnel pour les mathématiques ; le constructivisme mathématique ; l'analyse de la calculabilité ; et le dilemme de Benacerraf. Les deux chapitres suivants se focalisent sur la philosophie de la pratique mathématique, en traitant de la notion des idéaux de preuve, en particulier son explicativité et sa pureté, et de la notion de preuve informelle et de l'usage d'artefacts visuels dans l'argumentation mathématique. Enfin le dernier chapitre traite de l'applicabilité des mathématiques (y compris le rôle de la probabilité).L'ouvrage, auquel ont contribué dix-neuf chercheurs spécialisés en histoire et philosophie des mathématiques, comble une lacune éditoriale dans la philosophie contemporaine francophone. Il s'adresse à la fois aux philosophes et étudiants de philosophie et matières affines qui ont un intérêt pour les mathématiques et aux mathématiciens et scientifiques qui souhaitent porter un regard philosophique sur les mathématiques.Ce volume est publié conjointement avec un premier volume consacré à la philosophie de la logique (sous la direction de F. Poggiolesi et P. Wagner). Le projet commun est d'offrir une introduction la plus riche, claire et englobante possible aux principaux débats contemporains en philosophie des mathématiques et de la logique.