Syllogism Barbara Socks

Description: "Aristotle's Prior Analytics in one picture. A gold point for Socrates sits inside the circle of humans, inside the circle of mortal beings: deduction made visible, with the predicate-logic version underneath. The most famous syllogism, Barbara: all humans are mortal, Socrates is human, therefore Socrates is mortal. Drawn as nested Euler circles with the formal proof ∀x (H(x) → M(x)), H(s) ⊢ M(s). For logic students, philosophy majors, law students, debaters, math teachers and anyone who loves a valid argument. A classic gift for teachers, graduates and Aristotle fans.