Analytica Posteriora (Posterior Analytics)
Ὥσπερ δὲ ὑπάρχειν τὸ Α τῷ Β ἐνεδέχετο ἀτόμως, οὕτω καὶ μὴ ὑπάρχειν ἐγχωρεῖ. Λέγω δὲ τὸ ἀτόμως ὑπάρχειν ἢ μὴ ὑπάρχειν τὸ μὴ εἶναι αὐτῶν μέσον· οὕτω γὰρ οὐκέτι ἔσται κατ᾿ ἄλλο τὸ ὑπάρχειν ἢ μὴ ὑπάρχειν. Ὅταν μὲν οὖν ἢ τὸ Α ἢ τἢ καὶ ἄμφω, οὐκ ἐνδέχεται τὸ Α τῷ Β πρώτως μὴ ὑπάρχειν. Ἔστω γὰρ τὸ Α ἐν ὅλῳ τῶ Γ. Οὐκοῦν εἰ τὸ Β μή ἐστιν ἐν ὅλῳ τῷ Γ (ἐγχωρεῖ γὰρ τὸ μὲν Α εἶναι ἔν τινι ὅλῳ, τὸ δὲ Β μὴ εἶναι ἐν τούτῳ), συλλογισμὸς ἔσται τοῦ μὴ ὑπάρχειν τὸ Α τῷ Β· εἰ γὰρ τῷ μὲν Α παντὶ τὸ Γ, τῷ δὲ Β μηδενί, οὐδενὶ τῶν Β τὸ Α. Ὁμοίως δὲ καὶ εἰ τὸ Β ἐν ὅλῳ τινί ἐστιν, οἷον ἐν τῷ Δ· τὸ μὲν γὰρ Δ παντὶ τῷ Β ὑπάρχει, τὸ δὲ Α οὐδενὶ τῶν Δ, ὥστε τὸ Α οὐδενὶ τῶν Β ὑπάρξει διὰ συλλογισμοῦ, Τὸν αὐτὸν δὲ τρόπον δειχθήσεται καὶ εἰ ἄμφω ἐν ὅλῳ τινί ἐστιν. Ὅτι δ᾿ ἐνδέχεται τὸ Β μὴ εἶναι ἐν ᾧ ὅλῳ ἐστὶ τὸ Α, ἢ πάλιν τὸ Α ἐν ᾧ τὸ Β, φανερὸν ἐκ τῶν συστοιχιῶν, ὅσαι μὴ ἐπαλλάττουσιν ἀλλήλαις. Εἰ γὰρ μηδὲν τῶν ἐν τῇ Α Γ Δ συστοιχίᾳ κατὰ μηδενὸς κατηγορεῖται τῶν ἐν τῇ Β Ε Ζ, τὸ δ᾿ Α ἐν ὅλῳ ἐστὶ τῷ Θ συστοίχῳ ὄντι, φανερὸν ὅτι τὸ Β οὐκ ἔσται ἐν τῷ Θ· ἐπαλλάξουσι γὰρ αἱ συστοιχίαι. Ὁμοίως δὲ καὶ εἰ τὸ Β ἐν ὅλῳ τινί ἐστιν. Ἐὰν δὲ μηδέτερον ᾖ ἐν ὅλῳ μηδενί, μὴ ὑπάρχῃ δὲ τὸ Α τῷ Β, ἀνάγκη ἀτόμως μὴ ὑπάρχειν. Εἰ γὰρ ἔσται τι μέσον, ἀνάγκη θάτερον αὐτῶν ἐν ὅλῳ τινὶ εἶναι. Ἣ γὰρ ἐν τῷ πρώτῳ σχήματι ἢ ἐν τῷ μέσῳ ἔσται ὁ συλλογισμός. Εἰ μὲν οὖν ἐν τῷ πρώτῳ, τὸ Β ἔσται ἐν ὅλῳ τινί (καταφατικὴν γὰρ δεῖ τὴν πρὸς τοῦτο γίνεσθαι πρότασιν), εἰ δ᾿ ἐν τῷ μέσῳ, ὁπότερον ἔτυχεν· πρὸς ἀμφοτέροις γὰρ ληφθέντος τοῦ στερητικοῦ γίνεται συλλογισμός· ἀμφοτέρων δ᾿ ἀποφατικῶν οὐσῶν οὐκ ἔσται.
Φανερὸν οὖν ὅτι ἐνδέχεταί τε ἄλλῳ μὴ ὑπάρχειν ἀτόμως, καὶ πότ᾿ ἐνδέχεται καὶ πῶς, εἰρήκαμεν.
〈القضايا السالبة غير ذوات الأوساط〉
وكما أنه قد يمكن أن تكون ا موجودة لـ ٮ بغير انقطاع، كذلك قد يمكن ألا يوجد لها أيضا، وأعنى بأن يكون الشىء موجوداً أوغير موجود بغير انقطاع هوألا يكون بينهما وسط، فإنه على هذا النحو لا يمكن الشىء موجودا أوغير موجود من أجل شىء آخر. فأما متى كانت ا أو ٮ فى كل الشىء أو كليهما، فغير ممكن أن تكون ا موجودة لـ ٮ أولا؛ وإلا فلتكن ا فى كل حـ. فإذن إن كانت ٮ ليست فى كل حـ (وذلك أنه قد يمكن أن تكون ا فى كل شىء وتكون ٮ غير موجودة فى هذا)، فيكون من ذلك قياس على أن ا غير موجودة لـ ٮ. فإنه إن كانت حـ على كل ا وغير موجودة لشىء من ٮ فـ ا تكون ولا على شىء من ٮ. ولذلك يضا إن كانت حـ فى كل شىء مثل أن تكون فى ى، وذلك أن الـ ى تكون موجودة فى كل ٮ و ا، ولا على شىء من ى. فـ ا إذن تكون غير موجودة لشىء من ٮ بقياس. وبهذا النحو بعينه يتبين إن كانتا كلتاهما فى كل شىء. — أما أن ٮ قد يمكن ألا تكون فى الشىء الذى ا فى كله أولا تكون ا أيضا فى ما ٮ فى كله، فهو بين ظاهر من الأشياء التى لا تبدل الرتبة بعضها لبعض. وذلك أنه إن كان ولا واحدة من التى فى رتبة ا حـ ى تحمل ولا على شىء من التى فى رتبة ٮ هـ ى، وكانت ا فى كل الـ ط التى هى من رتبتها، فظاهر أن ٮ لا تكون موجودة فى ط، وإلا تبدل اللتان فى الرتبتين.
وكذلك إن كانت ٮ أيضا فى كل الشىء، وكانت ا غير موجودة لـ ٮ، فمن البين أن لا وجودها لها بغير انقطاع. وذلك أنه إن كان بينهما أوسط ما، فقد يلزم ضرورةً أن يكون أحدهما فى كل الشىء ويكون قياس إما فى الشكل الأول وإما فى الثانى. فإن كان فى الشكل الأول فـ ٮ هى التى تكون فى كل الشىء إذ كانت المقدمة التى هى عند هذه قد يجب أن تكون موجبة. وإن كان فى الأوسط فأيهما اتفق. وذلك أن القياس قد يكون أيهما أخذت سالبة. وأما إن كانتا كلتاهما سالبتين، فلا يكون قياس.
فمن البين إذاً أنه قد يمكن أن يكون شىء آخر غير موجود لشىء آخر. فأما متى يكون وكيف ذلك فقد خبرنا به.