the.com/syllogism
logic's two-step proof where if the setup holds, the conclusion has nowhere to hide.
means A form of deductive reasoning where a conclusion is drawn from two premises that share a common term — classically, all A are B, all B are C, therefore all A are C.
from From Greek syllogismos, "a reckoning together" or "inference," built from syn- ("together") plus logizesthai ("to reason, to compute"), itself rooted in logos ("word, reason, account"). Aristotle gave the term its technical life in his logical works, laying out the patterns of valid inference; it traveled through Latin syllogismus into medieval scholastic logic, where generations of philosophers drilled its forms, and reached English in the late Middle Ages.
- aristotle's baby
- Formalized by Aristotle around 350 BC
- valid yet false
- Perfect logic survives totally bogus premises
- 256 forms
- Only 24 are actually logically valid
- latin mnemonics
- Medieval monks memorized them via Barbara, Celarent
all men are mortal — classical example from aristotle's logic: if all men are mortal and socrates is a man, then socrates is mortal
barbara mood aaa — most famous valid syllogism form in medieval logic: all a are b, all b are c, therefore all a are c