Aristotle: Analytica Priora (Prior Analytics)

δ᾿ ἄνθρωπον τὸ Δ, ὡσαύτως λαμβάνει τὸ μὲν Α ἤτοι ἐν τῷ Β ἢ ἐν τῷ Γ εἶναι (ἅπαν γὰρ ζῷον θνητὸν ἢ ὑπόπουν ἢ ἄπουν ἐστί), κατὰ δὲ τοῦ Δ τὸ Α (τὸν γὰρ ἄνθρωπον ζῷον θνητὸν εἶναι ἔλαβεν)· ὥστ᾿ ὑπόπουν μὲν ἢ ἄπουν εἶναι ζῷον ἀνάγκη τὸν ἄνθρωπον, ὑπόπουν δ᾿ οὐκ ἀνάγκη, ἀλλὰ λαμβάνει· τοῦτο δ᾿ ἦν ὃ ἔδει πάλιν δεῖξαι. Καὶ τοῦτον δὴ τὸν τρόπον ἀεὶ διαιρουμένοις τὸ μὲν καθόλου συμβαίνει αὐτοῖς μέσον λαμβάνειν, καθ᾿ οὗ δ᾿ ἔδει δεῖξαι καὶ τὰς διαφορὰς ἄκρα. Τέλος δέ, ὅτι τοῦτ᾿ ἔστιν ἄνθρωπος ἢ ὅ τι ποτ᾿ ἂν ᾖ τὸ ζητούμενον, οὐδὲν λέγουσι σαφές, ὥστ᾿ ἀναγκαῖον εἶναι· καὶ γὰρ τὴν ἄλλην ὁδὸν ποιοῦνται πᾶσαν, οὐδὲ τὰς ἐνδεχομένας εὐπορίας ὑπολαμβάνοντες ὑπάρχειν. Φανερὸν δ᾿ ὅτι οὔτ᾿ ἀνασκευάσαι ταύτῃ τῇ μεθόδῳ ἔστιν, οὔτε περὶ συμβεβηκότος ἢ ἰδίου συλλογίσασθαι, οὔτε περὶ γένους, οὔτ᾿ ἐν οἷς ἀγνοεῖται τὸ πότερον ὧδε ἢ ὧδε ἔχει, οἷον ἆρ᾿ ἡ διάμετρος ἀσύμμετρος. Ἐὰν γὰρ λάβῃ ὅτι ἅπαν μῆκος ἢ σύμμετρον ἢ ἀσύμμετρον, ἡ δὲ διάμετρος μῆκος, συλλελόγισται ὅτι ἀσύμμετρος ἢ σύμμετρος ἡ διάμετρος. Εἰ δὲ λήψεται ἀσύμμετρον, ὃ ἔδει συλλογίσασθαι, λήψεται. Οὐκ ἄρα ἔστι δεῖξαι· ἡ μὲν γὰρ ὁδὸς αὕτη, διὰ ταύτης δ᾿ οὐκ ἔστιν. Τὸ ἀσύμμετρον ἢ σύμμετρον ἐφ᾿ οὗ Α, μῆκος Β, διάμετρος Γ. Φανερὸν οὖν ὅτι οὔτε πρὸς πᾶσαν σκέψιν ἁρμόζει τῆς ζητήσεως ὁ τρόπος, οὔτ᾿ ἐν οἷς μάλιστα δοκεῖ πρέπειν, ἐν τούτοις ἐστὶ χρήσιμος.

Ἐκ τίνων μὲν οὖν αἱ ἀποδείξεις γίνονται καὶ πῶς, καὶ εἰς ὁποῖα βλεπτέον καθ᾿ ἕκαστον πρόβλημα, φανερὸν ἐκ τῶν εἰρημένων·

πῶς δ᾿ ἀνάξομεν τοὺς συλλογισμοὺς εἰς τὰ προειρημένα σχήματα, λεκτέον ἂν εἴη μετὰ ταῦτα· λοιπὸν γὰρ ἔτι τοῦτο τῆς σκέψεως. Εἰ γὰρ τήν τε γένεσιν τῶν συλλογισμῶν θεωροῖμεν καὶ τοῦ εὑρίσκειν ἔχοιμεν δύναμιν, ἔτι