الشفاء المنطق (القياس) - ابن سينا - الصفحة ٢٩٦
الشكل الأول من متصلتين[١]. شريطته مثل شريطة[٢] الشكل الأول فى الحمليات. و قولنا:[٣] آ ب[٤] و ج د يدل[٥] على حملية تكون من الثمانية[٦].
الضرب الأول من موجبتين كليتين: كلما كان آ ب، فج د؛ و كلما كان ج د، فه ز؛ ينتج[٧]: كلما كان آ ب، فه ز. و هو قياس كامل.
الضرب الثاني من كليتين و الكبرى سالبة: كلما كان آ ب، فج د؛ و ليس البتة إذا كان ج د؛ فه ز؛ ينتج[٨]: ليس البتة إذا كان آ ب، فه ز. و هو قياس كامل.
الضرب الثالث[٩] من موجبتين و الصغرى جزئية: قد يكون إذا كان آ ب، فج د؛ و كلما كان ج د، فه ز؛ ينتج: قد يكون إذا كان آ ب، فه ز.
و هو قياس كامل.
الضرب[١٠] الرابع من جزئية موجبة صغرى و كلية سالبة كبرى: قد يكون[١١] إذا كان آ ب، فج د؛ و ليس البتة إذا كان ج د، فه ز؛ ينتج[١٢]: فليس[١٣] كلما كان آ ب، فه ز. و هو قياس كامل.
و قد يلزم على هذا الشكل شكوك. فإن لقائل أن يقول: إن هذا[١٤] الشكل لا ينتج: فإنا نقول: كلما كان الاثنان فردا فهو عدد، ثم نقول: كلما كان الاثنان عددا فهو زوج، و كلا[١٥] المقدمتين صادقتان[١٦]، فيلزم من هذا[١٧] كلما كان
[١] متصلتين: منفصلتين سا
[٢] شريطته مثل شريطة: شرطية مثل شرطية د، ع؛ شرطية مثل شريطة ن.
[٣] و قولنا: قولنا ع
[٤] آ ب:+ و قولنا ن
[٥] يدل: كل د، س، عا، ن، ه
[٦] الثمانية: الممكنة سا.
[٧] ينتج ... فه ز: ساقطة من د، س، ن.
[٨] ينتج ... فه ز: ساقطة من سا.
[٩] الثالث: ساقطة من م.
[١٠] الضرب: و الضرب ه
[١١] قد يكون: ساقطة من سا.
[١٢] ينتج: و ينتج ب، م
[١٣] فليس: ليس د، س، سا، ع، عا، ن، ه.
[١٤] هذا (الثانية): ساقطة من ع.
[١٥] و كلا: و كلتا س، ه
[١٦] صادقتان: صادقان د
[١٧] هذا: ذلك ب، م.