Ontologie, vérité et fondements

Le compagnonnage entre la philosophie et les mathématiques ne date pas d'hier. Mais l'émergence des nouvelles logiques, au début du XX^e siècle, a profondément modifié la forme des interactions entre les deux disciplines, suscitant de nouvelles interrogations et modifiant la formulation des problèmes hérités de la tradition. Ce premier volume vise à rendre accessible aux lecteurs francophones des textes importants de la philosophie contemporaine des mathématiques. Il est plus particulièrement consacré aux questions ontologiques et à celles liées aux fondements : Qu'est-ce qu'un objet mathématique ? Comment rendre compte de la nécessité des vérités mathématiques ? Comment expliquer que les mathématiques s'appliquent au monde réel ?