Those rules, Aristotle pointed out, rest on certain self-evident laws, such as the law of identity (whatever else it is, A is always A), the law of contradiction (A cannot be both B and not B), and the law of “excluded middle.”a But in the end, all inferences that are true have to come in two forms.
