Nepedia
Back to Discover
Advanced Reader
📖

Self-reference

philosophy religion Maturity 13-18 Next article →

Self-reference is a complex concept involving an entity referring to itself or its own attributes. This phenomenon occurs when a sentence, idea, or formula points back to its own structure or characteristics. It can be expressed directly, such as using the phrase "this sentence," or indirectly through an encoding or a cycle of references. In philosophy, self-reference describes the ability of a subject to refer to itself, often represented by the first-person singular pronoun "I." This concept is not merely a linguistic quirk; it is a fundamental principle studied across many disciplines. It plays a vital role in mathematics, logic, computer programming, and linguistics.

ouroboros
ouroboros

There are different ways that self-reference can manifest in communication and logic. Direct self-reference happens when a statement explicitly names itself, like the sentence "this sentence is false." Indirect self-reference occurs when an object refers to itself through a secondary connection. This can be defined rigorously using cycles in a graph of reference relationships. A famous example is the postcard paradox, where one sentence refers to a second sentence, which then refers back to the first. This creates a loop of meaning that can lead to recursion. Recursion occurs when a structure refers back to itself during a process, such as in functional programming.

In the realm of logic and mathematics, self-reference often leads to the creation of paradoxes. A paradox is a statement that contradicts itself or defies logic. One of the earliest recorded examples is the Epimenides paradox. In this case, an ancient Greek man from Crete stated, "All Cretans are liars." This creates a logical loop regarding the truth of his own statement. Another example is the omnipotence paradox, which asks if a being could create a stone so heavy they could not lift it. These puzzles are used by contemporary philosophers to test if certain concepts are well-defined or meaningless.

Mathematical history was deeply changed by the application of self-reference. The mathematician Kurt Gödel used self-referential ideas to prove his incompleteness theorem. He demonstrated that no formal, consistent system of mathematics can contain every mathematical truth. This is because a system cannot prove certain truths about its own internal structure. This work relates to other famous mathematical paradoxes, such as Russell's paradox and Berry's paradox. In computer science, the halting problem is a similar concept. It shows that there are certain tasks a computer cannot perform, specifically reasoning about its own behavior.

Computer programming and hardware also rely heavily on these principles. In programming, "reflection" allows a program to read or modify its own instructions as if they were data. Another technique is "bootstrapping," which describes using a compiler to compile itself. Functional programming utilizes recursion to allow code structures to refer to themselves during computation. Even at the hardware level, self-reference is essential. Digital memory uses components called flip-flops. These units convert logical self-relations into stable memory over time.

高機模様裂-Textile fragment with incomplete repeating pattern of loom, weaver, and drawboy MET DP11389
高機模様裂-Textile fragment with incomplete repeating pattern of loom, weaver, and drawboy MET DP11389

Self-reference is a popular tool in the arts and popular culture. In literature, this is often called "metafiction," where an author refers to their own work within the story. Writers like Miguel de Cervantes and Italo Calvino have used these techniques to challenge the reader's perception. In film, the "rubber reality" movement of the 1990s used self-reference to push boundaries. The surrealist painter René Magritte famously explored this in "The Treachery of Images," which features the text "this is not a pipe." M.C. Escher also used self-reference in his art, such as depicting hands that are drawing themselves.

Paradox
Paradox

Finally, we see self-reference in the very building blocks of language and myth. In linguistics, an "autological" word is one that describes itself, such as the word "sesquipedalian." Conversely, a "circular definition" occurs when a term is defined using the term itself, which is often considered a logical error. In mythology, the Ouroboros—a dragon eating its own tail—serves as an ancient symbol of self-reference. Many creation myths use self-referential themes to explain how a creator could exist without a prior creator. From the laws of a nation to the code in a computer, self-reference remains a pervasive and powerful idea.

702 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (4)
File:ouroboros.png
ouroboros.png
File:高機模様裂-Textile fragment with incomplete repeating pattern of loom, weaver, and drawboy MET DP11389.jpg
高機模様裂-Textile fragment with incomplete...
File:Paradox.jpg
Paradox.jpg
File:Eron_biennale_dozza_bologna.jpeg
Eron_biennale_dozza_bologna.jpeg
More to explore

🔬 Go deeper

More advanced topics to explore

🪜 Step back

Simpler topics to build understanding

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.