... true or false -- it's just a name! Similarly, ... or false either -- it's just a predicate! That ... is to say, it's a *category mistake* to ... learning symbolic logic. It's just unfortunate that no ... recommend Barwise & Etchemendy's Language, Proof & Logic, which ...