Analytica Posteriora (Posterior Analytics)
Εἴδη μὲν οὖν εἶναι ἢ ἕν τι παρὰ τὰ πολλὰ οὐκ ἀνάγκη, εἰ ἀπόδειξις ἔσται, εἶναι μέντοι ἓν κατὰ πολλῶν ἀληθὲς εἰπεῖν ἀνάγκη· οὐ γὰρ ἔσται τὸ καθόλου, ἂν μὴ τοῦτο ᾖ· ἐὰν δὲ τὸ καθόλου μὴ ᾖ, τὸ μέσον οὐκ ἔσται, ὥστ᾿ οὐδ᾿ ἀπόδειξις. Δεῖ ἄρα τι ἓν καὶ τὸ αὐτὸ ἐπὶ πλειόνων εἶναι μὴ ὁμώνυμον. Τὸ δὲ μὴ ἐνδέχεσθαι ἅμα φάναι καὶ ἀποφάναι οὐδεμία λαμβάνει ἀπόδειξις, ἀλλ᾿ ἢ ἐὰν δέῃ δεῖξαι καὶ τὸ συμπέρασμα οὕτως. Δείκνυται δὲ λαβοῦσι τὸ πρῶτον κατὰ τοῦ μέσου, ὅτι ἀληθές, ἀποφάναι δ᾿ οὐκ ἀληθές. Τὸ δὲ μέσον οὐδὲν διαφέρει εἶναι καὶ μὴ εἶναι λαβεῖν, ὡς δ᾿ αὕτως καὶ τὸ τρίτον. Εἰ γὰρ ἐδόθη, καθ᾿ οὗ ἄνθρωπον ἀληθὲς εἰπεῖν, εἰ καὶ μὴ ἄνθρωπον ἀληθές, ἀλλ᾿ εἰ μόνον ἄνθρωπον ζῷον εἶναι, μὴ ζῷον δὲ μή· ἔσται γὰρ ἀληθὲς εἰπεῖν Καλλίαν, εἰ καὶ μὴ Καλλίαν, ὅμως ζῷον, μὴ ζῷον δ᾿ οὔ. Αἴτιον δ᾿ ὅτι τὸ πρῶτον οὐ μόνον κατὰ τοῦ μέσον λέγεται ἀλλὰ καὶ κατ᾿ ἄλλου διὰ τὸ εἶναι ἐπὶ πλειόνων, ὥστ᾿ οὐδ᾿ εἰ τὸ μέσον καὶ αὐτό ἐστι καὶ μὴ αὐτό, πρὸς τὸ συμπέρασμα οὐδὲν διαφέρει. τὸ δ᾿ ἅπαν φάναι ἢ ἀποφάναι ἡ εἰς τὸ ἀδύνατον ἀπόδειξις λαμβάνει, καὶ ταῦτα οὐδ᾿ ἀεὶ καθόλου, ἀλλ᾿ ὅσον ἱκανόν, ἱκανὸν δ᾿ ἐπὶ τοῦ γένους. Λέγω δ᾿ ἐπὶ τοῦ γένους οἷον περὶ ὃ γένος τὰς ἀποδείξεις φέρει, ὥσπερ εἴρηται καὶ πρότερον.
Ἐπικοινωνοῦσι δὲ πᾶσαι αἱ ἐπιστῆμαι ἀλλήλαις κατὰ τὰ κοινά. Κοινὰ δὲ λέγω οἷς χρῶνται ὡς ἐκ τούτων ἀποδεικνύντες, ἀλλ᾿ οὐ περὶ ὧν δεικνύουσιν οὐδ᾿ ὃ δεικνύουσιν. Καὶ ἡ διαλεκτικὴ πάσαις. Καὶ εἴ τις καθόλου πειρῷτο δεικνύναι τὰ κοινά, οἷον ὅτι ἅπαν φάναι ἢ ἀποφάναι, ἢ ὅτι ἴσα ἀπὸ ἴσων, ἢ τῶν τοιούτων ἄττα. Ἡ δὲ διαλεκτικὴ οὐκ ἔστιν οὕτως ὡρισμένων τινῶν, οὐδὲ γένους τινὸς ἑνός. Οὐ γὰρ ἂν ἠρώτα· ἀποδεικνύντα γὰρ οὐκ ἔστιν ἐρωτᾶν διὰ τὸ τῶν ἀντικειμένων ὄντων μὴ δείκνυσθαι τὸ αὐτό. Δέδεικται δὲ τοῦτο ἐν τοῖς περὶ συλλογισμοῦ.
〈المصادرات〉
فأما وجود الصور، أو وجود شىء واحد خارج عن الكثرة إن كان البرهان مزمعا أن يكون، فليس هو شيئا تدعو إليه الضرورة. وأما القول بأن الضرورة قد تدعو فى ذلك إلى أن يوجد شىء واحد على الكثير فصادق؛ وإن لم يكن الأمر الكلى موجودا إن لم يكن هذا موجودا. وإن لم يكن الكلى موجودا أو ليس يكون الأوسط موجودا، فإذن ولا البرهان أيضا. فقد يجب إذاً أن يكون شىء واحد بعينه محمولا على الكبير، ليس على طريق الاتفاق فى الاسم.
فأما القول بأنه غير ممكن أن يحكم على شىء واحد بالإيجاب والسلب معا؛ فإنه ليس يأخذها ولا برهان واحد، اللهم إلا أن تدعو الحاجة إلى أن يتبين أن النتيجة هذه حالها. وقد يتبين عندما يقتصون أن الأول قد يصدق على الأوسط بالإيجاب؛ وأما بالسلب فلا يصدق. وأما الأوسط فلا فرق فى أمره أن يؤخذ أنه موجود أو غير موجود؛ وكذلك الثالث أيضا. وذلك أنه إن سلم أن ما يصدق عليه القول بأنه إنسان قد يصدق عليه القول بأنه حيوان، وإن كان قد يصدق أيضا القول بذلك على ماهو الإنسان، إلا أن الإنسان هو حيوان، وليس هو لا حيوان، فيكون القول إذن صادقا فى قالياس، وإن كان فى لاقالياس على مثال واحد أنه حيوان وليس هو لا حيوان. والسبب فى هذا هوأن الأول ليس إنما يقال على الأوسط فقط، لكن على أشياء أخر، من قبل أنه قد يقال على أشياء كثيرة. فإذن ولا فرق فى أمر النتيجة إن كان الأوسط موجودا هو وليس هو.
فأما القول بأن على كل شىء إما موجبة وإما سالبة فإنه قد يأخذه البرهان السائق إلى المحال. وليس أخده لهذا دائما على طريق الكلية، لكن بمبلغ ما يكون كافيا، وهو كاف فى جنس جنس، وأعنى فى الجنس بمنزله ما هو فى الجنس الذى نأتى فيه بالبراهين، كما قيل فيما تقدم أيضا.
وقد يشارك جميع العلوم بعضها بعضا فى الأمور العامية، وأعنى بالعامية التى يستعملونها على أنهم منها يبينون، لا لما فيه يبينون، ولا أيضا ما إياه يبينون.
والجدل لجميعها، وإن كان يوجد شىء ما يلتمس بالكلية تتبين الأمور العامية، مثال ذلك أنه لكل شىء: إما موجبة وإما سالبة، وإن نقص من المتساوية متساوية أو شىء من أمثال هذه. وأما صناعة الجدل فليس حالها حالا أنها للأشياء المحدودة، ولا أيضا لجنس ما محدود، وإلا لم يكن بالتى تسأل ولا سؤالا. وذلك أن الذى يبرهن ليس له أن يسأل من قبل أنه إذا كانت أشياء متقابلة لا يتبين شىء واحد بعينه وقد يتبين هذا فى «المقاييس».