L'ouvrage s’inscrit dans le champ de la philosophie des mathématiques et développe son projet selon une double perspective : — historique, avec la genèse du concept de prédicativité tel qu’il se dégage peu à peu dans les discussions sur la raison d’être des antinomies entre Poincaré, Russell, Zermelo et Peano (« Six ans de discussions, 1906-1912 ») ; — systématique, avec l’analyse des conditions propres à préserver la prédicativité en tant que critère de l’admissibilité en mathématiques (« Construction d’un univers prédicatif »). Les formulations poincaréiennes de la prédicativité et le cadre philosophique correspondant sont l’objet d’une étude où se révèlent leurs interdépendances exactes : compatibilité du « pragmatisme » de Poincaré avec le prédicativisme (« Logicisme et 'pragmatisme'»). L’actualité de l’idée poincaréienne s’affirme à travers des applications dans des travaux récents de la théorie de la démonstration (« Des antinomies à l'exigence de prédicativité »). — Bibliogr. ; — Liste des sigles et signes ; — Index des noms. M.-M. V.
L'ouvrage s’inscrit dans le champ de la philosophie des mathématiques et développe son projet selon une double perspective : — historique, avec la genèse du concept de prédicativité tel qu’il se dégage peu à peu dans les discussions sur la raison d’être des antinomies entre Poincaré, Russell, Zermelo et Peano (« Six ans de discussions, 1906-1912 ») ; — systématique, avec l’analyse des conditions propres à préserver la prédicativité en tant que critère de l’admissibilité en mathématiques (« Construction d’un univers prédicatif »). Les formulations poincaréiennes de la prédicativité et le cadre philosophique correspondant sont l’objet d’une étude où se révèlent leurs interdépendances exactes : compatibilité du « pragmatisme » de Poincaré avec le prédicativisme (« Logicisme et 'pragmatisme'»). L’actualité de l’idée poincaréienne s’affirme à travers des applications dans des travaux récents de la théorie de la démonstration (« Des antinomies à l'exigence de prédicativité »). — Bibliogr. ; — Liste des sigles et signes ; — Index des noms. M.-M. V.