Règle de la logique classique (ex falso quodlibet) affirmant que dès qu'une contradiction est admise dans un système déductif (à la fois P et ¬P), n'importe quelle proposition peut en être déduite valablement.

Principe

La règle organisatrice est que la contradiction entraîne la trivialité dans les relations de conséquence classiques : à partir de prémisses inconsistantes, l'ensemble des conséquences devient le langage entier, sauf si la logique bloque cette inférence.

Démonstration

Scénario illustratif : en logique propositionnelle classique, à partir de P et ¬P on peut dériver P ∨ Q par introduction de la disjonction, puis par élimination de la disjonction dériver Q ; concrètement, si une base de données contient à la fois « Utilisateur A est actif » et « Utilisateur A n'est pas actif », les règles classiques permettent de dériver des énoncés arbitraires, montrant un effondrement.

Mauvaise application

Invoquer l'explosion pour soutenir que tout jeu de données inconsistant est inutile dans tous les contextes pratiques méconnaît les approches paraconsistantes et les stratégies pragmatiques de confinement ; de même, affirmer que l'explosion vaut dans des systèmes non classiques sans vérifier les règles structurelles est une erreur.

Conséquence

Dans les systèmes qui valident l'explosion, la cohérence est un desideratum central : une contradiction admise rend le système déductivement trivial et compromet l'inférence fiable, si bien que maintenir ou restaurer la cohérence devient urgent.

Inversion

Les logiques paraconsistantes et les systèmes qui rejettent ex falso quodlibet empêchent l'explosion en restreignant les règles d'inférence ou les relations de conséquence, permettant ainsi des contradictions localisées sans trivialité générale.

Limite

S'applique aux logiques qui incluent des règles structurelles classiques (en particulier l'introduction/élimination de la disjonction et la monotonicité). Elle ne s'applique pas universellement aux logiques non classiques, sous-structurelles ou paraconsistantes, ni automatiquement au raisonnement informel ou à l'inférence probabiliste.

Tension sémantique

Tension entre l'idée que les contradictions sont catastrophiques (mènent à la trivialité) et les approches qui tolèrent l'inconsistance pour des raisons pragmatiques ou théoriques ; le débat porte sur la desiderabilité d'explosion comme propriété formelle pour une application donnée.

Synthèse

Le principe d'explosion exprime la conséquence classique selon laquelle admettre une contradiction directe écrase les systèmes déductifs en trivialité ; son acceptation impose l'accent sur la cohérence, tandis que son rejet fonde les traitements paraconsistants qui visent à isoler les contradictions.