This site is devoted to the formal aspects of traditional Aristotelian logic.
The Aristotelian system together with its enhancements has been the predominant logic in Europe during more than 2000 years.
Aristotle's logic is a perfect formal system of its own, which is independent of modern
propositional or predicate logic. This site is a "living proof" for this assertion which
has been put forward convincingly by Freytag-Löringhoff, Lukasiewicz, Smiley, Corcoran and many other scholars since more than 50 years.
Our online program provides a platform for experimentation and research on Aristotelian logic.
We have implemented the classical syllogistic theory by means of a rule based computer program
which realises the modern approach of considering Aristotle's logic as a "system of natural deduction."