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