|
Paradox
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites". In logic, many paradoxes exist that are known to be invalid arguments, yet are nevertheless valuable in promoting critical thinking, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself and showed that attempts to found set theory on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russell's Paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox published by the British philosopher and mathematician, Bertrand Russell, in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. According to the unrestricted comprehension principle, for any sufficiently well-defined property, there is the set of all and only the objects that have that property. Let ''R'' be the set of all sets that are not members of themselves. (This set is sometimes called "the Russell set".) If ''R'' is not a member of itself, then its definition entails that it is a member of itself; yet, if it is a member of itself, then it is not a member of itself, since it is the set of all sets that are not members of themselves. The resulting contradiction is Russell's paradox. In symbols: : Let R = \. Then R \in R \iff R \not \in R. Russell also showed that a version of the paradox co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liar Paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie", the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction. Assume that "this sentence is false" is true, then we can trust its content, which states the opposite and thus causes a contradition. Similarly, we get a contradiction when we assume the opposite. History The Epimenides paradox (c. 600 BC) has been suggested as an example of the liar paradox, but they are not logically equivalent. The semi-mythica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curry's Paradox
Curry's paradox is a paradox in which an arbitrary claim ''F'' is proved from the mere existence of a sentence ''C'' that says of itself "If ''C'', then ''F''". The paradox requires only a few apparently-innocuous logical deduction rules. Since ''F'' is arbitrary, any logic having these rules allows one to prove everything. The paradox may be expressed in natural language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic. The paradox is named after the logician Haskell Curry, who wrote about it in 1942. It has also been called Löb's paradox after Martin Hugo Löb, due to its relationship to Löb's theorem. In natural language Claims of the form "if ''A'', then ''B''" are called conditional claims. Curry's paradox uses a particular kind of self-referential conditional sentence, as demonstrated in this example: Even though Germany does not border China, the example sentence certainly is a natural-language sentence, and so ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barber Paradox
The barber paradox is a puzzle derived from Russell's paradox. It was used by Bertrand Russell as an illustration of the paradox, though he attributes it to an unnamed person who suggested it to him.Russell, Bertrand (1919). "The Philosophy of Logical Atomism", reprinted in ''The Collected Papers of Bertrand Russell, 1914-19'', Vol 8, p. 228 The puzzle shows that an apparently plausible scenario is logically impossible. Specifically, it describes a barber who is defined such that he both shaves himself and does not shave himself, which implies that no such barber exists. Paradox The barber is the "one who shaves all those, and those only, who do not shave themselves". The question is, does the barber shave himself? Any answer to this question results in a contradiction: # The barber cannot shave himself, as he only shaves those who do ''not'' shave themselves. Thus, if he shaves himself he ceases to be the barber specified. # Conversely, if the barber does not shave himself ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Self-reference
Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields. In natural or formal languages, self-reference occurs when a sentence, idea or formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some encoding. In philosophy, self-reference also refers to the ability of a subject to speak of or refer to itself, that is, to have the kind of thought expressed by the first person nominative singular pronoun "I" in English. Self-reference is studied and has applications in mathematics, philosophy, computer programming, second-order cybernetics, and linguistics, as well as in humor. Self-referential statements are sometimes paradoxical, and can also be considered recursive. In logic, mathematics and computing In classical philosophy, paradoxes were created b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ship Of Theseus
The Ship of Theseus, also known as Theseus's Paradox, is a paradox and a common thought experiment about whether an object is the same object after having all of its original components replaced over time, typically one after the other. In Greek mythology, Theseus, the mythical king of the city of Athens, rescued the children of Athens from King Minos after slaying the minotaur and then escaped onto a ship going to Delos. Each year, the Athenians would commemorate this by taking the ship on a pilgrimage to Delos to honour Apollo. A question was raised by ancient philosophers: If no pieces of the original made up the current ship, was it still the Ship of Theseus? Furthermore, if it was no longer the same, when had it ceased existing as the original ship? In contemporary philosophy, the thought experiment has applications to the philosophical study of identity (philosophy), identity over time. Within the contemporary philosophy of mind, it has inspired a variety of proposed solu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Property (philosophy)
In logic and philosophy (especially metaphysics), a property is a characteristic of an object; for example, a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiated, and often in more than one object. It differs from the logical and mathematical concept of class by not having any concept of extensionality, and from the philosophical concept of class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities (or particulars) can in some sense have some of the same properties is the basis of the problem of universals. Terms and usage A property is any member of a class of entities that are capable of being attributed to objects. Terms similar to ''property'' include ''predicable'', ''attribute'', ''quality'', ''feature'', ''chara ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liars Paradox
A liar is a person who tells lies. Liar may also refer to: People with the name * The Liar, an American video artist and member of Angelspit Arts, entertainment, and media Films * ''The Liar'' (1961 film), West German film directed by Ladislao Vajda * ''The Liar'' (1981 film), Finnish film directed by Mika Kaurismäki * ''The Liars'' (film), 1996 French film * ''Liar'' (1997 film) (UK title for ''Deceiver'') Literature * ''Liar'' (novel), a 2009 novel by Justine Larbalestier * "Liar!" (short story), a 1941 short story by Isaac Asimov * ''The Liar'' (Corneille play), a 1644 play by Pierre Corneille * ''The Liar'' (novel), a 1991 novel by Stephen Fry * "The Liar" (novella), a 2016 short story by John P. Murphy * "The Liar" (short story), a short story by Henry James Music Albums * ''Liar'' (Harisu album), 2002 * ''Liar'' (The Jesus Lizard album), 1992 * '' L.I.A.R.'', a 2016 album by Keri Hilson * '' Liar/Dead Is the New Alive'', a 2006 EP by Emilie Autumn * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contradiction
In traditional logic, a contradiction involves a proposition conflicting either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect." In modern formal logic and type theory, the term is mainly used instead for a ''single'' proposition, often denoted by the falsum symbol \bot; a proposition is a contradiction if false can be derived from it, using the rules of the logic. It is a proposition that is unconditionally false (i.e., a self-contradictory proposition). This can be generalized to a collection of propositions, which is then said to "contain" a contradiction. History By creation of a paradox, Plato's '' Euthydemus'' dialogue demonstrates the need for the notion of ''contradiction''. In the ensuing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
