<logic, philosophy of science> name given by medieval logicians to a categorical syllogism whose standard form may be designated as IAI-3. Example: Some nutritious dinners are vegetarian delights, and all nutritious dinners are well-rounded meals, so some well-rounded meals are vegetarian delights. This is one of fifteen forms in which any syllogism is valid.

[A Dictionary of Philosophical Terms and Names]


Try this search on OneLook / Google

Nearby terms: directed set « directive use of language « direct realism « disamis » discriminated union » disjoint sets » disjoint union