Cant spot flaw in nested logic in puzzle

In summary: Carl will think "I can see two dragons with brown eyes, Angus and Ben. If I have brown eyes too which is possible, that means Dave can see three dragons with brown eyes."
  • #1
tonyjeffs
34
0
This is not a puzzle question exactly. It's a question about logic that the puzzle illustrates.

There are four dragons. It is known that dragons can have brown eyes but our four all have green eyes. They can see each others eyes, but don't know their own eye colour. They will turn into sparrows if they deduce that they have green eyes. They are safe so long as they don't know their eye colour, or if their eyes are brown. Their names are Angus, Ben, Carl and Dave.
Every dragon knows that every other dragon can plainly see at least two green eyed dragons
Every dragon must therefore know that every other dragon knows that there can not be more than two brown eyed dragons, and one of them must be himself.



Angus thinks "If I have brown eyes, which is possible, I'm safe, but if that is the case, Ben will be thinking "I can see Angus has brown eyes. If I also have brown eyes, that makes two of us, but that means Carl will think "I can see two dragons with brown eyes, Angus and Ben. If I have brown eyes too which is possible, that means Dave can see three dragons with brown eyes." " "

That nested "if" seems perfectly logical in its progression. Each individual step seem (to me) valid. Why does the third level of logically nested speculation give an impossible result. Clearly something is wrong with my (alleged) logic, but I can't get my head around exactly what is wrong. Can anyone grasp and describe the error?

From Angus's perspective, Ben, Carl and Dave have identical status and are therefore interchangeable.
From Angus's perspective of Ben's perspective, Carl and Dave are interchangeable.

Thanks
Tony
 
Physics news on Phys.org
  • #2
First of all you state in the beginning that all the dragons have green eyes. If that is true and each dragon can see "at least two" other dragons, then they each know that a maximum of two dragons may have brown eyes (if they see three others then only they are in question.) Anyhow the color of each dragon's eyes has nothing to do with the color of the other beasties eyes anyway. It's not really a puzzle. There is no train of logic that each dragon can employ that will let them decide their own eye color.

One flaw in your logic is the assumption you give the dragon that dragons are psychic. The result of one dragon's perceptions can't influence that of the other. ( at least not without some communication)
 
  • #3
There seems to be a rule missing. Who says how many dragons MUST be brown or green?

This statement:

"Every dragon must therefore know that every other dragon knows that there can not be more than two brown eyed dragons, and one of them must be himself."

...seems to be deduced, rather than given. I don't follow how you deduced it from what's previously given.
 
  • #4
It's in there:
tonyjeffs said:
It is known that dragons can have brown eyes but our four all have green eyes.

Still this statement does not rule out other colors as possibilities like orange. However the rest of it does imply that brown and green are the only two options.
 
  • #5
Each dragon can see all three other dragons. They can all see each other. They all have green eyes. None of the dragons know this since they don't know their own eye colour. Each dragon can therefore see 3 pairs of green eyes. There are no possible colours besides green and brown.

Consider Dragon A. He doesn't know whether his own eyes are green or brown, so he doesn't know how many green eyed dragons the others can see. But he knows it is at least two.

I hope that's clearer.
 
  • #6
tonyjeffs said:
Each dragon can see all three other dragons. They can all see each other. They all have green eyes. None of the dragons know this since they don't know their own eye colour. Each dragon can therefore see 3 pairs of green eyes. There are no possible colours besides green and brown.

Consider Dragon A. He doesn't know whether his own eyes are green or brown, so he doesn't know how many green eyed dragons the others can see. But he knows it is at least two.

I hope that's clearer.

Much clearer :)

Angus thinks "If I have brown eyes, which is possible, I'm safe"
True
if that is the case, Ben will be thinking "I can see Angus has brown eyes.
True, but note that Angus knows that Ben's eyes are green.
If I also have brown eyes, that makes two of us,
True, remember though that this is a proposition about what Angus assumes Ben may think. Not a proposition about reality. Angus knows that if Carl holds this thought, Carl's thinking is wrong.
but that means Carl will think "I can see two dragons with brown eyes, Angus and Ben.
False, Angus knows that Ben's eyes are green. So He also knows that Carl sees Ben's Green eyes.
If I have brown eyes too which is possible, that means Dave can see three dragons with brown eyes." " "
Also false for the same reason. what Dave can see is not dependent on the other dragon's perceptions at all.

That's what I meant about the psychic comment.
 
  • #7
Yes you got the idea :-)
And I understand what you're saying, but although it obviously is invalid, I still don't really see why "perception of perception of perception" becomes invalid.


"Perception is valid." (Angus thinks...)
"Perception of perception" is valid (Angus thinks that Ben thinks...)
"Perception of perception of perception" invalid.
(Angus thinks that ben thinks that Carl thinks...)

It just seems like it ought to provide a valid consistant result.

Maybe your last two sentences explain it. I'll think about this some more.
 
  • #8
(Angus thinks that ben thinks that Carl thinks...) would be fine but that's not actually what you're doing in the last two steps.

Here you do something more like "compositing" of perceptions, and at the same time ignore part of the data the original dragon knows should be shared by one it is speculating about.

It may help to keep in mind that you could start with any dragon.
 
  • #9
