Online Syllogism Solver
This page features an automation of categorical syllogistic logic, a web based syllogistic machine for exploring fallacies, figures, terms, and modes of syllogisms. Syllogistic logic was first developed by Aristotle and later refined by the Scholastics during the Middle Ages. Use of this syllogistic machine is self-explanatory. An exciting version of Stoic logic coming soon!