الباب الثالث في الأقيسة الشرطية الاقترانية وفيه فصول

الأوّل فيما يتركّب من متّصلتين وهو ثلاثة اقسام القسم الأوّل ان يكون الأوسط جزء تامّا من كلّ واحدة منهما وينعقد فيه الاشكال الأربعة لانّ الأوسط ان كان تاليا في الصغرى مقدّما في الكبرى فهو الشكل الأوّل وان كان بالعكس فهو الرابع وان كان تاليا فيهما فهو الثاني وان كان مقدّما فيهما فهو الثالث وشرايط الإنتاج وعدد الضروب وجهة النتيجة وبيان انتاج ما لا يتبيّن بنفسه في كلّ شكل كما في الحمليّات هذا اذا كان القياس من لزوميّتين او اتّفاقيتين بتقدير قياسيّته وامّا في المختلطات من اللزومية والاتفاقية فنفصّل فنقول يشترط في المنتج للسّلب كون الأوسط تاليا في الموجبة اللزومية وفى المنتج للإيجاب كونه مقدّما فيها اما مع كونه تاليا للأصغر في الاتفاقية او مقدّما للاكبر فيها وامّا مع كون الاتفاقية خاصّة امّا الأوّل

ـــــــــــــــــــــــــــــ

فى الرابع فلصدق قولنا لا شي ء من الحمار بفرس بالضّرورة وكلّ مركوب زيد حمار بالضّرورة ما دام مركوب زيد مع كذب لا شي ء من الفرس بمركوب زيد بالضرورة وهذا الكلام مشعر بانه لو اعتبر الضرورة لأجل الوصف انتج الضرورة مع المشروطة في الشكل الرابع ضروريّة وفيه ما فيه قال الباب الثالث في الاقيسة الشرطية الاقترانية اقول كما ان الحمليات فطريات ونظريّات كذلك الشرطيات قد تكون فطريّة كقولنا كلّما كانت الشمس طالعة كان النهار موجودا وقد تكون نظرية كقولنا متى وجد الممكن وجد الواجب الوجود فمسّت الحاجة الى معرفة الاقيسة الشرطية الاقترانية وقد عرفت انّ المراد من القياس الشرطى ما لا يكون مركّبا من حمليّتين سواء كان مركّبا من شرطيّتين او من شرطية وحمليّة امّا تسمية المركّب من الشرطيتين فظاهرة وامّا تسمية المركب من الشرطية والحملية فتسمية الكل باسم الجزء الأعظم ولمّا كان الأحقّ بهذا الاسم من بين اقسامه الخمسة ما يتركّب من متّصلتين لما تقدم من انّ اطلاق الشرطية على المتّصلة حقيقة دون المنفصلة وقع البداية في البحث به وهو على ثلاثة اقسام لأنّ المشترك بينهما امّا ان يكون جزء تامّا منهما اى احد طرفيها امّا مقدّما او تاليا وامّا جزء غير تامّ منهما اى جزء من المقدم والتالى واما جزء تامّا من إحداهما غير تامّ من الاخرى القسم الأوّل ما يكون حدّ الأوسط جزء تامّا من كلّ واحدة من المتّصلتين وينعقد فيه الاشكال الأربعة لان الأوسط إن كان تاليا في الصغرى ومقدّما في الكبرى فهو الشكل الأوّل وان كان بالعكس فهو الرابع وان كان تاليا فيهما فهو الثاني وان كان مقدّما فيهما فهو الثالث وعلى قياس الحمليات شرايط انتاجها حتّى يشترط في الأوّل ايجاب الصغرى وكليّة الكبرى وفى الثاني اختلاف المقدّمتين في الكيف وكلية الكبرى الى غير ذلك وعدد ضروبها الّا الضروب الثّلاثة الاخيرة في الشكل الرابع فانها غير اتية هاهنا وجهة النتيجة من اللزوم والاتفاق فانه ان كانت المقدمتان لزوميّتين كانت النتيجة لزوميّة وان كانتا اتفاقيّتين كانت اتفاقية كما انّ الحمليّتين لو كانتا ضروريّتين كانت النتيجة ضرورية وان كانتا دائمتين كانت دائمة وضروب الشكل الأوّل كاملة بينة بذاتها وضروب الاشكال الباقية تتبيّن بالطّرق المذكورة في الحمليّات من العكس والتبديل والخلف هذا اذا كان القياس من لزوميّتين او اتفاقيّتين بتقدير قياسيّته فان بعضهم نازع في قياسيّته وزعم انه لا فائدة فيه كما سيجى ء فان قلت هاهنا سؤالان احدهما انّ اجزاء الاتفاقيات لا امتياز بينها فلا يتميز الاشكال فيها بعضها عن بعض فلم ينعقد فيها الإشكال الثاني انّ بعضهم ذهب على ما سيجي ء الى انّ القياس المركّب من الاتفاقيّات ليس بمفيد ولا يلزم من عدم الافادة عدم القياسيّة لانّ المعتبر في القياس على ما عرفت من تعريفه استلزامه لقول آخر لافادته ذلك فنجيب عن الأوّل بانا نكتفى في انعقاد الإشكال بالامتياز الوصفى وعن الثاني بان العلة الغائية للقياس على ما عرفت في حدّ القياس الإيصال الى المجهول التصديقى فاذا كانت النتيجة معلومة قبل تركيب القياس كما ستعرفه لم يبق للقياس غاية فلم يكن قياسا وامّا القياس المختلط من اللزومية والاتفاقية ففيه تفصيل وهو انّ المطلوب فيه امّا السالبة كما في الضرب الثاني والرابع من الأوّل وضروب الثاني كلّها والثاني والأخيرين