Un connecteur binaire vérité-fonctionnel (généralement noté →) selon la sémantique de l'implication matérielle, qui est faux exactement lorsque l'antécédent est vrai et le conséquent faux, et vrai dans toutes les autres valuations classiques.

Principe

L'implication matérielle est définie vérité-fonctionnellement : P → Q est équivalente à ¬P ∨ Q en logique propositionnelle classique ; elle n'exprime pas en soi la causalité, la pertinence ou la croyance du locuteur.

Démonstration

Si P est « Il pleut » et Q « Le sol est mouillé », alors P → Q est faux seulement dans le scénario où il pleut et le sol n'est pas mouillé ; dans les autres combinaisons (il ne pleut pas, ou le sol est mouillé) P → Q est vrai.

Mauvaise application

Interpréter l'implication matérielle comme affirmant une relation causale ou explicative, ou commettre des sophismes comme l'affirmation du conséquent ou la négation de l'antécédent en traitant → comme donnant droit d'inférer l'antécédent à partir du conséquent.

Conséquence

L'implication matérielle soutient le raisonnement conditionnel dans les preuves, le théorème de déduction dans de nombreux systèmes, et des réductions vérité-fonctionnelles simples ; elle facilite la vérification mécanisée de validité et de satisfaisabilité.

Inversion

Remplacer l'implication matérielle par un conditionnel plus strict (par exemple implication pertinente ou implication stricte avec nécessité modale) modifie les conséquences ; la contraposée ¬Q → ¬P est classiquement équivalente à P → Q, mais pas dans certains systèmes non classiques.

Limite

Ce traitement est limité aux contextes vérité-fonctionnels classiques ; les conditionnels indicatifs en langage naturel, les affirmations causales, les contrefactuels et les logiques de pertinence considèrent 'si... alors...' différemment et peuvent ne pas s'aligner sur l'implication matérielle.

Tension sémantique

Il existe une tension entre le conditionnel matériel formel et le 'si... alors...' du langage naturel, car l'implication matérielle valide des conditionnels qui paraissent étranges en français (vrais du fait d'un antécédent faux), suscitant des difficultés philosophiques sur son adéquation.

Synthèse

L'implication matérielle est le conditionnel vérité-fonctionnel qui réduit les conditionnels aux valeurs de vérité : c'est le dispositif formel utilisé en logique propositionnelle pour exprimer 'si... alors...' selon la sémantique classique tout en restant neutre sur la causalité ou la pertinence.