Les questions philosophiques traditionnelles abordées grâce aux outils analytiques fournis par la logique standard, les systèmes déductifs alternatifs et la dialogique formelle. Le parcours philosophique scande ainsi les grandes étapes du développement des logiques contemporaines, redéfinissant la vérité en véridicité. Une réflexion sur l'usage du langage naturel à des fins de connaissance. ©Electre 2024

« La logique contemporaine naît à l'aube du XX^e siècle avec notamment Peirce, Frege et Russell. Elle produit un triple calcul des propositions, des prédicats monadiques et des relations qui compose ce que nous appelons la logique standard. Mais cette logique s'est constituée progressivement à la suite de nombreuses modifications et repentirs. De plus et surtout, à peine stabilisée, elle s'est vue amendée ou critiquée et contestée par l'efflorescence d'une multitude de systèmes formels alternatifs qui se présentaient soit comme des extensions, soit comme des déviations des systèmes standard. Un siècle après, il nous paraît nécessaire de revenir sur ce double mouvement d'une grande richesse philosophique. »

Cet ouvrage aborde les principales questions méthodologiques, épistémologiques et ontologiques de la philosophie traditionnelle en recourant aux outils d'analyse fournis par la logique standard (Frege, Russell, Ramsey), les systèmes déductifs alternatifs (Quine, Barcan-Marcus, Le(...)niewski, Goodman, Kalinowski) et la récente logique dialogique. Ainsi l'ouvrage dessine un parcours philosophique qui scande les grandes étapes du développement des logiques contemporaines.

On examine la logique formelle en définissant les concepts cruciaux de classe et de structure, et en spécifiant le statut du formalisme logique. Si l'interrogation ontologique se cristallise autour de la définition de l'existence, sont étudiés les modes logiques de quantification qui requièrent ou non un engagement ontologique. La vérité, question centrale de la réflexion gnoséologique, est redéfinie comme véridicité ; il s'agit d'en examiner les aspects logiques, mais aussi les dispositifs dialogiques qui permettent sa découverte comme son partage.

Enfin, est engagée une réflexion sur les méthodes de définition des concepts, sur les modalités de théorisation et d'axiomatisation ainsi que sur les procédures d'argumentation déductive.

In fine, les logiques, dans leur grande diversité, dessinent un champ inédit de possibles constituant autant d'ouvertures stimulantes pour le philosophe.