Aristotle: Analytica Posteriora (Posterior Analytics)

ὁ δὲ δεύτερος δειχθήσεται. Οὕτω δ᾿ ἂν δεικνύοι, οἷον ὅτι τὸ Δ τῷ μὲν Β παντὶ ὑπάρχει, τῷ δὲ Γ οὐδενί, εἰ ἀνάγκη ὑπάρχειν τι τῷ Β. Καὶ πάλιν εἰ τοῦτο τῷ Γ μὴ ὑπάρξει, ἄλλο τῷ Δ ὑπάρχει, ὃ τῷ Γ οὐχ ὑπάρχει. Οὐκοῦν ἐπεὶ τὸ ὑπάρχειν ἀεὶ τῷ ἀνωτέρω ἵσταται, στήσεται καὶ τὸ μὴ ὑπάρχειν. Ὁ δὲ τρίτος τρόπος ἦν· εἰ τὸ μὲν Α τῷ Β παντὶ ὑπάρχει, τὸ δὲ Γ μὴ ὑπάρχει, οὐ παντὶ ὑπάρχει τὸ Γ ᾧ τὸ Α. Πάλιν δὲ τοῦτο ἢ διὰ τῶν ἄνω εἰρημένων ἢ ὁμοίως δειχθήσεται. Ἐκείνως μὲν δὴ ἵσταται, εἰ δ᾿ οὕτω, πάλιν λήψεται τὸ Β τῷ Ε ὑπάρχειν, ᾧ τὸ Γ μὴ παντὶ ὑπάρχει. Καὶ τοῦτο πάλιν ὁμοίως. Ἐπεὶ δ᾿ ὑπόκειται ἵστασθαι καὶ ἐπὶ τὸ κάτω, δῆλον ὅτι στήσεται καὶ τὸ Γ οὐχ ὑπάρχον.

Φανερὸν δ᾿ ὅτι καὶ ἐὰν μὴ μιᾷ ὁδῷ δεικνύηται ἀλλὰ πάσαις, ὁτὲ μὲν ἐκ τοῦ πρώτου σχήματος, ὁτὲ δὲ ἐκ τοῦ δευτέρου ἢ τρίτου, ὅτι καὶ οὕτω στήσεται· πεπερασμέναι γάρ εἰσιν αἱ ὁδοί, τὰ δὲ πεπερασμένα πεπερασμενάκις ἀνάγκη πεπεράνθαι πάντα.

Ὅτι μὲν οὖν ἐπὶ τῆς στερήσεως, εἴπερ καὶ ἐπὶ τοῦ ὑπάρχειν, ἵσταται, δῆλον. Ὅτι δ᾿ ἐπ᾿ ἐκείνων, λογικῶς μὲν θεωροῦσιν ὧδε φανερόν.

Ἐπὶ μὲν οὖν τῶν ἐν τῷ τί ἐστι κατηγορουμένων δῆλον· εἰ γὰρ ἔστιν ὁρίσασθαι ἢ εἰ γνωστὸν τὸ τί ἦν εἶναι, τὰ δ᾿ ἄπειρα μὴ ἔστι διελθεῖν, ἀνάγκη πεπεράνθαι τὰ ἐν τῷ τί ἐστι κατηγορούμενα. Καθόλου δὲ ὧδε λέγομεν. Ἔστι γὰρ εἰπεῖν ἀληθῶς τὸ λευκὸν βαδίζειν καὶ τὸ μέγα ἐκεῖνο ξύλον εἶναι, καὶ πάλιν τὸ ξύλον μέγα εἶναι καὶ τὸν ἄνθρωπον βαδίζειν. Ἕτερον δή ἐστι τὸ οὕτως εἰπεῖν καὶ τὸ ἐκείνως. Ὅταν μὲν γὰρ τὸ λευκὸν εἶναι φῶ ξύλον, τότε λέγω ὅτι ᾧ συμβέβηκε λευκῷ εἶναι ξύλον ἐστίν, ἀλλ᾿ οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι· καὶ γὰρ οὔτε λευκὸν ὂν οὔθ᾿ ὅπερ λευκόν τι ἐγένετο ξύλον, ὥστ᾿ οὐκ ἔστιν ἀλλ᾿ ἢ κατὰ συμβεβηκός. Ὅταν δὲ τὸ ξύλον λευκὸν εἶναι φῶ, οὐχ ὅτι ἕτερόν