أبو علي سينا
القياس 396
الشفاء ( المنطق )
والذي عندنا في هذا « 1 » أنه إن عنى بقوله : لا خفيف ولا ثقيل ، السلبين « 2 » جميعا ؛ فيكتفى باستثناء نقيض أيهما شئت ، حتى ينتج نقيض الآخر . وإن عنى بذلك إثبات الواسطة بين الأمرين ، وقد عبر عنه بالسلبين ، فالتالي معنى واحد في الحقيقة « 3 » ليس فيه كثرة أجزاء . ومع ذلك فإن استثناء أحدهما أيضا يكفى . فإن « 4 » إثبات أحد الطرفين رفع « 5 » الوسط ، كما أن نقض « 6 » أحد الشرطين يوجب نقض « 7 » المجتمع . فإن سلب الجزء سلب بالقوة للمجتمع من حيث هو مجتمع . « 8 » الضرب الخامس في « 9 » المشهور : استثناء نقيض المقدم من غير تام « 10 » اللزوم . هذا لا تجب له نتيجة في المشهور . فإن التالي إذا كان أعم لزوما ، فليس إذا رفع المقدم أوجب رفع التالي ، إذ التالي موجود مع غير « 11 » المقدم ؛ وهذا كقولهم : إن كان زيد منتقلا ، فهو متغير . لكنه ليس بمنتقل ، فليس يلزم أنه متغير أوليس بمتغير . فإنه إن لم يكن منتقلا ، جاز أن يكون متغيرا في الكيف ، وأن لا يكون . الضرب السادس : من استثناء عين « 12 » تال من « 13 » متصل ، ناقض اللزوم . لا ينتج . وليكن « 14 » مثاله : لكنه متغير ، فليس يلزم « 15 » أنه منتقل ، « 16 » أوليس « 17 » بمنتقل . الضرب السابع : استثناء نقيض مقدم ما هو تام « 18 » اللزوم . فينتج : نقيض التالي . وذلك لأنه يصير تاليا ، « 19 » ويصير ما كان تاليا مقدما . وعلى ما علمنا . والحكم في هذا الضرب هو الحكم في الثالث .
--> ( 1 ) هذا : هذه سا ( 2 ) السلبين : سلبين س . ( 3 ) في الحقيقة : بالحقيقة س . ( 4 ) فإن : في عا ( 5 ) رفع : يرفع ع ( 6 ) نقض : نقيض ع ، عا . ( 7 ) نقض : نقيض ع ( 8 ) مجتمع : للمجتمع ب ، م . ( 9 ) في : من س ( 10 ) تام : تمام ع . ( 11 ) غير : عين س ، ه ؛ رفع سا . ( 12 ) عين : غير بخ ، د ، ن ( 13 ) من : ساقطة من س . ( 14 ) وليكن : ولكن س ( 15 ) يلزم : يلزمه سا ( 16 ) منتقل : متصل س ( 17 ) ليس : ساقطة من سا . ( 18 ) تام : تال م . ( 19 ) تاليا : تاليه م .