Aristotle: Analytica Priora (Prior Analytics)

المقدمة بجزئية سالبة، فإن القياس يكون بقول〈نا إن〉 المجهول والمعلوم ليس يقع عليهما علم واحد، والمعلوم والمجهول أضداد، 〈فإذن〉 بعض الأضداد ليس يقع عليهما علم واحد.

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

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