شرح برهان شفا - مصباح یزدی، محمد تقی - الصفحة ١٩٥ - قياس مقسِّم (مقسَّم)
و قد يكون علي سبيل الشكل الثاني، و الشّرط بين أجزائه و أجزاء الحمليات هو الشرط الكائن بين حمليّتين في الشكل الثاني، مثاله: «كلُّ متحرك إمّا أن يكون نباتاً و إمّا أن يكون جماداً، و لا شيء منالمعقولات بنبات و لا جماد و لا حيوان.» و لا يكون علي سبيل الشكل الثالث».[١]
قطبالدين(رحمه الله) در درة التاج گويد:
«در قياس مقسّم: و آن از قياسات مركّبه مفصوله است و او آن است كي صغري او منفصله باشد متشارك الأجزاء ـ در موضوع ـ كي اضافت كرده باشند بآن حملياتي بعدد اجزاء انفصال، جنانك: دائماً إما كل أب، أو كل أج و كل بد و كل جهـ ، نتيجه دهد كي: دائماً إمّا كل أد أو كل أهـ، جه صغري با حمليه اولي نتيجه دهد. كي: دائماً إمّا كلّ أد أو كل أج. و اين نتيجه با حمليه ثانيه نتيجه دهد. كي: دائماً إمّا كلّ أد أوكل أه».[٢]
قطبالدين رازي(رحمه الله) به تفصيل پيرامون «قياس مقسّم» بحث كرده و شرايط آن را يكيك برشمرده است. ما خلاصهاي از سخن او را در اينجا براي استفاده خوانندگان ميآوريم:
* شرايط قياس مقسّم از حيث تقسيم:
١.اشتراك اجزاء انفصال در يكي از دو طرفِ نتيجه
٢.اشتراك حمليات در طرفِ ديگر نتيجه
٣.مساوي بودن تعداد حمليات با اجزاي انفصال
٤.ايجاد تأليف بين هر يك از حمليات و جزئي از اجزاي انفصال
٥.تغاير حدّ اوسط در هرقياس با حد اوسط در قياس ديگر
* شرايط قياس مقسّم از حيث انتاج
١.اشتمال بر شرايط معتبره هر شكلي كه قياس بدان شكل است.
٢.حقيقيه يا مانعة الخلو بودنِ منفصله
٣.ايجاب منفصله
٤.كلّيت منفصله[٣]
عمر بن سهلان ساوي اصطلاح قياس مقسّم را از آنِ افضلِ متأخرين (شيخالرئيس(رحمه الله)) ميداند و ميگويد:
[١] التحصيل، ص١٤٦ ـ ١٤٥. [٢] درّة التاج، ص٤٣٩. [٣] شرح مطالع، ص٣١٨ ـ ٣١٧.