Psychohistorian comments on Anime Explains the Epimenides Paradox - Less Wrong

-1 Post author: Eliezer_Yudkowsky 27 May 2009 09:12PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (26)

You are viewing a single comment's thread.

Comment author: Psychohistorian 28 May 2009 12:13:15AM *  1 point [-]

Video may be a wee bit longer than needed to get the point across. And by wee bit, I mean you could cut 7.5 minutes off of it, and it runs for 7:40.

I've always (after a fun paper on this!) thought of this in modal terms. Self-referential statements are not truths about the world; they're truths about ill-defined universes. "This statement is false" doesn't refer to anything; it's its own little world, and consequently truth has no meaning.

Similarly, "This statement is true" really doesn't provide any information. What if it's a false statement? Is there a difference? How can we tell? It's its own self-referential world, and it's unclear what truth even means in that little world, though it's very clear that it does not make the least bit of difference in any world I care about.

Comment author: Eliezer_Yudkowsky 28 May 2009 12:23:33AM 3 points [-]

Video may be a wee bit longer than needed to get the point across.

I believe that's the intended point. Besides, most infinite ordinals are very much larger.

Comment author: Psychohistorian 28 May 2009 12:34:29AM *  3 points [-]

Which is funny, because a ten second clip and a ten-billion-year clip are equally close to approximating infinity.

Comment author: Peter_de_Blanc 28 May 2009 01:53:39AM 1 point [-]

Not in surreal numbers!

Comment author: Peter_de_Blanc 30 May 2009 06:38:47PM 1 point [-]

"This statement is false" doesn't refer to anything; it's its own little world, and consequently truth has no meaning.

What about statements that refer both to themselves and to things in our world, such as "either this sentence is false, or Psychohistorian owes Peter de Blanc $50"?

Comment author: Nick_Tarleton 28 May 2009 12:45:25AM 1 point [-]

This is also how I've always thought about self-referential statements; is there a name for this position? Is it even a position?

Comment author: Psychohistorian 28 May 2009 12:56:29AM 0 points [-]

Modal logic, from what I remember of it, deals with "worlds" of sorts, so it might be possible to express it with modal logic; I don't remember well enough, and I certainly don't recall this being a named position. It does seem like a position, though.

Comment author: MBlume 01 July 2009 08:54:47PM *  0 points [-]

And by wee bit, I mean you could cut 7.5 minutes off of it, and it runs for 7:40.

There's a very pretty bagpipe line that kicks in towards the middle -- wouldn't want to miss that.

Is that the Mingulay Boat Song?