Aristotle: Analytica Priora (Prior Analytics)

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

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