Syllogism Barbara Tapestries

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.

Description: This scientific diagram shows three nested circles, mortals, humans and Socrates, illustrating Aristotle's classic syllogism, on a deep dark background. Aristotle (384–322 BC) founded formal logic in his Prior Analytics. The syllogism, a conclusion drawn from two premises, remained the basis of logical reasoning for two thousand years and still underlies mathematics and computing. Made for thinkers, philosophers, scientists and lovers of the history of ideas, it suits a library, study or office.