Principle of contradiction

Principle of contradiction

In logic, the Principle of contradiction ("principium contradictionis" in Latin) is the second of the so-called three classic laws of thought. The oldest statement of the law is that contradictory statements cannot both at the same time be true, e.g. the two propositions "A" is "B" and "A" is not "B" are mutually exclusive. "A" may be "B" at one time, and not at another; "A" may be partly "B" and partly not "B" at the same time; but it is impossible to predicate of the same thing, at the same time, and in the same sense, the absence and the presence of the same quality. This is the statement of the law given by Aristotle. It takes no account of the truth of either proposition; if one is true, the other is not; one of the two must be true.

In the symbolism of propositional logic, the principle is expressed as:

: eg (P wedge eg P).!

Interpretations

According to Allan Bloom, "the earliest-known explicit statement of the principle of contradiction — the premise of philosophy and the foundation of rational discourse" — is given in Plato's "Politeia" ("The Republic") where the character Socrates states, "It's plain that the same thing won't be willing at the same time to do or suffer opposites with respect to the same part and in relation to the same thing" (436B).

The principle is also found in ancient Indian logic as a meta-rule in the "Shrauta Sutras", the grammar of Pāṇini, [citation|author=Frits Staal|title=Universals: Studies in Indian Logic and Linguistics|publisher=Chicago|year=1988|pages=109-28 (cf. citation|title=Seeing Things Hidden|first=Malcolm|last=Bull|publisher=Verso|year=1999|isbn=1859842631|page=53)] and the "Brahma Sutras" attributed to Vyasa. It was later elaborated on by medieval commentators such as Madhvacharya. [citation|title=A History of Indian Philosophy|first=Surendranath|last=Dasgupta|publisher=Motilal Banarsidass|year=1991|isbn=8120804155|page=110]

The law of non-contradiction is often used as a test of "absolute truth." For example, Christianity, and other religions, are based on the belief there is but one true God of the universe. Other religious beliefs may claim there are many gods. As a principle of logic, the law of non-contradiction would allow one to conclude that there are many Gods, or there are not many gods, (or neither, if the principle of bivalence is not assumed), but not both.

Aristotle's attempt at proof

In chapter 4, book IV of the " Metaphysics", Aristotle attempts several proofs of this principle. He first argues that every expression has a single meaning (otherwise we could not communicate with one another). This rules out the possibility that by 'to be a man', 'not to be a man' is meant. But 'man' means 'two-footed animal' (for example), and so if anything is a man, it is necessary (by virtue of the meaning of 'man') that it must be a two-footed animal, and so it is impossible at the same time for it "not" to be a two-footed animal. Thus '"it is not possible to say truly at the same time that the same thing is and is not a man" ("Metaphysics" 1006b 35). Another argument is that anyone who believes something cannot believe its contradiction (1008b). Why should someone walk to Megara, rather than merely "twiddle his toes"?

:Why does he not just get up first thing and walk into a well or, if he finds one, over a cliff? In fact, he seems rather careful about cliffs and wells [1008b, trans. Lawson-Tancred] .

Avicenna gives a similar argument:

:Anyone who denies the law of non-contradiction should be beaten and burned until he admits that to be beaten is not the same as not to be beaten, and to be burned is not the same as not to be burned. [Avicenna, Metaphysics, I; commenting on Aristotle, Topics I.11.105a4–5.]

Leibniz and Kant

Leibniz and Kant adopted a different statement, by which the law assumes an essentially different meaning. Their formula is A is not not-A; in other words it is impossible to predicate of a thing a quality which is its contradictory. Unlike Aristotle's law this law deals with the necessary relation between subject and predicate in a single judgment. For example, in Gottlob Ernst Schulze's "Aenesidemus", it is asserted, "… nothing supposed capable of being thought may contain contradictory characteristics." Whereas Aristotle states that one or other of two contradictory propositions must be false, the Kantian law states that a particular kind of proposition is in itself necessarily false. On the other hand there is a real connection between the two laws. The denial of the statement A is not-A presupposes some knowledge of what A is, i.e. the statement A is A. In other words a judgment about A is implied.

