Digital Corpus for Graeco-Arabic Studies

Aristotle: Analytica Priora (Prior Analytics)

〈الرفع إلى المحال فى الشكل الثانى〉

فقد تبين أن كل المسائل تتبين فى الشكل الأول بالخلف ما خلا الكلية الموجبة، فإنها لا تتبين فى هذا الشكل بالخلف، ولكنها تتبين فى الشكل الثانى والثالث. وبيان ذلك ألا تكون ا موجودة فى كل ٮ، وأن تكون ا موجودة فى كل حـ. فإذا كان ذلك هكذا، فإنه يجب أن تكون حـ غير موجودة فى كل ٮ، وذلك محال، لأنه تبين أن حـ موجودة فى كل ٮ. فإذن الموضوع كذب؛ فإذن نقيضة صدق: وهو أن ا موجودة فى كل ٮ. — فإذن إن كان الموضوع ضدها يريد أن ينتج فإنه يكون قياس وينتج المحال؛ غير أنه يتبين لنا ما نريد بيانه. لأنه إن كانت ا غير موجودة فى شىء من ٮ وموجودة فى كل حـ، فإن حـ غير موجودة فى شىء من ٮ، وذلك محال، فإذن هو كذب أن تكون ا غير موجودة فى شىء من ٮ. ولكن ليس إذا كان ذلك كذبا كان ضده صدقا: أعنى بذلك أن تكون ا موجودة فى كل ٮ.

فإذا أردنا أن نبين أن ا موجودة فى بعض ٮ، فإنه ينبغى أن يكون موضوعنا أن ا غير موجودة فى شىء من ٮ، ثم نأخذ أنها موجودة فى كل حـ؛ لأنه إذا أخذت هذه المقدمات يجب أن تكون حـ غير موجودة فى شىء من ٮ. فإن كان ذلك محالا، فإنه يجب لا محالة أن تكون ا موجودة فى بعض ٮ. — فإن كان موضوعنا أن ا غير موجودة فى بعض ٮ، فإنه يعرض ما عرض فى الشكل الأول. — وأيضا، ليوضع أن ا موجودة فى بعض ٮ غير موجودة فى شىء من حـ، فيلزم ضرورةً أن تكون حـ غير موجودة فى بعض ٮ، ولكنها كانت موجودة فى كلها. فإذن موضوعنا كذب. فإذن ا غير موجودة فى شىء من ٮ.

فإذا أردنا أن نبين أن ا غير موجودة فى كل ٮ، فليكن موضوعنا أن ا فى كل ٮ، وغير موجودة فى شىء من حـ، فيلزم ضرورة أن تكون حـ غير موجودة فى شىء من ٮ. وذلك محال. فهو إذن صدق أن يقال إن ا غير موجودة فى كل ٮ.

فقد تبين أن جميع المقاييس التى بالخلف تكون فى الشكل الثانى.