Aristotle: Analytica Priora (Prior Analytics)

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

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