Présentation. Produire les évidences : la fonction sémiotique de l’analyse logique

Like Frege and unlike Kant, Peirce claims that mathematics is essentially deductive. And like Frege (as well as the algebraists following Boole), Peirce develops formal languages which express the formal content of statements so as to make it possible to carefully check deductive inferences between them. However, like Kant and unlike Frege, Peirce intends to account for the “synthetic”, i. e. informative and non-trivial, character of most mathematical statements as well as of the inferential links between them. Even more, Peirce, like Kant, pays great attention to the semiotic role played by the construction and transformation of diagrams in the justification of these inferences and of these statements. On this point, Peirce clearly intends to extend and develop the Kantian theory of schematism.