Re:A liar who always lies says "All my hats are green."
by gpderetta on Monday December 09, 2024 @08:32AM
(#42366131)
Let's say that saying 'all my hats' implies that the set of hats is non empty, then you have the two following statements
We know that the speaker always lies, so both statements must be false: my-hats must be empty, and it must be that it exists at least one hat in my-hat that is not green. This is a contradiction. So either the speaker or the puzzle is not consistent (and uninteresting), or the 'my-hats is not empty' is not a valid assumption.
[ Parent
| on HN ]
Re:A liar who always lies says "All my hats are green."
by rcxdude on Monday December 09, 2024 @08:34AM
(#42366148)
I was initially thinking that, but you can parse it as one statement "my-hats is not empty AND for every hat in my-hats, is-green(hat) is true", in which case it's still consistent for that single statement to be false, and it can be false by my-hats being empty.
Re:A liar who always lies says "All my hats are green."
by gpderetta on Monday December 09, 2024 @08:39AM
(#42366185)
That's a very good point!
Re:A liar who always lies says "All my hats are green."
by nailer on Monday December 09, 2024 @10:26AM
(#42367057)
But ‘my hats is not empty’ is not a statement being made by the liar.
Re:A liar who always lies says "All my hats are green."
by gpderetta on Monday December 09, 2024 @11:25AM
(#42367632)
He said 'all my hats are green' either that statement is to be interpreted to require that the set of hats is not empty or it isn't. In the first case that interpretation would be part of the statement he made.
Re:A liar who always lies says "All my hats are green."
by nailer on Monday December 09, 2024 @04:27PM
(#42370697)
This person‘s argument hinges on trying to make two statements rather than one, I’ll illustrate with a quote:
> We know that the speaker always lies, so both statements must be false: my-hats must be empty, and it must be that it exists at least one hat in my-hat that is not green.
No. Since it is one statement as written, and the rules of common logic are not created by the liar, as I said up in the thread, either possibility is true. The person may have no hats or have one hat that is not green.