Aristotle: Analytica Priora (Prior Analytics)

λόγος καὶ εἰ διὰ πλειόνων συνάπτοι πρὸς τὸ Β· ταὐτὸ γὰρ ἔσται σχῆμα καὶ ἐπὶ τῶν πολλῶν.

Ὅτι μὲν οὖν οἱ δεικτικοὶ περαίνονται διὰ τῶν προειρημένων σχημάτων, φανερόν· ὅτι δὲ καὶ οἱ εἰς τὸ ἀδύνατον, δῆλον ἔσται διὰ τούτων. Πάντες γὰρ οἱ διὰ τοῦ ἀδυνάτου περαίνοντες τὸ μὲν ψεῦδος συλλογίζονται, τὸ δ᾿ ἐξ ἀρχῆς ἐξ ὑποθέσεως δεικνύουσιν, ὅταν ἀδύνατόν τι συμβαίνῃ τῆς ἀντιφάσεως τεθείσης, οἷον ὅτι ἀσύμμετρος ἡ διάμετρος διὰ τὸ γίνεσθαι τὰ περιττὰ ἴσα τοῖς ἀρτίοις συμμέτρου τεθείσης. Τὸ μὲν οὖν ἴσα γίνεσθαι τὰ περιττὰ τοῖς ἀρτίοις συλλογίζεται, τὸ δ᾿ ἀσύμμετρον εἶναι τὴν διάμετρον ἐξ ὑποθέσεως δείκνυσιν, ἐπεὶ ψεῦδος συμβαίνει διὰ τὴν ἀντίφασιν. Τοῦτο γὰρ ἦν τὸ διὰ τοῦ ἀδυνάτου συλλογίσασθαι, τὸ δεῖξαί τι ἀδύνατον διὰ τὴν ἐξ ἀρχῆς ὑπόθεσιν. Ὅστ᾿ ἐπεὶ τοῦ ψεύδους γίνεται συλλογισμὸς δεικτικὸς ἐν τοῖς εἰς τὸ ἀδύνατον ἀπαγομένοις, τὸ δ᾿ ἐξ ἀρχῆς ἐξ ὑποθέσεως δείκνυται, τοὺς δὲ δεικτικοὺς πρότερον εἴπομεν ὅτι διὰ τούτων περαίνονται τῶν σχημάτων, φανερὸν ὅτι καὶ οἱ διὰ τοῦ ἀδυνάτου συλλογισμοὶ διὰ τούτων ἔσονται τῶν σχημάτων. Ὡσαύτως δὲ καὶ οἱ ἄλλοι πάντες οἱ ἐξ ὑποθέσεως· ἐν ἅπασι γὰρ ὁ μὲν συλλογισμὸς γίνεται πρὸς τὸ μεταλαμβανόμενον, τὸ δ᾿ ἐξ ἀρχῆς περαίνεται δι᾿ ὁμολογίας ἤ τινος ἄλλης ὑποθέσεως. Εἰ δὲ τοῦτ᾿ ἀληθές, πᾶσαν ἀπόδειξιν καὶ πάντα συλλογισμὸν ἀνάγκη γίνεσθαι διὰ τριῶν τῶν προειρημένων σχημάτων. Τούτου δὲ δειχθέντος δῆλον ὡς ἅπας τε συλλογισμὸς ἐπιτελεῖται διὰ τοῦ πρώτου σχήματος καὶ ἀνάγεται εἰς τοὺς ἐν τούτῳ καθόλου συλλογισμούς.

Ἔτι τε ἐν ἅπαντι δεῖ κατηγορικόν τινα τῶν ὅρων εἶναι καὶ τὸ καθόλου ὑπάρχειν· ἄνευ γὰρ τοῦ καθόλου ἢ οὐκ ἔσται συλλογισμὸς ἢ οὐ πρὸς τὸ κείμενον, ἢ τὸ ἐξ ἀρχῆς αἰτήσεται. Κείσθω γὰρ τὴν μουσικὴν ἡδονὴν εἶναι σπουδαίαν. Εἰ μὲν οὖν ἀξιώσειεν ἡδονὴν εἶναι σπουδαίαν μὴ