self-reference

created by lumina
(idea) by physcher (1.8 y) (print)   ?   (I like it!) 1 C! Tue Jul 25 2000 at 17:34:13
More generally, self reference is when something references itself, and need not be part of a definition. For example "The last word in this sentence is `Mississippi'." is a self referential sentence, though it does not define itself, it only describes a certain property that it has. One of the most prevalent self refential sentences is the Liar's Paradox (aka Epimenides' paradox).
(idea) by mps (6.1 y) (print)   ?   (I like it!) Wed Apr 18 2001 at 3:26:44

Raymond Smullyan has written a good deal about self-reference. He has developed a remarkably simple method of getting self-reference in a formal system that permits quotation. The following version is derived from his Diagonalization and Self-Reference.

For any string X, say that the quotation of X, written *X, denotes X. Further, for any strings X and Y, if X denotes Y, say that AX denotes the associate of X, which is X*X.

Consider the string A*A. What does it denote? Well, *A denotes A, so A*A denotes the associate of A---which is A*A itself. So A*A is a self-referential string in this system.

(idea) by Jargon (1.9 y) (print)   ?   (I like it!) 1 C! Thu Jul 19 2001 at 15:38:13
segv = S = selvage

self-reference n.

See self-reference.

--The Jargon File version 4.3.1, ed. ESR, autonoded by rescdsk.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.