Kant's analytical judgments of propositions depend on presupposed concepts which are the same for all people. His statement, regarded as a logical principle purely and apart from material facts, does not therefore amount to more than that of Aristotle, which deals simply with the significance of negation.

Alleged impossibility of its proof or denial

The law of non-contradiction is alleged to be neither verifiable nor falsifiable, on the ground that any proof or disproof must use (or reject) the law itself prior to reaching the conclusion, and thus beg the question. [ [http://plato.stanford.edu/entries/contradiction/ Contradiction (Stanford Encyclopedia of Philosophy) ] ] Since the early 20th century, however, numerous logicians have proposed logics that either weaken or deny the law. Collectively, these logics are known as "paraconsistent" or "inconsistency-tolerant" logics. Graham Priest advances the strongest thesis of this sort, which he calls "dialetheism".

ee also

* Contradiction
* First principle
* Identity (philosophy)
* Law of excluded middle
* Law of identity
* Laws of thought
* Peirce's law
* Principle of bivalence
* Principle of explosion
* Reductio ad absurdum
* Oxymoron

Notes

References

* "Aristotle's Metaphysics" translated with an introduction by H. Lawson-Tancred. Penguin 1998

External links

* Laurence Horn, " [http://plato.stanford.edu/entries/contradiction/ Contradiction] " (Stanford Encyclopedia of Philosophy)
* Graham Priest, " [http://plato.stanford.edu/entries/dialetheism/ Dialetheism] " (Stanford Encyclopedia of Philosophy)
* Graham Priest and Koji Tanaka, " [http://plato.stanford.edu/entries/logic-paraconsistent/ Paraconsistent logic] " (Stanford Encyclopedia of Philosophy)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Principle of contradiction — Principle Prin ci*ple, n. [F. principe, L. principium beginning, foundation, fr. princeps, cipis. See {Prince}.] 1. Beginning; commencement. [Obs.] [1913 Webster] Doubting sad end of principle unsound. Spenser. [1913 Webster] 2. A source, or… …   The Collaborative International Dictionary of English

  • Principle of contradiction — Contradiction Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying.… …   The Collaborative International Dictionary of English

  • principle of contradiction — law of contradiction * * * principle of contradiction noun The logical principle that a thing cannot both be and not be • • • Main Entry: ↑principle …   Useful english dictionary

  • Principle — Prin ci*ple, n. [F. principe, L. principium beginning, foundation, fr. princeps, cipis. See {Prince}.] 1. Beginning; commencement. [Obs.] [1913 Webster] Doubting sad end of principle unsound. Spenser. [1913 Webster] 2. A source, or origin; that… …   The Collaborative International Dictionary of English

  • Contradiction — Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying. [1913 Webster]… …   The Collaborative International Dictionary of English

  • Principle of explosion — The principle of explosion is the law of classical logic and a few other systems (e.g., intuitionistic logic) according to which anything follows from a contradiction i.e., once you have asserted a contradiction, you can infer any proposition, or …   Wikipedia

  • Principle of bivalence — In logic, the semantic principle of bivalence states that every proposition takes exactly one of two truth values (e.g. truth or falsehood ). The laws of bivalence, excluded middle, and non contradiction are related, but they refer to the… …   Wikipedia

  • Bitter principle — Principle Prin ci*ple, n. [F. principe, L. principium beginning, foundation, fr. princeps, cipis. See {Prince}.] 1. Beginning; commencement. [Obs.] [1913 Webster] Doubting sad end of principle unsound. Spenser. [1913 Webster] 2. A source, or… …   The Collaborative International Dictionary of English

  • Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… …   Wikipedia

  • contradiction — Originally a logical term which was taken up by G. W. F. Hegel in order to explain the nature of the dialectical movement in the history of thought, whereby a thesis necessarily begets its antithesis (opposite), and results in a synthesis that… …   Dictionary of sociology

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”