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

Page 315