Indirect self-reference

Indirect self-reference

Indirect self-reference describes an object referring to itself "indirectly".

For example, define the function f such that f(x) = "x(x)". Any function passed as an argument to f is invoked with itself as an argument, and thus in any use of that argument is indirectly referring to itself.

This example is similar to the Scheme expression "((lambda(x)(x x)) (lambda(x)(x x)))", which is expanded to itself by beta reduction, and so its evaluation loops indefinitely despite the lack of explicit looping constructs. (That behaviour derives from Scheme's eager evaluation rule. The equivalent expression in lambda calculus has no normal form, for the same reason, but is not otherwise as problematic as it is in Scheme.)

Indirect self-reference is special in that its self-referential quality is not explicit, as it is in the sentence "this sentence is false." 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 expression that effectively still referred to the sentence, but did not use the pronoun "this."

An example will help to explain this. Suppose we define the quine of a phrase to be the quotation of the phrase followed by the phrase itself. So, the quine of: is a sentence fragmentwould be: "is a sentence fragment" is a sentence fragmentwhich, incidentally, is a true statement.

Now consider the sentence: "when quined, makes quite a statement" when quined, makes quite a statement

The quotation here, plus the phrase "when quined," indirectly refers to the entire sentence. The importance of this fact is that the remainder of the sentence, the phrase "makes quite a statement," can now make a statement about the sentence as a whole. If we had used a pronoun for this, we could have written something like "this sentence makes quite a statement."

It seems silly to go through this trouble when pronouns will suffice (and when they make more sense to the casual reader), but in systems of mathematical logic, there is generally no analog of the pronoun. It is somewhat surprising, in fact, that self-reference can be achieved at all in these systems.

Upon closer inspection, it can be seen that in fact, the Scheme example above uses a quine, and f(x) is actually the quine function itself.

Indirect self-reference was studied in great depth by W. V. Quine (after whom the operation above is named), and occupies a central place in the proof of Gödel's incompleteness theorem.

Of particular interest is the quine "yields a false statement when preceded by its quotation" yields a false statement when preceded by its quotationwhich forms a paradoxical statement without using pronouns or any method of direct self-reference.

ee also

* Fixed point
* Fixed point combinator
* Willard Van Orman Quine
* Quine (computing)
* Indirection
* Self-reference
* Diagonal lemma
* Self-interpreter
* Gödel, Escher, Bach
* Actor model


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Self-reference — The Treachery Of Images (1928 29) by René Magritte depicts a pipe along with text stating This is not a pipe. Note: This image is an illustration of a self reference case only if the demonstrative pronoun ceci ( this ) refers not to the idea of a …   Wikipedia

  • Self-referential humor — relies on a subject making light of itself in some manner. Self referential humor is sometimes combined with breaking the fourth wall to explicitly make the reference directly to the audience, or make self reference to an element of the medium… …   Wikipedia

  • Self-interpreter — A self interpreter, or metainterpreter, is a programming language interpreter written in the language it interprets. An example would be a BASIC interpreter written in BASIC. Conceptually, self interpreters are closely related to self hosting… …   Wikipedia

  • Self-harm — This article focuses on repetitive self harm, not on severe self harm inflicted during psychosis. For forms of self harm related to body image, sexuality and wartime, see Body modification, Algolagnia and Self inflicted wound respectively. Self… …   Wikipedia

  • Direct and indirect realism — Direct realism argues we perceive the world directly For representationalism in the arts, see Realism (visual arts). The question of direct or naïve realism, as opposed to indirect or representational realism, arises in the philosophy of… …   Wikipedia

  • On the Concept of Irony with Continual Reference to Socrates — The cover page to Søren Kierkegaard s university thesis. On the Concept of Irony with Continual Reference to Socrates (Danish: Om Begrebet Ironi med stadigt Hensyn til Socrates) is Søren Kierkegaard s university thesis paper that he submitted in… …   Wikipedia

  • Quine's paradox — is a paradox concerning truth values, attributed to W.V.O. Quine. It is related to the liar paradox as a problem, and it purports to show that a sentence can be paradoxical even if it is not self referring and does not use demonstratives or… …   Wikipedia

  • Egbert B. Gebstadter — is a fictional author who appears in the indexes (and sometimes in the text) of books by Douglas R. Hofstadter. For each Hofstadter book, there is a corresponding Gebstadter book. His name is derived from GEB , the abbreviation for Hofstadter s… …   Wikipedia

  • Diagonal lemma — In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self referential sentences in certain formal theories of the natural numbers specifically those theories that are strong enough to represent all… …   Wikipedia

  • Quine (computing) — A quine s output is exactly the same as its source code A quine is a computer program which takes no input and produces a copy of its own source code as its only output. The standard terms for these programs in the computability theory and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”