Indirect self-reference
Indirect self-reference describes an object referring to itself indirectly. For example, the "this sentence is false." contains a direct self-reference, in which the phrase "this sentence" refers directly to the sentence as a whole. An indirectly self-referential sentence would replace the phrase "this sentence" with an indirect reference; and expression that effectively still referred to the sentence, but did not use the pronoun "this."[1]
Indirect self-reference can be defined rigorously in terms of cycles in a graph of reference relationships.[2]
An example of this is the postcard paradox, in which a sentence refers to another sentence which in turn references the original one.[1]
Indirect self-reference was studied in great depth by W. V. Quine and occupies a central place in the proof of Gödel's incompleteness theorem.[3]
See also
- Diagonal lemma
- Fixed point (mathematics)
- Fixed-point combinator
- Gödel, Escher, Bach
- Indirection
- Quine's paradox
- Self-hosting (compilers)
- Self-interpreter
References
- ↑ 1.0 1.1 Bolander, Thomas (2024), Zalta, Edward N.; Nodelman, Uri, eds., "Self-Reference and Paradox", The Stanford Encyclopedia of Philosophy (Fall 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 2025-12-05
- ↑ Bolander, Thomas (2005). "Self-reference and logic" (PDF).
- ↑ Silva, Matheus (December 1, 2025). "On the circularity of Gödel's incompleteness proofs". philarchive.org. Retrieved 2025-12-05.
This article "Indirect self-reference" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Indirect self-reference. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
