Alleged Impossibility of Its Proof or Denial
As is true of all axioms of logic, the law of non-contradiction is alleged to be neither verifiable nor falsifiable, on the grounds that any proof or disproof must use the law itself prior to reaching the conclusion. In other words, in order to verify or falsify the laws of logic one must resort to logic as a weapon, an act which would essentially be self-defeating. Since the early 20th century, certain logicians have proposed logics that deny the validity of the law. Collectively, these logics are known as "paraconsistent" or "inconsistency-tolerant" logics. But not all paraconsistent logics deny the law, since they are not necessarily completely agnostic to inconsistencies in general. Graham Priest advances the strongest thesis of this sort, which he calls "dialetheism".
In several axiomatic derivations of logic, this is effectively resolved by showing that (P ∨ ¬P) and its negation are constants, and simply defining TRUE as (P ∨ ¬P) and FALSE as ¬(P ∨ ¬P), without taking a position as to the principle of bivalence or the law of excluded middle.
Some, such as David Lewis, have objected to paraconsistent logic on the ground that it is simply impossible for a statement and its negation to be jointly true. A related objection is that "negation" in paraconsistent logic is not really negation; it is merely a subcontrary-forming operator.
Read more about this topic: Law Of Noncontradiction
Famous quotes containing the words alleged, proof and/or denial:
“Most observers of the French Revolution, especially the clever and noble ones, have explained it as a life-threatening and contagious illness. They have remained standing with the symptoms and have interpreted these in manifold and contrary ways. Some have regarded it as a merely local ill. The most ingenious opponents have pressed for castration. They well noticed that this alleged illness is nothing other than the crisis of beginning puberty.”
—Novalis [Friedrich Von Hardenberg] (1772–1801)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)
“One would think, that a deliberate and practical denial of its authority was the only offence never contemplated by government; else, why has it not assigned its definite, its suitable and proportionate, penalty?”
—Henry David Thoreau (1817–1862)