thought, laws of
- 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.That is, (1) for all propositions p, it is impossible for both p and not p to be true (symbolically, ¬(p ∧ ¬p)); (2) either p or not p must be true, there being no third or middle true proposition between them (symbolically p ∨ ¬p); and (3) if a propositional function F is true of an individual variable x, then F is true of x (symbolically, (∀x) [F(x) ⊃ F(x)]). Another formulation of the principle of identity asserts that a thing is identical with itself, or (∀x) (x = x).
* * *▪ logictraditionally, 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. That is, (1) for all propositions p, it is impossible for both p and not p to be true, or symbolically, ∼(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 symbolically p ∨ ∼p, in which ∨ means “or”; and (3) if a propositional function F is true of an individual variable x, then F is indeed true of x, or symbolically 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 A.N. 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. It has been shown, however, that these laws do not even comprise a sufficient set of axioms for the most elementary branch of logic, the propositional calculus, nor for the traditional theory of the categorical syllogism or the logic of terms.The law of excluded middle and certain related laws have been rejected by L.E.J. Brouwer, a Dutch mathematical intuitionist, and his school, who do 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 ten 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.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.
* * *
Look at other dictionaries:
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… … Universalium
Thought experiment — A thought experiment (from the German Gedankenexperiment ) is a proposal for an experiment that would test a hypothesis or theory but cannot actually be performed due to practical limitations; instead its purpose is to explore the potential… … Wikipedia
Laws (dialogue) — For the work by Cicero of the same title, see De Legibus. Part of the series on: The Dialogues of Plato Early dialogues: Apology – Char … Wikipedia
laws of thought — Logic is badly described as investigating the laws of thought. Logic seeks to discover how thoughts, in the sense of the combination of propositions held at one time, must be structured, if they are to conform to the demands of consistency. It… … Philosophy dictionary
Laws of science — The laws of science are various established scientific laws, or physical laws as they are sometimes called, that are considered universal and invariable facts of the physical world. Laws of science may, however, be disproved if new facts or… … Wikipedia
Laws about rape — Common lawIn the common law of the United Kingdom, Australia and the United States, rape traditionally describes the act of one party forcing another to have sexual intercourse with him or her. Until the late 20th Century, a husband forcing sex… … Wikipedia
Thought of Thomas Aquinas — This article contains selected thoughts of Thomas Aquinas on various topics. Aquinas and the death penalty The following is a summary of Summa Contra Gentiles, Book 3, Chapter 146 [http://www.corpusthomisticum.org/scg3111.html#27017] , which was… … Wikipedia
Laws of honor — Law Law (l[add]), n. [OE. lawe, laghe, AS. lagu, from the root of E. lie: akin to OS. lag, Icel. l[ o]g, Sw. lag, Dan. lov; cf. L. lex, E. legal. A law is that which is laid, set, or fixed; like statute, fr. L. statuere to make to stand. See… … The Collaborative International Dictionary of English
Laws of motion — Law Law (l[add]), n. [OE. lawe, laghe, AS. lagu, from the root of E. lie: akin to OS. lag, Icel. l[ o]g, Sw. lag, Dan. lov; cf. L. lex, E. legal. A law is that which is laid, set, or fixed; like statute, fr. L. statuere to make to stand. See… … The Collaborative International Dictionary of English