Forms for Syllogisms

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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
Snapshots
Details
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].
References
[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." en.wikipedia.org/wiki/Syllogism.
Permanent Citation
"Forms for Syllogisms"
http://demonstrations.wolfram.com/FormsForSyllogisms/
Wolfram Demonstrations Project
Published: June 16 2016