٤ ـ المؤلف من الحملية والمتصلة
ص ۲۸۵
اصنافه
يجب في هذا النوع أن النوع أن يکون الاشتراک في جزء تام من الحملية غير تام من المتصلة کما تقدمت الاشارة اليه فله قسم واحد لان جزء الحملية مفرد وجزء الشرطية قضية بالاصل فلا يصح فرض أن يکون الجزء المشترک تاما فيهما ولا غير تام فيهما. وهذا واضح.
ولهذا النوع أربعة أصناف لأن المتصلة اما صغري أو کبري وعلى التقديرين فالشرکة اما في مقدم المتصلة او في تاليها فهذه أربعة. والقريب منها الى الطبع صنفان. وهما ما کانت الشرکة فيهما في تالي المتصلة سواء کانت صغري أو کبري.
ص ۲۸۶
طريقة أخذ النتيجة:
ولأخذ النتيجة في جميع هذه الأصناف الأربعة نتبع ما يلي:
١ ـ أن نقارن الحملية مع طرف المتصلة التي وقعت فيه الشرکة فنؤلف منهما قياسا حمليا من أحد الاشکال الاربعة حاويا على شروط الشکل لينتج (قضية حملية).
٢ ـ نأخذ نتيجة التأليف السابق وهي الحملية الناتجة فنجعلها مع طرف المتصلة الآخر الخالي من الاشتراک لنؤلف منهما النتيجة متصلة أحد طرفيها نفس طرف المتصلة الخالي من الاشتراک سواء کان مقدما أو تاليا فيجعل
أيضا مقدما أو تاليا والطرف الثاني الحملية الناتجة من التأليف السابق.
مثاله:
کلما کان المعدن ذهبا کان نادرا.
کل نادر ثمين.
کلما کان المعدن ذهبا کان ثمينا.
فقد ألفنا قياسا حمليا من تالي المتصلة ونفس الحملية أنتج من الشکل الاول (کان المعدن ثمينا). ثم جعلنا هذه النتيجة تاليا للنتيجة المتصلة مقدمها مقدم المتصلة الاولي وهو طرفها الذي لم تقع فيه الشرکة.
مثال ثان:
لا أحد من الاحرار بذليل.
وکلما کانت الحکومة ظالمة فکل موجود في البلد ذليل.
... کلما کانت الحکومة ظالمة فلا أحد من الاحرار بموجود في البلد.
ص ۲۸۷
فقد ألفنا قياسا حمليا من الحملية وتالي المتصلة أنتج من الشکل الثاني (لا أحد من الاحرار بموجود في البلد) جعلنا هذه النتيجة تاليا لمتصلة مقدمها مقدم المتصلة في الاصل وهو طرفها الذي لم تقع فيه الشرکة.
الشروط:
أما شروط انتاج هذه الاصناف الاربعة فلا نذکر منها الا شروط القريب الى الطبع منها وهما الصنفان اللذان تقع الشرکة فيهما في تالي المتصلة سواء کانت صغري أو کبري کما مثلنا لهما. وشرطهما:
أولا أن يتألف من الحملية وتالي المتصلة شکل يشتمل على شروطه المذکورة في القياس الحملي.
ثانيا أن تکون المتصلة موجبة فلو کانت سالبة فيجب أن تحول الى موجبة لازمة لها بنقض محمولها أي تحول الى منقوضة المحمول. وحينئذ يتألف القياس الحملي من الحملية في الأصل ونقيض تالي المتصلة مشتملا على شروط الشکل الذي يکون منه.
مثاله:
ليس البتة اذا کانت الدولة جائرة فبعض الناس أحرار. وکل سعيد حر.
فان المتصلة السالبة الکلية تحول الى منقوضة محمولها موجبة کلية هکذا:
کلما کانت الدولة جائرة فلا شيء من الناس بأحرار.
وبضمها الى الحملية ينتج من الشکل الثاني على نحو ما تقدم في أخذ النتيجة هکذا:
کلما کانت الدولة جائرة فلا شيء من الناس بسعداء.
ص ۲۸۸
(تنبيه)
لهذا النوع وهو المؤلف من الحملية والمتصلة أهمية کبيرة في الاستدلال لا سيما أن قياس الخلف ينحل الى أحد صنفيه المطبوعين. وليکن هذا على بالک فانه سيأتي کيف ينحل قياس الخلف اليه.