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?
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?