شهاب الدین سهروردی (587-549 ه.ق) در کتاب مهم خود، حکمه الاشراق، ادعا می کند که نظریه قیاسات ارسطو را با کاهش تعداد قواعد آن ساده کرده است، به گونه ای که با همین تعداد اندک قواعد، اعتبار تمام ضرب ها قابل اثبات است. این کار (ساده سازی نظریه قیاسات ارسطو) با تحویل تمام قضایای سالب حملی و جزئی به قضایای موجب کلی و ارائه دو قاعده فرازبانی، یکی برای شکل دوم و دیگری برای شکل سوم قیاس صورت گرفته است. این مقاله به شرح بخش غیرموجه نظریه قیاس سهروردی پرداخته است و ادعای او را در مورد ساده کردن نظریه قیاس ارسطو بررسی می کند.