En développant l'idée que les procédures cognitives impliquent
une modélisation mentale, les sciences cognitives pourraient bien
remettre à la mode l'analyse par Peirce du raisonnement
mathématique en termes de diagrammes mentaux. Cette analyse
prolonge et généralise la doctrine kantienne du schématisme et la
thèse du caractère synthétique a priori des énoncés mathématiques,
et ce, grâce aux ressources de la sémiotique élaborée par Peirce et à
sa thèse selon laquelle toute pensée est, et se fait, par signes. Le
mathématicien raisonne sur des diagrammes exhibant la structure
d'un état de choses mathématiques et, en faisant varier ce
diagramme, produit des énoncés informatifs qui n'étaient pas
contenus implicitement dans les données et qui sont rigoureusement
démontrés. Cette analyse ne vaut pas seulement pour la géométrie,
mais aussi pour les autres branches des mathématiques. Ce livre
expose l'ensemble de la philosophie mathématique de Peirce,
passant notamment au crible sa relecture par J. Hintikka, et esquisse
des comparaisons avec certains écrits de Frege de la même époque
sur les relations entre logique et mathématiques.
