It is false. He is saying it with the intention to create a paradox, not with the intention to insincerely deceive, and thus, is not lying. He is also not telling the truth, but that isn't relevant. The point is that he is not lying.
Originally posted by doodinthemood It is false. He is saying it with the intention to create a paradox, not with the intention to insincerely deceive, and thus, is not lying. He is also not telling the truth, but that isn't relevant. The point is that he is not lying.
I believe what the original poster was driving at was that the statement "I am lying" is undecidable. However, given Godel's original statement:
"For any consistent formal, computably enumerable theory that proves basic arithmetical truths, an arithmetical statement that is true but not provable in the theory can be constructed. That is, any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete." (http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems)
I'm not sure the English language and it's grammar constitute are consistent, formal, or computably enumerable enough to use this terminology.
Originally posted by agryson but it says is _his_ statement true or false.
and it is false, as he is not aiming to deceive. The paradox attempted at fails as it doesn't recognise you can not tell the truh and not lie at the same time.
"his statement" refers to the statement made by the man, namely, "I am lying." His statement does not include the initial "a man walks up to you and says," as he did not say that.
He is saying it with the intention to create a paradox, not with the intention to insincerely deceive
How do you know what his intentions are? What if he is insane, believes he is telling the truth, and insincerely tries to deceive you? Then it would be a true statement.
There is enough information given to either prove that no matter what the man's intentions, the statement itself must be true, or that no matter what the man's intentions, the statement itself must be false. I suppose that could be a big hint 🙂