= 27d567bc2d48d9f40e9ccc20ea370b15)
JGWeissman comments on Anime Explains the Epimenides Paradox - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (26)
You seem to have written it in English, a language that offers no protections against paradox inducing self reference.
Eliezer wrote the description of the video in E-prime. Vote me up bitchezzz!!!
(kidding)
It's impossible to write "this statement is false" in E-Prime.
This statement fails to match reality.
I prefer, "This statement expresses a falsehood."
I did not create this video and I have no idea who did; someone originally named the file truefalsempeg1.mpg.
The Epimenides Paradox or Liar Paradox says "This statement fails to match reality."
Why did I post this video? Well... type hierarchies supposedly resolve the Epimenides paradox. Using an indefinitely extensible, indescribably infinite, ordinal hierarchy of meta-languages. No meta-language can contain its own truth predicate - no meta-language can talk about the "truth" or "falsity" of its own sentences - and so for every meta-language we need a meta-meta-language.
This video does a pretty good job of depicting how I feel about that: pretty much the same way I feel about the original Epimenides Paradox.
Bonus problem: In what language did I write the description of this video?