Law of Noncontradiction - Alleged Impossibility of Its Proof or Denial

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)

    To cease to admire is a proof of deterioration.
    Charles Horton Cooley (1864–1929)

    The line that I am urging as today’s conventional wisdom is not a denial of consciousness. It is often called, with more reason, a repudiation of mind. It is indeed a repudiation of mind as a second substance, over and above body. It can be described less harshly as an identification of mind with some of the faculties, states, and activities of the body. Mental states and events are a special subclass of the states and events of the human or animal body.
    Willard Van Orman Quine (b. 1908)