>the law of the excluded middle, which says something can't be true and false at the same time This is the not excluded middle, it is the "Law of noncontradict

>the law of the excluded middle, which says something can't be true and false at the same time This is the not excluded middle, it is the "Law of noncontradiction" Excluded middle means: either p is true or the negation of p is true https://en.wikipedia.org/wiki/Law_of_noncontradiction https://en.wikipedia.org/wiki/Law_of_noncontradiction