شرح المنظومة: تفاوت میان نسخه‌ها

از جمله موضوعات مهم منطقی، تقسیم قضیه مسوره‎ به حقیقیه و خارجیه و دیگری تقسیم قضیه حملیه موجبه به حقیقیه، خارجیه و ذهنیه است. تقسیم قضیه‎ به‎ سه قسم حقیقیه، خارجیه و ذهنیه‎ را‎ می‎‎توان یک مسئله‎ منطقی‎ مستقل دیگری جدای از‎ طبقه‎‎بندی مثنی تلقی نمود که هم به‎لحاظ مبنا و هم به‎لحاظ کاربرد و استعمال‎، متمایز‎ از تقسیم‎بندی ثنایی است. از‎ این‎ طبقه‌بندی‎، دو‎ تقریر‎ صورت گرفته است: در تقریر نخست متأخرین‎ به‎ پیروی‎ از‎ ابهری، تقریری از‎ طبقه‎‎بندی مثلث ارائه داده‌اند که بر مبنای آن، مقسم، قضیه حملیه موجبه است؛ درحالی‎که در طبقه‌بندی سابق، قضیه حملیه مسوره (اعم از سالبه و موجبه)، مقسم بود.  

[[سبزواری، هادی|ملا هادی سبزواری]] در «اللئالي المنتظمة»، تقسیم‎بندی مثلث را پذیرفته است و قضیه حملیه مسوره را بر اساس ظرف وجود موضوع، بر سه قسم دانسته است: حقیقیه، خارجیه‎ و ذهنیه‎. اما وی در «غرر الفرائد»، ملاک تمایز قضایای ثلاث را محمول قضیه معرفی کرده است و نه ظرف‎ وجود موضوع. در‎ واقع، [[سبزواری، هادی|حاجی سبزواری]] برای‎ رفع‎ اشکالات متعددی که متوجه تقریر نخست از قضایای ثلاث شده است، سعی نموده است تقسیم‎بندی را بر اساس محمول قضیه تحلیل کند و نه ظرف وجود موضوع. این تقریر نزد برخی‎ از معاصرین نیز مقبول افتاده است<ref>ر.ک: فرامرز قراملکی، احد، ص41-38</ref>.