Laws of thought
-
What are the laws of thought in logic?
The laws of thought are traditionally the three fundamental principles of logic. They are the law of contradiction, the law of excluded middle, and the principle of identity.
- Law of Contradiction It is impossible for both a proposition and its negation to be true at the same time.
- Law of Excluded Middle Either a proposition or its negation must be true; there is no middle ground.
- Law of Identity If a propositional function F is true of an individual variable x, then F is true of x, or a thing is identical with itself.
2 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
Why are the laws of thought important for logical reasoning?
The laws of thought are traditionally considered fundamental principles of logic that serve as the bedrock for logical reasoning. These laws include the law of contradiction, the law of excluded middle, and the principle of identity.
- The law of contradiction states that a proposition and its negation cannot both be true.
- The law of excluded middle asserts that either a proposition or its negation must be true.
- The principle of identity states that if a propositional function F is true of an individual variable x, then F is true of x.
These laws are important because they provide a framework for determining the validity of arguments and ensuring the consistency of reasoning. They help to avoid fallacies and ensure that conclusions are supported by premises.
4 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
What is the law of identity in logic?
The law of identity, a cornerstone of the laws of thought in traditional logic, asserts that a thing is identical to itself. This principle is expressed as "x is x" or symbolically as ( (\forall x)(x = x) ), meaning "for every x, x is identical to x".
Logicians have precisely codified the properties of numerical identity, using the sign "=" to represent it. The law of identity is expressed by the axiom (x = x), indicating that any object (x) is identical with itself. In essence, the law of identity states that a thing is what it is.
3 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
What is the law of non-contradiction?
The law of non-contradiction, a fundamental law of logic, states that contradictory propositions cannot both be true at the same time and in the same sense.
In symbolic terms, for all propositions p, it is impossible for both p and not p to be true, or: ¬(p ⋅ ¬p), in which ¬ means “not” and ⋅ means “and”.
Aristotle cited the laws of contradiction and of excluded middle as examples of axioms.
2 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
How does the law of excluded middle work in logic?
The law of excluded middle, a fundamental law of logic, states that for any proposition, either that proposition or its negation must be true; there is no middle ground between them.
Symbolically, it can be represented as ( p \lor \neg p ), where ( p ) represents a proposition, ( \lor ) means "or," and ( \neg ) means "not".
However, some logicians and mathematicians, like L.E.J. Brouwer, have rejected this law, especially when dealing with infinite sets or future events that are not yet determined.
3 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
How do the laws of thought form the basis of logical arguments and problem-solving?
The laws of thought, traditionally composed of the law of contradiction, the law of excluded middle, and the principle of identity, serve as the bedrock for logical arguments and problem-solving.
- Law of Contradiction This law posits that a statement and its negation cannot both be true simultaneously.
- Law of Excluded Middle This law asserts that either a statement or its negation must be true; there is no middle ground.
- Principle of Identity This principle states that if a propositional function F is true of an individual variable x, then F is true of x, or that a thing is identical to itself.
These laws provide a framework for reasoning, enabling the construction of consistent arguments and the evaluation of conflicting claims. They are also a conceptual framework for psychological theorizing. By adhering to these principles, one can systematically analyze information, identify inconsistencies, and arrive at sound conclusions in various domains of inquiry.
5 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.
Laws of thought, traditionally, the three fundamental laws of logic: (1) the law of contradiction, (2) the law of excluded middle (or third), and (3) the principle of identity. The three laws can be stated symbolically as follows. (1) For all propositions p, it is impossible for both p and not p to be true, or: ∼(p · ∼p), in which ∼ means “not” and · means “and.” (2) Either p or ∼p must be true, there being no third or middle true proposition between them, or: p ∨ ∼p, in which ∨ means “or.” (3) If a propositional function F is true of an individual variable x, then F is true of x, or: F(x) ⊃ F(x), in which ⊃ means “formally implies.” Another formulation of the principle of identity asserts that a thing is identical with itself, or (∀x) (x = x), in which ∀ means “for every”; or simply that x is x.
Aristotle cited the laws of contradiction and of excluded middle as examples of axioms. He partly exempted future contingents, or statements about unsure future events, from the law of excluded middle, holding that it is not (now) either true or false that there will be a naval battle tomorrow but that the complex proposition that either there will be a naval battle tomorrow or that there will not is (now) true. In the epochal Principia Mathematica (1910–13) of Alfred North Whitehead and Bertrand Russell, this law occurs as a theorem rather than as an axiom.
That the laws of thought are a sufficient foundation for the whole of logic, or that all other principles of logic are mere elaborations of them, was a doctrine common among traditional logicians. The law of excluded middle and certain related laws were rejected by the Dutch mathematician L.E.J. Brouwer, the originator of mathematical intuitionism, and his school, who did not admit their use in mathematical proofs in which all members of an infinite class are involved. Brouwer would not accept, for example, the disjunction that either there occur 10 successive 7’s somewhere in the decimal expansion of π or else not, since no proof is known of either alternative, but he would accept it if applied, for instance, to the first 10100 digits of the decimal, since these could in principle actually be computed.
" height="20" alt="HEW Logo">
In 1920 Jan Łukasiewicz, a leading member of the Polish school of logic, formulated a propositional calculus that had a third truth-value, neither truth nor falsity, for Aristotle’s future contingents, a calculus in which the laws of contradiction and of excluded middle both failed. Other systems have gone beyond three-valued to many-valued logics—e.g., certain probability logics having various degrees of truth-value between truth and falsity.