تلخيص كتاب القياس — صفحة 358

ذلك من المواد إذا أخذنا بدل آ مكونا وبدل ب فاسدا وبدل ج غير مكون وبدل د غير فاسد ، وكان كل مكون فاسدا وكل فاسد مكونا وكذلك كل غير مكون غير فاسد وكل غير فاسد غير مكون ، فأقول إنه إن كان كل شئ إما مكونا وإما غير مكون فواجب أن يكون كل شئ إما فاسدا وإما غير فاسد ، لأنه إن كان كل ما هو مكون فاسدا وما هو / غير مكون غير فاسد وكان كل شئ لا يخلو من أن يكون إما كائنا وإما غير كائن فبين أن كل شئ لا يخلو أن يكون إما فاسدا وإما غير فاسد . وأقول أيضا إنه إذا وضعنا أن الموضوع الواحد بعينه لا يخلو من أن يوجد فيه أحد الزوجين المتقابلين وفرضنا أن أحد جزأي المتقابلين ينعكس على الجزء الآخر من المقابل الآخر ، فأقول إن الجزء الباقي من أحد الزوجين المتقابلين ينعكس على الجزء الآخر من المقابل الآخر . مثال ذلك أنه إذا كان كل شئ إما مكونا « 1 » وإما غير مكون وإما فاسدا وإما غير فاسد وكان كل مكون فاسدا وكل فاسد مكونا ، فأقول إن كل غير مكون غير فاسد وكل غير فاسد غير مكون . برهان ذلك إن لم يكن غير المكون غير فاسد فليكن فاسدا ، ولأن كل شئ قد وضع أنه إما فاسد « 2 » وإما غير فاسد ، فإن كان غير المكون فاسدا وكان قد وضع أن الفاسد ينعكس على المكون - أي أن كل فاسد مكون - فإنه يلزم عن ذلك أن يكون غير المكون مكونا ، وذلك خلف لا يمكن لأنه يأتلف القياس هكذا : غير المكون فاسد وكل فاسد مكون ، النتيجة فكل غير مكون مكون . وبمثل هذا يبين أن غير الفاسد ينعكس على غير المكون .