RichardKennaway comments on Truth and the Liar Paradox - Less Wrong

4 Post author: casebash 02 September 2014 02:05AM

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

Comments (43)

You are viewing a single comment's thread. Show more comments above.

Comment author: RichardKennaway 08 September 2014 11:03:39AM *  2 points [-]

One can easily add some content and get something easily deducible to be true, yet which has clearly absurd implications. For example, "Either this sentence is false or you should give me all your money."

In more formal terms, if for every sentence Q there a sentence P such that P is equivalent to "either P is false or Q is true", then every Q is provable and the system is inconsistent.

Comment author: CJF 13 September 2014 01:03:28AM 0 points [-]

So, what's the "content" in your example? I don't see that the example sentence has any content and so I don't see how it's relevant. If one were to say, "It is false." the natural response would be, "Huh?" or "What's the 'it'." There's nothing there that can be false. it's the same with the sentence, "This sentence is false." (Or, for that matter, "This sentence is true.") In order for something to be true or false, there need be something referred to.

I understand the stakes here and the ultimate conclusions that Godel came to with a related inquiry, but I can't get past the fact that there needs to be some content for the sentence to be admitted to the true or false game.

Comment author: RichardKennaway 13 September 2014 06:02:34PM 1 point [-]

So, what's the "content" in your example?

The part that says "you should give me all your money". This is a clearly meaningful, contentful sentence. (Unfortunately for me, a false one.) Embedded in the reflexive sentence, it gives a reflexive sentence containing content. However, such sentences render the system inconsistent, so excluding empty circularities like "this sentence is false" is insufficient to resolve the problem of deciding what circularities can be admitted.