Forms for Syllogisms

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration shows categorical propositions, syllogistic figures, and 256 syllogistic forms, of which 24 are valid syllogisms.

Contributed by: Izidor Hafner (June 2016)
Open content licensed under CC BY-NC-SA



The letters A, E, I, and O have been used since the medieval schools to form mnemonic names for the forms as follows: "Barbara" stands for AAA, "Celarent" for EAE, and so on [4].


[1] L. Carroll, Symbolic Logic and the Game of Logic, New York: Dover Publications, 1958.

[2] I. M. Copi and C. Cohen, Introduction to Logic, 9th ed., New York: Macmillan Publications, 1994 pp. 214–218.

[3] J. M. Bocheński, A History of Formal Logic, 2nd ed. (I. Thoma, trans. and ed.), New York: Chelsea Publishing Company, 1970 p. 235.

[4] Wikipedia. "Syllogism."

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.