Skip to Main content Skip to Navigation
Books

Introduction à la Logique pertinente

Résumé : L'idée de la logique est depuis toujours celle d'une théorie de la conséquence, et en particulier de la conséquence formelle et nécessaire : en un mot, de la conséquence " logique ". Mais sur quoi repose la logicité pure d'une conséquence ? La logique contemporaine classique répond : sur la préservation de la vérité. La logique pertinente (" Relevant Logic ") lui objecte qu'on est en droit de demander plus : un élément intensionnel de pertinence des prémisses pour la conclusion doit être pris en compte pour la validité des inférences. Et elle ajoute que cet élément est, serait-ce silencieusement, à l'œuvre dans nos inférences ordinaires, celles selon lesquelles nous raisonnons en fait. Peut-on formaliser, axiomatiquement, sémantiquement, ou par des systèmes de déduction, ce composant de la notion de conséquence ? C'est d'une telle question que traite cet ouvrage, dans le sillage de la " bible " des logiques pertinentes, Entailment, the Logic of Relevance and Necessity, d'Anderson et Belnap (1975, 1992 pour le Vol. 11). Cette question en ouvre bien sûr d'autres, certaines inattendues, par exemple : y a-t-il une, ou plusieurs négations distinctes ? Quelle est la portée des constructions sémantiques de structures de modèle ? Et finalement, c'est la question du pluralisme logique qui est posée, à travers la multiplicité des systèmes où s'incarnent différentes idées de ce qu'est la relation de conséquence. La position soutenue par cet ouvrage est celle d'un pluralisme modéré, faisant droit à l'unité de la logique, que le point de vue structural permet de mettre électivement en lumière.
Mots-clés : logique
Complete list of metadatas

https://halshs.archives-ouvertes.fr/halshs-00791019
Contributor : François Rivenc <>
Submitted on : Thursday, February 21, 2013 - 1:59:32 PM
Last modification on : Sunday, January 19, 2020 - 6:38:13 PM

Identifiers

  • HAL Id : halshs-00791019, version 1

Citation

François Rivenc. Introduction à la Logique pertinente. Presses Universitaires de France, pp.250, 2005, Science, histoire et société, 9782130537588. ⟨halshs-00791019⟩

Share

Metrics

Record views

172