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:
“The entire construct of the “medical model” of “mental illness”Mwhat is it but an analogy? Between physical medicine and psychiatry: the mind is said to be subject to disease in the same manner as the body. But whereas in physical medicine there are verifiable physiological proofs—in damaged or affected tissue, bacteria, inflammation, cellular irregularity—in mental illness alleged socially unacceptable behavior is taken as a symptom, even as proof, of pathology.”
—Kate Millett (b. 1934)
“War is a beastly business, it is true, but one proof we are human is our ability to learn, even from it, how better to exist.”
—M.F.K. Fisher (1908–1992)
“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)