|
Paradoxes
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] |
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] |
