برادر است » عين دانستن اين است كه او برادر دارد ، يا مشتمل بر دانستن آن است . پس در اينجا در نتيجه چيزى اعرف از مقدمهى صغرى وجود ندارد . و اگر چنين نباشد و برادر داشتن او امر مجهولى باشد كه نياز به تبيين دارد ، پس در اين صورت معنى اين سخنت كه « زيد برادر است » را درست تصوّر نكردهاى . امثال اين امور را اصلا نبايد قياس ناميد ، چه رسد به اينكه آنها را براهين بناميم .
( 89 ) أما الاستثناء المذكور فلا يخلو : إذا استثنى فقال : لكنه ليس بزوج - أى ليس له حد الزوجية - إما أن يقول ذلك لمقدمة غير موجبة لذاتها أن يكون ليس بزوج ، فيكون العلم بهذه المقدمة غير يقينى ؛ فلا تكون النتيجة بأنه فرد من جهة هذا البيان يقينية . و إما أن يكون علم بذلك للعلة الموجبة لأنه ليس بزوج - و لا علة لذلك إلا فقدان حد الزوج ؛ و ليس يمكن أن يفقد حد الزوج إلا بأن يؤجد أولا حد الفرد - فيكون هذا القياس مما لا فائدة فيه : لأنه ينتج ما قد علم قبل الاستثناء . و إنما يفيد من القياس الاستثنائى ما ينتج ما يعلم بعد الاستثناء .
( 89 ) امّا قياس استثنايى مذكور از دو حال خارج نيست : 83 وقتى كسى استثناء مىكند و مىگويد : لكن آن زوج نيست - يعنى : حدّ زوجيّت را ندارد - يا اين مقدّمه را از طريق مقدمهاى مىگويد كه ذاتا زوج نبودن را ايجاب نمىكند ، كه در اين صورت علم به آن مقدمه غير يقينى خواهد بود و نتيجه نيز مبنى بر اينكه آن فرد است يقينى نخواهد بود . و يا به اين مقدمه از طريق علّت موجبهى زوج نبودن علم حاصل مىكند - و زوج نبودن علّتى جز فقدان حدّ زوجيت ندارد ، و ممكن نيست كه فقدان زوجيت حاصل شود مگر اينكه قبل از آن حدّ فرديت وجود داشته باشد - پس اين قياس مفيد فايده نيست ، زيرا نتيجهى آن چيزى است كه قبل از استثناء معلوم است ؛ در حالىكه قياس استثنايى آنگاه مفيد فايده است كه نتيجهى آن بعد از استثناء معلوم شود .
( 90 ) و أما قياس الخلف فإنما يفيد برهان الإن لأنه يبين صدق شىء بكذب نقيضه لأيجابه المحال . و هذه كلها بأمور خارجة . لكنه فى قوته أن يعود إلى المستقيم فيكون منه ما فى قوته أن يكون برهانا .
( 90 ) امّا قياس خلف مفيد برهان انّ است ، زيرا در برهان خلف صدق چيزى توسط كذب
برهان شفا ( فارسى ) — صفحة 81
مساهمون: أبو علي سينا
ص٨١