Aristotle: Analytica Priora (Prior Analytics)

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

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