Aller au contenu

Implication stricte

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 16 juin 2022 à 11:09 et modifiée en dernier par Graviot (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis fondée sur la logique modale. L'objectif de l'implication stricte est d'éviter les apparents paradoxes de l'implication logique, qui est appelée dans ce contexte implication matérielle. Un exemple de ces paradoxes est le fait, appelé ex-falso quodlibet, qu'un énoncé contradictoire implique tout énoncé[1],[2].

Voir aussi

Notes et références

  1. ↑ [PDF] M. Cozic et P. Egré, « Le conditionnel strict ».
  2. ↑ (en) Graham Priest, An Introduction to Non-Classical Logic, Cambridge Univ. Press, 2001.
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Implication_stricte&oldid=194580352 ».