Knowra Paradox Paradox A statement or idea that appears self-contradictory yet may reveal a coherent insight. Paradoxes can expose hidden assumptions, limits in reasoning, or genuine conflicts.
Liar paradox : The sentence “This sentence is false,” which seems true exactly when it is false. Its self-reference makes contradiction arise directly within a single statement.
Self-reference : A relation in which an expression, statement, or system refers to itself. Self-reference generates famous semantic and logical paradoxes, including the Liar.
Logic : The formal study of valid inference and the structure of arguments. Paradoxical arguments test what follows from premises and expose limits in formal systems.
Type theory : A formal system that classifies expressions by types to control their use and prevent certain inconsistencies. Russell's paradox helped motivate restrictions on which objects can be treated as sets.
Puzzle : A problem designed to challenge ingenuity or reasoning, often with a determinate solution. A puzzle need not involve an apparent contradiction or threaten a theory's assumptions.
Russell's paradox : A contradiction in naive set theory concerning the set of all sets that are not members of themselves. It shows that an apparently coherent definition can undermine its own foundations.
Contradiction : A pair of claims that cannot both be true in the same sense and at the same time. A paradox often appears to assert incompatible claims, though the conflict may be only apparent.
Semantic paradox : A paradox arising from meanings of language, especially truth, reference, or definition. This subtype captures puzzles whose trouble depends on what statements mean.
Zermelo–Fraenkel set theory : An axiomatic foundation for mathematics that specifies rules for constructing sets. Its axioms avoid the unrestricted set formation that produces Russell's paradox.
Riddle : A question or statement whose concealed meaning must be inferred from clues or wordplay. Wordplay can imitate paradox, but a riddle typically resolves through a hidden answer.
Show all 26