Aristotle: Analytica Priora (Prior Analytics)

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

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

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