#vacuous-truth

⇄ For ordinary speech, Aristotle was right: “All S are P” presupposes there are some S

Modern logic reads "All S are P" as "for anything, if it is S, it is P". If nothing is S, the statement comes out true automatically. So "All the unicorns in my garden are pink" is true, and so is "All…