3 ms·
Similarly, can the always-liar state that "I have a penny, it is in my left pocket", when the reality is that it's a penny in the right pocket, or a quarter in
by Terr_ 2y ago
Similarly, can the always-liar state that "I have a penny, it is in my left pocket", when the reality is that it's a penny in the right pocket, or a quarter in the left pocket? Who decides which clauses or aspects are separable?
For that matter, if either of them are perfect at their jobs, they are oracles, and could retire by attempting to say something about out the first, second, third, etc. digit of tomorrow's winning lottery number. If they're imperfect at their jobs, then they aren't actually "always" anything.
- robertlagrant 2y agoThe always-truth one would surely just say they didn't know tomorrow's lottery number?
- SilasX 2y agoStupid question: what about defining "lying" as "saying something that, if accepted, moves the believer away from the liar's worldmodel"? (Which I think matches general intuition.) Then you do get information once you know someone always lies (and has a correct worldmodel) because you know to update the opposite direction. I don't know the impact on these puzzles.
- Terr_ 2y ago> what about defining "lying" as "saying something that, if accepted, moves the believer away from the liar's worldmodel"? Then the definition becomes kinda-contradictory: The entity would sometimes tell the truth, because that would be the best choice to divert and ruin your model. So "always lies in a simple way" would become more like "always unhelpful in a superintelligently evil way."
- schoen 2y agoIn some contexts in computer science and computer security, this is also called "answering adversarially".
- SilasX 2y agoThat wouldn’t make it contradictory, it would make “always lying” just as effective a strategy as in the original problem statements. It’s a general problem that “being known to always lie” makes (the goals of) deception harder, and my definition just preserves that problem.
- schoen 2y agoIn Smullyan's formulation, the overall statement uttered by a liar must be logically false, even though it might contain conjuncts that are true, or might convey large amounts of useful and accurate information. For example, Smullyan would allow a liar to say "the sky is blue and cats are cute and 1+1=3". I might have phrased that confusingly when I said that they lie about everything in every statement. I should probably have said that they are never allowed to make any statement that they believe is true.