Principe logique selon lequel aucune proposition ne peut être à la fois vraie et fausse au même moment dans le même sens ; il interdit de tenir simultanément pour vraies une affirmation et sa négation dans un même cadre d'interprétation.

Principe

Règle organisatrice classique qui partitionne les énoncés évaluables en vérité en statuts mutuellement exclusifs de vérité et de fausseté (pour une interprétation fixe), soutenant un raisonnement déductif cohérent.

Démonstration

Scénario illustratif : pour la proposition « La lampe est allumée » sous une observation et une interprétation uniques, la loi interdit de traiter cette proposition comme à la fois vraie et fausse ; dans un système de preuve formel elle bloque les dérivations qui tiendraient P et ¬P comme vraies simultanément.

Mauvaise application

Considérer la loi comme prescriptive universelle hors de ses cadres d'interprétation — par exemple l'utiliser pour résoudre des paradoxes issus de prédicats vagues, d'autoréférence sémantique ou de logiques alternatives — peut masquer des contextes légitimes où les valeurs de vérité sont graduées, indéterminées ou bien présentes simultanément (p. ex. la vagueness, les dialéthies).

Conséquence

Adoptée, elle impose des contraintes de cohérence : une théorie contenant une contradiction directe est problématique pour l'inférence classique, et de nombreuses dérivations classiques (y compris l'élimination des contradictions) en dépendent.

Inversion

La dialéthie (l'idée que certaines contradictions sont vraies) et les logiques paraconsistantes inversent ou suspendent cette loi en permettant des contradictions vraies ou en empêchant les contradictions de trivialiser le système.

Limite

S'applique aux langages logiques classiques et aux assignations de valeurs de vérité bivalentes. Elle ne s'applique pas automatiquement aux cadres qui rejettent la bivalence, traitent les prédicats comme dépendants du contexte ou admettent des contradictions vraies ; elle ne tranche pas non plus les disputes sémantiques ou ontologiques sur les cas limites.

Tension sémantique

Tension entre la loi et les positions qui mettent l'accent sur l'indétermination (vagues, survaluation), les logiques à valeurs multiples ou les revendications dialéthiques ; la question est de savoir si « à la fois vrai et faux » est un statut cohérent ou un échec du schéma classificatoire.

Synthèse

La loi de non-contradiction est la contrainte classique qui interdit qu'une proposition et sa négation soient vraies simultanément dans le même sens ; elle organise la cohérence déductive dans les systèmes classiques mais est explicitement limitée lorsque des logiques alternatives ou une indétermination sémantique sont pertinentes.