Aristotle: Analytica Priora (Prior Analytics)

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

فهو بين فى جميع المقاييس التى بالخلف أنه ينبغى أن توضع أبداً نقيضة ما نريد بيانه. وهو بين أيضا أن فى الشكل الثانى قد تبين الموجبة من جهة؛ وفى الشكل الثالث قد تبين الكلية.

〈الفرق بين البرهان بالخلف والبرهان المستقيم〉

والفرق بين البرهان المستقيم والذى بالخلف أن الذى بالخلف يضع ما نريد إبطاله، إذ يسوق إلى كذب مقر به؛ وأما المستقيم فإنه يبتدى من مقدمات مقر بها صدقاً. وكلا البرهانين من مقدمات مقر بها، إلا أن المستقيم يكون من المقدمات التى عنها القياس؛ وأما الذى بالخلف فإحدى مقدمتيه من مقدمات القياس المسقيم، والأخرى نقيضة النتيجة.