<logic, philosophy of science> name given by medieval logicians to any categorical syllogism whose standard form may be designated as AAA-1. Example: All finches are birds, and all cardinals are finches, so all cardinals are birds. This most common of all patterns in syllogistic reasoning is one of only fifteen forms that are always valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google