خونجی و پیروان وی، با اثرپذیری از فخر رازی، قضیه محصور را به دو قسم حقیقی و خارجی تقسیم کردهاند. ابهری قسم سومی را تحت عنوان «ذهنی» به دو قسم پیشگفته اضافه میکند. خواجه طوسی و پیروان وی با طرح دیدگاه رقیب به ردّ دیدگاه خونجی میپردازند. تحلیل و تبیین تطوّر تاریخی طبقه بندی گزاره حملی به حقیقی، خارجی، و ذهنی مسئله تحقیق حاضر است. در پرتو تحلیل و تبیین تاریخی این تقسیمبندی، روشن می شود که در این مسئله دو طبقهبندی تحت عنوانی واحد مطرح شدهاند. طبقهبندی نخستْ تقسیم ثنایی، و طبقهبندی دومْ تقسیم ثلاثی نامیده میشود. این پژوهش سهم منطقنگاران دوبخشی قرن هفتم را در بسط و توسع? دانش منطق، با عطف توجّه به مسئلهای معیّن، نشان میدهد.