Aristotle: Analytica Priora (Prior Analytics)

تأليف الممكن فى الشكل الأول

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

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