Inlogic andphilosophy, thelaws of thought is a dated expression referring to three logical principles: thelaw of identity (LOI), thelaw of non-contradiction (LNC), and thelaw of excluded middle (LEM).[1]
The expression "laws of thought" gained prominence through its use byidealist andconceptualist logicians such asGeorge Boole (1815–64). Boole named his second logic bookAn Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities (1854).
Among contemporary logicians, the expression "laws of thought" is widely regarded as obsolete.[1][2] The reasons for this can be summarized as follows:
While there are some contemporary philosophers of logic who consider that logical laws can be regarded as constitutive of rational thought, they too reject the old view of logic as the "three laws".
The law of identity can be written symbolically as a = a. The law of non-contradiction can be written¬(p∧ ¬p). and the law of excluded middle: p∨ ¬p. Thea refers tosingular terms; while thep refers topropositions, or whole sentences. Inpropositional logic, there is no law of identity.
Gottfried Wilhelm Leibniz claimed that the law of identity, which he expresses as "Everything is what it is", is the first primitive truth of reason which is affirmative, and thelaw of noncontradiction is the first negative truth (Nouv. Ess. IV, 2, § i), arguing that "the statement that a thing is what it is, is prior to the statement that it is not another thing" (Nouv. Ess. IV, 7, § 9).Wilhelm Wundt creditsGottfried Leibniz with the symbolic formulation, "A is A."[3]
Leibniz formulated three additional principles, either or both of which sometimes were counted as a "law of thought"
The latter two constituteLeibniz's Law, which, unlike the law of identity, explains identity.
Several authors have added the principle of sufficient reason as the fourth "law of thought".[4]William Hamilton andArthur Schopenhauer were among them.[5][6] Schopenhauer later believed the law of excluded middle and the principle of sufficient reason were the two laws of thought.[7]
George Boole's 1854 treatise on logic,An Investigation on the Laws of Thought is the most famous logical work which thought logic was about "laws of the mind."[8]
Gottlob Frege's attack on psychologism proved highly influential, especially after convincingHusserl.[8] Before Frege,Bolzano also seemed to be against psychologism in logic.
Russell notes that "for no very good reason, three of these principles have been singled out by tradition under the name of 'Laws of Thought'.[a] And these he lists as follows:
Russell and Whitehead'sPrincipia Mathematica derives over a hundred different formula astheorems, among which are the Law of Excluded Middle ❋1.71, and the Law of Non-Contradiction ❋3.24.
In modern so calledclassical logic propositions and predicate expressions aretwo-valued, with either the truth value "truth" or "falsity" but not both.[10] The law of excluded middle therefore says each proposition has at least one truth value. There are no truth gaps. The law of non contradiction says no proposition has more than one truth value. There are no truth gluts.
The law of non-contradiction and the law of excluded middle create adichotomy in a so-called logical space, the points in which are all the consistent combinations of propositions. Each combination would contain exactly one member of each pair of contradictory propositions, so the space would have two parts which are mutually exclusive and jointly exhaustive. The law of non-contradiction is merely an expression of the mutually exclusive aspect of that dichotomy, and the law of excluded middle is an expression of its jointly exhaustive aspect.
There are alsomany valued logics, with gaps or gluts, or both. Intuitionistic logic denies the law of excluded middle. Paraconsistent logic tolerates contradiction.
'Intuitionistic logic', sometimes more generally called constructive logic, refers to systems ofsymbolic logic that differ from the systems used for classical logic by more closely mirroring the notion ofconstructive proof. In particular, systems of intuitionistic logic do not assume the law of the excluded middle anddouble negation elimination.
'Paraconsistent logic' refers to so-called contradiction-tolerant logical systems in which a contradiction does not necessarily result intrivialism. In other words, theprinciple of explosion is not valid in such logics.
Some (namely thedialetheists) argue that the law of non-contradiction is false. They are motivated by certain paradoxes which seem to imply a limit of the law of non-contradiction, such as theliar paradox. In order to avoid a trivial logical system and still allow certain contradictions to be true, dialetheists will employ a paraconsistent logic of some kind.
Among contemporary logicians, the distinction between psychology and logic is widely accepted. However, there are a few philosophers of logic who consider that logical laws can be regarded as constitutive of rational thought.
For example, Paul Boghossian argues that to possess a concept is, in part, a disposition to draw inferences in accordance with some basic rules. He claims that some inferential principles are constitutive of contentful thought and are part of what it means to have beliefs at all.[11]
Robert Hanna contends that logic arises from an innate protological cognitive capacity that is necessarily shared by all rational human animals. This is a 'protologic' that is "structurally distinct from all classical and nonclassical systems, but unifies the many logics through its role in the construction of all logical systems".[12]
Jessica Leech claims that the laws of logic can be considered to be laws of thought, understood as constitutive norms of thought.[13]
However, none of these authors identify basic rules, protologic, or laws of thought with the "three laws".