Aristotelian logic has quality syllogism
Syllogism in the first figure
In the Prior Analytics translated by A. J. Jenkins as it appears in volume 8 of the Great Books of the Western World, Aristotle says of the First Figure: "... If A is predicated of all B, and B of all C, A must be predicated of all C." In the Prior Analytics translated by Robin Smith, Aristotle says of the first figure: "... For if A is predicated of every B and B of every C, it is necessary for A to be predicated of every C."Taking a = is predicated of all = is predicated of every, and using the symbolical method used in the Middle Ages, then the first figure is simplified to:
If AaB
possesses quality exhibits quality displays quality features quality has characteristic