Can we know (an epistemological question) that the laws of logic hold true in the real world? The classical ‘law of the excluded middle' asserts p or not-p, where p stands for any proposition. For example, if p stands for the proposition ‘it is raining’, then, it is raining or it is not raining, but it can't be doing both or neither. That seems reasonable, but is it always true (which it would have to be if it were a law)? How about borderline cases? Can we know, for example, whether a man with 26 hairs on his head is bald or is not bald? Don't we need something in between p and not-p, such as 'sort-of p'?
