Logic / Logic 083 · Atom · ~20 seconds
Existential Import
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
The Aristotelian interpretation assumes universal statements are about non-empty classes; the Boolean interpretation doesn't. The choice decides which square relations survive.
Show
"All trespassers will be fined" — true, useful, and possibly about nobody. Boole's point.
Watch for
Modern logic is Boolean by default. When a problem says "traditional standpoint," the rules change.