Analytica Posteriora (Posterior Analytics)
Φανερὸν δὲ καὶ ἐὰν ὦσιν αἱ προτάσεις καθόλου ἐξ ὧν ὁ συλλογισμός, ὅτι ἀνάγκη καὶ τὸ συμπέρασμα ἀΐδιον εἶναι τῆς τοιαύτης ἀποδείξεως καὶ τῆς ἁπλῶς εἰπεῖν ἀποδείξεως. οὐκ ἔστιν ἄρα ἀπόδειξις τῶν φθαρτῶν οὐδ᾿ ἐπιστήμη ἁπλῶς, ἀλλ᾿ οὕτως ὥσπερ κατὰ συμβεβηκός, ὅτι οὐ καθόλου αὐτοῦ ἐστὶν ἀλλὰ ποτὲ καὶ πῶς. Ὅταν δ᾿ ᾖ, ἀνάγκη τὴν ἑτέραν μὴ καθόλου εἶναι πρότασιν καὶ φθαρτήν, φθαρτὴν μὲν ὅτι καὶ τὸ συμπέρασμα οὔσης, μὴ καθόλου δὲ ὅτι ᾧ μὲν ἔσται ᾧ δ᾿ οὐκ ἔσται ἐφ᾿ ὧν, ὥστ᾿ οὐκ ἔστι συλλογίσασθαι καθόλου, ἀλλ᾿ ὅτι νῦν. Ὁμοίως δ᾿ ἔχει καὶ περὶ ὁρισμούς, ἐπείπερ ἐστὶν ὁ ὁρισμὸς ἢ ἀρχὴ ἀποδείξεως ἢ ἀπόδειξις θέσει διαφέρουσα ἢ συμπέρασμά τι ἀποδείξεως. Αἱ δὲ τῶν πολλάκις γινομένων ἀποδείξεις καὶ ἐπιστῆμαι, οἷον σελήνης ἐκλείψεως, δῆλον ὅτι ᾗ μὲν τοιαίδ᾿ εἰσίν, ἀεί εἰσιν, ᾗ δ᾿ οὐκ ἀεί, κατὰ μέρος εἰσίν. Ὥσπερ δ᾿ ἡ ἔκλειψις, ὡσαύτως τοῖς ἄλλοις.
〈البرهان يتعلق بالنتائج الثابتة أبدا〉
ومن البين الظاهر أنه إن كانت المقدمات التى منها يكون القياس كلية، فمن الاضطرار أن تكون أيضا نتيجة مثل هذا البرهان، ونتيجة البرهان على الإطلاق هى دائمة. فليس إذن برهان على الأشياء الفاسدة، ولا علم أيضا على الإطلاق، اللهم إلا أن يكون بطريق العرض، من قبل أن ليس البرهان له بالكلية، لكن فى وقت ما، وعلى جهة ما. ومتى كان البرهان موجودا، فقد يلزم ضرورةً أن تكون إحدى المقدمات ليست كلية وتكون فاسدة (أما فاسدة فمن قبل أنه إذا كانت موجودة فالنتيجة أيضا تكون موجودة؛ وأما أنها ليست كلية، فمن قبل أن هذا الشى من الأشياء التى يكون 〈فيها هذا〉 موجودا، وهذا الآخر لا يكون موجودا) ولهذا السبب لا سبيل 〈إلى تحصيل〉 الكلية، لكن أنه الآن — وكذلك حالها فى التحديد أيضا، من قبل أن التحديد إما أن يكون مبدأ البرهان، وإما أن يكون برهانا متغيرا فى الوضع، وإما أن تكون نتيجة ما للبرهان. — وأما البراهين والعلوم والأشياء التى تحدث وتكون دفعات كثيرة بمنزلة البرهان والعلم بكسوف القمر، فمن البين أن البراهين: أما من حيث هى لمثل هذا، هى موجودة دائما؛ فأما من حيث ليست 〈موجودة دائما〉 فهى جزئية. والحال فى البراهين على الكسوف كالحال فى الأشياء الأخر الباقية.