|
Hilbert–Bernays Paradox
The Hilbert–Bernays paradox is a distinctive paradox belonging to the family of the paradoxes of reference. It is named after David Hilbert and Paul Bernays. History The paradox appears in Hilbert and Bernays' ''Grundlagen der Mathematik'' and is used by them to show that a sufficiently strong consistent theory cannot contain its own reference functor. Although it has gone largely unnoticed in the course of the 20th century, it has recently been rediscovered and appreciated for the distinctive difficulties it presents. Formulation Just as the semantic property of truth seems to be governed by the naive schema: :(T) The sentence ′''P''′ is true if and only if ''P'' (where single quotes refer to the linguistic expression inside the quotes), the semantic property of reference seems to be governed by the naive schema: :(R) If ''a'' exists, the referent of the name ′''a''′ is identical with ''a'' Let us suppose however that, for every expression e in the language, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
List Of Self–referential Paradoxes
This list includes well known paradoxes, grouped thematically. The grouping is approximate, as paradoxes may fit into more than one category. This list collects only scenarios that have been called a paradox by at least one source and have their own article in this encyclopedia. These paradoxes may be due to fallacious reasoning (falsidical), or an unintuitive solution (Veridical paradox, veridical). The term ''paradox'' is often used to describe a counter-intuitive result. However, some of these paradoxes qualify to fit into the mainstream viewpoint of a paradox, which is a self-contradictory result gained even while properly applying accepted ways of reasoning. These paradoxes, often called ''antinomy,'' point out genuine problems in our understanding of the ideas of truth and Definite description, description. Logic * : The supposition that, "if one of two simultaneous assumptions leads to a contradiction, the other assumption is also disproved" leads to paradoxical conseq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time. Hilbert discovered and developed a broad range of fundamental ideas including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory). He adopted and defended Georg Cantor's set theory and transfinite numbers. In 1900, he presented a collection of problems that set a course for mathematical research of the 20th century. Hilbert and his students contributed to establishing rigor and developed important tools used in modern mathematical physics. He was a cofounder of proof theory and mathematical logic. Life Early life and education Hilbert, the first of two children and only son of O ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Bernays
Paul Isaac Bernays ( ; ; 17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. Biography Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849. Bernays spent his childhood in Berlin, and attended the Köllnische Gymnasium, 1895–1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson. In 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grundlagen Der Mathematik
''Grundlagen der Mathematik'' (English: ''Foundations of Mathematics'') is a two-volume work by David Hilbert and Paul Bernays. Originally published in 1934 and 1939, it presents fundamental mathematical ideas and introduced second-order arithmetic In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation of mathematics, foundation for much, but not all, .... Publication history *1934/1939 (Vol. I, II) First German edition, Springer *1944 Reprint of first edition by J. W. Edwards, Ann Arbor, Michigan. *1968/1970 (Vol. I, II) Second revised German edition, Springer *1979/1982 (Vol. I, II) Russian translation of 1968/1970, Nauka Publ., Moscow *2001/2003 (Vol. I, II) French translation, L’Harmattan, Paris *2011/2013 (Parts A and B of Vol. I, prefaces and sections 1-5) English translation of 1968 and 1934, bilingual with German facsimile on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics
Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction between sense and reference. Sense is given by the ideas and concepts associated with an expression while reference is the object to which an expression points. Semantics contrasts with syntax, which studies the rules that dictate how to create grammatically correct sentences, and pragmatics, which investigates how people use language in communication. Lexical semantics is the branch of semantics that studies word meaning. It examines whether words have one or several meanings and in what lexical relations they stand to one another. Phrasal semantics studies the meaning of sentences by exploring the phenomenon of compositionality or how new meanings can be created by arranging words. Formal semantics (natural language), Formal semantics relies o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth
Truth or verity is the Property (philosophy), property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth, 2005 In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences. True statements are usually held to be the opposite of false statement, false statements. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, law, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, including journalism and everyday life. Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself. Most commonly, truth is viewed as the correspondence of language or thought to a mind-independent world. This is called the correspon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Of Indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ''x'' is also possessed by ''y'' and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Lemma
In mathematical logic, the diagonal lemma (also known as diagonalization lemma, self-reference lemma or fixed point theorem) establishes the existence of self-referential sentences in certain formal theories. A particular instance of the diagonal lemma was used by Kurt Gödel in 1931 to construct his proof of the incompleteness theorems as well as in 1933 by Tarski to prove his undefinability theorem. In 1934, Carnap was the first to publish the diagonal lemma at some level of generality. The diagonal lemma is named in reference to Cantor's diagonal argument in set and number theory. The diagonal lemma applies to any sufficiently strong theories capable of representing the diagonal function. Such theories include first-order Peano arithmetic \mathsf, the weaker Robinson arithmetic \mathsf as well as any theory containing \mathsf (i.e. which interprets it). A common statement of the lemma (as given below) makes the stronger assumption that the theory can represent all recurs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical Logic
Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. Characteristics Each logical system in this class shares characteristic properties: Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), ''Handbook of Logic in Artificial Intelligence and Logic Programming'', volume 2, chapter 2.6. Oxford University Press. # Law of excluded middle and double negation elimination # Law of noncontradiction, and the principle of explosion # Monotonicity of entailment and idempotency of entailment # Commutativity of conjunction # De Morgan duality: every logical operator is dual to another While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics. Shapiro, Stewart (2000). Classical Logic. In St ... [...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] |
Law Of Excluded Middle
In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. It is one of the three laws of thought, along with the law of noncontradiction and the law of identity; however, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws. The law is also known as the law/principle of the excluded third, in Latin ''principium tertii exclusi''. Another Latin designation for this law is ''tertium non datur'' or "no third ossibilityis given". In classical logic, the law is a tautology. In contemporary logic the principle is distinguished from the semantical principle of bivalence, which states that every proposition is either true or false. The principle of bivalence always implies the law of excluded middle, while the converse is not always true. A commonly cited counterexample uses statements unprovable n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