tonyjeffs said:
There are four dragons. It is known that dragons can have brown eyes but our four all have green eyes. They can see each others eyes, but don't know their own eye colour. They will turn into sparrows if they deduce that they have green eyes. They are safe so long as they don't know their eye colour, or if their eyes are brown. Their names are Angus, Ben, Carl and Dave.
Every dragon knows that every other dragon can plainly see at least two green eyed dragons.
If they are equally clever, all of them will turn into sparrows.
If they are different, them the "slowest" will remain dragon.
 
Last edited:
  • #10
As you transition from what Angus thinks to what Ben may think, you stay consistent with your assumptions. Angus doesn't know if he has brown eyes, and he knows that Ben doesn't know if Ben has brown eyes, so that leaves open the possibility of Ben believing that the two of them have brown eyes.

As you transition to what Angus believes that Ben believes of what Carl believes you run into trouble because you somehow believe your first order assumptions still apply. Does Angus have any reason to believe that Ben will believe the other two dragons will believe at most two dragons with Brown eyes exist? Not really. Since Carl could see two brown eyed dragons from Angus' perspective of Ben's perspective and he knows Carl doesn't know his own eye color he's got no reason to discount the proposition Ben could believe that Carl believes there exists 3 brown-eyed dragons.

But you're not actually concluding Dave can see 3 dragons with brown eyes. You're concluding Angus believes that Ben believes that Carl believes that at most 3 dragons with brown eyes can exist. That's a tricky point. :yuck:
 
Last edited:
  • #11
tonyjeffs said:
Angus thinks "If I have brown eyes, which is possible, I'm safe, but if that is the case, Ben will be thinking "I can see Angus has brown eyes. If I also have brown eyes, that makes two of us, but that means Carl will think "I can see two dragons with brown eyes, Angus and Ben. If I have brown eyes too which is possible, that means Dave can see three dragons with brown eyes." " "

That nested "if" seems perfectly logical in its progression. Each individual step seem (to me) valid. Why does the third level of logically nested speculation give an impossible result. Clearly something is wrong with my (alleged) logic, but I can't get my head around exactly what is wrong. Can anyone grasp and describe the error?

There is nothing wrong with your logic. But there is a substantial difference between "is possible" and "is true".

What about saying:

Angus thinks "If I have brown eyes, Ben will be thinking "I can see Angus has brown eyes. If I also have brown eyes, that makes two of us, Carl will think "I can see two dragons with brown eyes, Angus and Ben. If I have brown eyes too, that means Dave can see three dragons with brown eyes. Since this is impossible, then I can't have brown eyes, and I will turn in a sparrow." " "

This is not the whole storie, but I hope it illustrates the point.
 
  • #12
tonyjeffs said:
Angus thinks "If I have brown eyes, which is possible, I'm safe, but if that is the case, Ben will be thinking...

Well, I'm going to try to show you how you could rewrite your sentences in a different way...

First modification:
Angus thinks "If I have brown eyes, which maybe is possible, I'm safe, but if that is the case, Ben will be thinking...

Second: You don't need "if that is the case,". The first "If" means that. So:
Angus thinks "If I have brown eyes, which maybe is possible, I'm safe, but Ben will be thinking...

Third: as you started the sentence using an "If", it is superfluous to say "which maybe is possible". So:
Angus thinks "If I have brown eyes then I'm safe and Ben will be thinking...

The last sounds better.
Hint: try to use "IF" , "THEN", "AND" , "OR" and "NOT" in your sentences.
:smile:
 

1. What is nested logic in a puzzle?

Nested logic in a puzzle refers to the use of multiple layers or levels of conditional statements to solve a problem or complete a task. This means that the outcome of one condition affects the outcome of another condition, creating a complex and interconnected web of logic.

2. Why is it difficult to spot flaws in nested logic in a puzzle?

Spotting flaws in nested logic can be difficult because of the intricate nature of the logic and the potential for small errors to have a big impact on the outcome. Additionally, as the number of layers or levels of logic increases, it becomes more challenging to keep track of all the conditions and their outcomes.

3. How can I improve my ability to spot flaws in nested logic?

One way to improve your ability to spot flaws in nested logic is to practice breaking down complex problems into smaller, more manageable pieces. This can help you identify potential errors and inconsistencies in the logic. Additionally, double-checking your work and getting feedback from others can also be helpful.

4. What are some common flaws in nested logic in puzzles?

Some common flaws in nested logic include overlooking potential outcomes, incorrect placement of conditions, and failing to account for all possible scenarios. Other errors can include using incorrect operators or failing to properly define the scope of a condition.

5. How important is it to spot flaws in nested logic in a puzzle?

Spotting flaws in nested logic is crucial for ensuring the accuracy and effectiveness of a puzzle solution. A single flaw in the logic can lead to incorrect outcomes and render the entire puzzle unsolvable. It is important to thoroughly check for flaws to ensure the puzzle is solved correctly.

Similar threads

Replies
2
Views
2K
  • Programming and Computer Science
2
Replies
37
Views
3K
Replies
12
Views
3K
  • Quantum Physics
Replies
2
Views
838
Replies
8
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
19
Views
2K
  • General Discussion
Replies
16
Views
8K
  • STEM Educators and Teaching
Replies
4
Views
2K
  • Chemistry
Replies
1
Views
917
Back
Top