Talk:Indirect self-reference

Philosophy: Logic / Language Low‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Logic
	Philosophy of language

Linguistics: Philosophy of language

	Linguistics portal This article is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by Philosophy of language task force.

[Untitled]

Cute. Indirect self-reference indirectly self-references itself. Should this be a real article? -- Wapcaplet

yes Vera Cruz

Perhaps some more clear explanations in regards to the "when quined" and "yields a false" examples are in order? Darquis 23:38, 5 March 2006 (UTC)[reply]

Of particular interest is the quine

"yields a false statement when preceded by its quotation" yields a false statement when preceded by its quotation

which forms a paradoxical statement without using pronouns or any method of direct self-reference.

I beleive "its" is indeed a pronoun, could that sentance be worded more clearly? 170.171.1.5 21:04, 27 September 2006 (UTC)[reply]

Exactly. "Its" is a possessive pronoun! Matt2h

whether its is a pronoun or not, it is a form of self reference. This contradicts what the section is trying to prove. I wonder we can infer the "its" the same way as the sentence infers a "this" in the beginning. So in other words change the sentence from:

[this] yields a false statement when preceded by its quotation

to

[this] yields a false statement when preceded by [its] quotation

Now the question is, do the implied pronouns not get preprocessed by our brain and added in for clarity? So is this not just a hacky self reference?

Incorrect example

I believe this text is incorrect:

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.)

In particular, there is no difference between Scheme and lambda-calculus for the given example, so I'm going to remove the second part. In Scheme, and in most call-by-value functional languages (all that I know of), lambda-abstractions are considered values, and are thus not further reduced, even if the are arguments of an application. If you disagree even after reading the explanation, please discuss it here before editing back in the text I removed. --Blaisorblade (talk) 06:32, 15 December 2010 (UTC)[reply]

References

I remember reading most of this in "Godel, Escher and Bach: An Eternal Golden Braid" by Douglas Hofstadter. Should this reference be added? DrJamesEast (talk) 04:50, 8 January 2013 (UTC)[reply]

move to Quine (computing)

badly needs cleanup (uncited) and probably should not be its own article. I would move to a subsection of either self-reference or Quine (computing) -- probably the latter given that the way the article is written heavily emphasizes logic/CS examples. Any thoughts, please post here, else I will WP:BOLD move to Quine soon. Thanks! Caleb Stanford (talk) 21:31, 19 November 2024 (UTC)[reply]