Law Of Noncontradiction
In classical logic, the law of non-contradiction (LNC) (or the law of contradiction (PM) or the principle of non-contradiction (PNC), or the principle of contradiction) is the second of the three classic laws of thought. It states that contradictory statements cannot both be true in the same sense at the same time, e.g. the two propositions "A is B" and "A is not B" are mutually exclusive.
The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as:
The law of noncontradiction, along with its complement, the law of excluded middle (the third of the three classic laws of thought), are correlates of the law of identity (the first of the three laws). Because the law of identity partitions its logical Universe into exactly two parts: a "logical object" and everything else, it creates a dichotomy wherein the two parts are "mutually exclusive" and "jointly exhaustive". The law of noncontradiction is merely an expression of the mutually exclusive aspect of that dichotomy, and the law of excluded middle, an expression of its jointly exhaustive aspect.
Read more about Law Of Noncontradiction: Interpretations, Alleged Impossibility of Its Proof or Denial
Famous quotes containing the words law of and/or law:
“All men, in the abstract, are just and good; what hinders them, in the particular, is, the momentary predominance of the finite and individual over the general truth. The condition of our incarnation in a private self, seems to be, a perpetual tendency to prefer the private law, to obey the private impulse, to the exclusion of the law of the universal being.”
—Ralph Waldo Emerson (1803–1882)
“Our law very often reminds one of those outskirts of cities where you cannot for a long time tell how the streets come to wind about in so capricious and serpent-like a manner. At last it strikes you that they grew up, house by house, on the devious tracks of the old green lanes; and if you follow on to the existing fields, you may often find the change half complete.”
—Walter Bagehot (1826–1877)