This article introduces some of the basic ideas behind a deductive database based on Aristotelian logic. The database was created by Eyal Mozes and is the basis for his doctoral thesis, completed at the Weizmann Institute in Rehovot, Israel. Aristotelian logic is the area of logic which is concerned which is concerned with rules for reasoning from general premises to specific conclusions, i.e., deductive logic - an area that was founded and almost singlehandedly developed by Aristotle. Today it is common among philosophers and mathematicians to regard it as a special case of predicate calculus. This view, however, is severely mutilated, if not killed, by the latest gadget from the Aristotelian Philosophy Defense Department.
Aristotelian logic is concerned with actual human thought.
There is, however, a deeper motivation for the use of Aristotelian logic. However, stresses Eyal Mozes, they are not rules guiding the deduction - they are premises of the deduction. That is why general facts about these relations were treated as if they are deduction rules, and the four possible types of general facts were not recognized. The thesis consists of 9 chapters. The introductory chapter describes the goals of the thesis, the basic features of the database, and projects the historical influence of traditional philosophical logic vs. modern, mathematical logic.