Unterkategorie Logik
Paradoxes and self-reference
Paradoxes are contradictions in logic. Some can be solved inside the the logical system, while others resist this attempt. Some contradictions are not solvable in principle, as K. F. Gödel proved hundred years ago. These true paradoxes all show the same formal kernel. The kernel contains typically a re-entry or self-reference. This phenomenon of re-entry or self-reference is at the core of all true paradoxes and a ticklish challenge for formal logic. Simple instruction for generating paradoxes The trick with which classical logical systems can be invalidated consists of two instructions: 1: A statement refers to itself. 2: The
