Does intuitionistic logic challenge LEM but not LB?
I think this is the case because:
- Someone says to you "That bird is white"
- You can't see the bird.
- You don't have constructive proof it is white or not white.
- LEM challenged/broken
However, with the law of bivalance:
- Someone says to you "That bird is white"
- You can't see the bird.
- Regardless of not knowing if the bird is white, the truth value of that proposition must be either true or false.
- LB unchallenged.
Do I understand this correctly or is there a big flaw in my understanding of intuitionistic logic? Thanks in advance