Présentation. Produire les évidences : la fonction sémiotique de l’analyse logique
Year: 2023
Type: article
Abstract: 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.
Source: Philosophie
Author: Bruno Leclercq
Institution: Cairn.info
Language: French
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4387045861