Analytica Priora (Prior Analytics)
فى تأليف القياسات 〈القياسات ذوات الجهة — الأقيسة ذوات المقدمتين الاضطرار يتين〉
ولأن المقدمات المطلقة والاضطرارية والممكنة يخالف بعضها بعضا — وذلك أن أشياء كثيرةً موجودة غير أن وجودها من غير اضطرار، وأشياء أخرى ليست بمضطرة أن تكون، ولا هى موجودة، لكنها يمكن أن تكون — فتبين أن المقاييس المؤلفة من صنف من هذه المقدمات مختلفة، وليس حدودها واحدة، ولكن القياس الاضطرارى من حدود اضطرارية، والمطلق من حدود مطلقة، والممكن من حدود ممكنة.
أما الاضطرارية فقريبة من المطلقة، لأنها بجهات واحدة من ترتيب الحدود التى فى المقدمات الاضطرارية. والمطلقة تكون قياسا أولا تكون. والفرق بينهما أن فى الاضطرارية يزاد اسم الاضطرارعلى الحدود. وأما المطلقة فإنها تقال من غير زيادة شىء.
ورجوع السالبة فى المقدمات الاضطرارية كرجوعها فى المطلقة وبحد واحد يحد فيهما المعقول على الكل ولا على شىء، وفى سائر أنحاء الأشكال تتبين بالعكس نتيجة القياس الاضطرارى على نحو ما تتبينه فيها نتيجة القياس المطلق. وأما فى الشكل الثانى والثالث، إذا كانت الكلية واجبةً والجزئية سالبة، فليس تتبين نتيجة القياس الاضطرارى على نحو ما تتبين نتيجة القياس المطلق. ولكنه يجب أن يقصد إلى الحد الموضوع فى المقدمة الجزئية السالبة؛ فيفرض منه حد لا يكون المحمول مقولاً على شىء منه ويعمل القياس عليه، لأنه يكون اضطراريا على هذه المقدمات. فإذا كان القياس اضطراريا على هذا الحد المفروض، فإنه أيضا اضطرارى على الحد الذى منه فرض هذا، لأن الحد المفروض هو بعض ذلك الحد، ويكون كل واحد من القياسين فى شكله.
Ἐπεὶ δ᾿ ἕτερόν ἐστιν ὑπάρχειν τε καὶ ἐξ ἀνάγκης ὑπάρχειν καὶ ἐνδέχεσθαι ὑπάρχειν (πολλὰ γὰρ ὑπάρχει μέν, οὐ μέντοι ἐξ ἀνάγκης· τὰ δ᾿ οὔτ᾿ ἐξ ἀνάγκης οὔθ᾿ ὑπάρχει ὅλως, ἐνδέχεται δ᾿ ὑπάρχειν), δῆλον ὅτι καὶ συλλογισμὸς ἑκάστου τούτων ἕτερος ἔσται, καὶ οὐχ ὁμοίως ἐχόντων τῶν ὅρων, ἀλλ᾿ ὁ μὲν ἐξ ἀναγκαίων, ὁ δ᾿ ἐξ ὑπαρχόντων, ὁ δ᾿ ἐξ ἐνδεχομένων.
Ἐπὶ μὲν οὖν τῶν ἀναγκαίων σχεδὸν ὁμοίως ἔχει καὶ ἐπὶ τῶν ὑπαρχόντων· ὡσαύτως γὰρ τιθεμένων τῶν ὅρων ἔν τε τῷ ὑπάρχειν καὶ τῷ ἐξ ἀνάγκης ὑπάρχειν ἢ μὴ ὑπάρχειν ἔσται τε καὶ οὐκ ἔσται συλλογισμός, πλὴν διοίσει τῷ προσκεῖσθαι κεῖσθαι τοῖς ὅροις τὸ ἐξ ἀνάγκης ὑπάρχειν ἢ μὴ ὑπάρχειν. Τό τε γὰρ στερητικὸν ὡσαύτως ἀντιστρέφει, καὶ τὸ ἐν ὅλῳ εἶναι καὶ τὸ κατὰ παντὸς ὁμοίως ἀποδώσομεν. Ἐν μὲν οὖν τοῖς ἄλλοις τὸν αὐτὸν τρόπον δειχθήσεται διὰ τῆς ἀντιστροφῆς τὸ συμπέρασμα ἀναγκαῖον, ὥσπερ ἐπὶ τοῦ ὑπάρχειν· ἐν δὲ τῷ μέσῳ σχήματι, ὅταν ᾖ τὸ καθόλου καταφατικὸν τὸ δ᾿ ἐν μέρει στερητικόν, καὶ πάλιν ἐν τῷ τρίτῳ, ὅταν τὸ μὲν καθόλου κατηγορικὸν τὸ δ᾿ ἐν μέρει στερητικόν, οὐχ ὁμοίως ἔσται ἡ ἀπόδειξις, ἀλλ᾿ ἀνάγκη ἐκθεμένους ᾧ τινὶ ἑκάτερον μὴ ὑπάρχει, κατὰ τούτου ποιεῖν τὸν συλλογισμόν· ἔσται γὰρ ἀναγκαίως ἐπὶ τούτων· εἰ δὲ κατὰ τοῦ ἐκτεθέντος ἐστὶν ἀναγκαῖος, καὶ κατ᾿ ἐκείνου τινός· τὸ γὰρ ἐκτεθὲν ὅπερ ἐκεῖνό τί ἐστιν. Γίνεται δὲ τῶν συλλογισμῶν ἑκάτερος ἐν τῷ οἰκείῳ σχήματι.