SYLLOGISM: Online program for Aristotelian Logic

2024-07-03

SYLLOGISM: This site allows online experimentation with Aristotelian term logic, especially syllogistic reasoning. All the rules of Aristotelian logic have been implemented.Thus automatic proofs are possible. There is also a construction of semantic models of Aristotelian logic.

This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ancient logic is also presented.