قیاس صوری
قیاس صوری syllogism
مجموعۀ قضایای فلسفی که ارسطو در اثرش در زمینۀ منطق به دست داده است. این مجموعۀ قضایا حالات و شرایطی را برقرار می‌کند که طی آن‌ها از مقدمه‌هایی معین (کبرا و صغرای قیاس) نتیجه‌ای معتبر از راه استدلال قیاسی حاصل می‌شود یا نمی‌شود. استدلال زیر نمونه‌ای از قیاس صوری معتبر است: «همۀ انسان‌ها میرنده‌اند، سقراط انسان است، پس سقراط میرنده است».