Aristotle: Analytica Priora (Prior Analytics)

δέχεται αὐτῷ ὑπάρχειν. Οἷς δ᾿ αὐτὸ μὴ ἐνδέχεται, οὐκ ἐκληπτέον διὰ τὸ ἀντιστρέφειν τὸ στερητικόν. Διαιρετέον δὲ καὶ τῶν ἑπομένων ὅσα τε ἐν τῷ τί ἐστι καὶ ὅσα ὡς ἴδια καὶ ὅσα ὡς συμβεβηκότα κατηγορεῖται, καὶ τούτων ποῖα δοξαστικῶς καὶ ποῖα κατ᾿ ἀλήθειαν· ὅσῳ μὲν γὰρ ἂν πλειόνων τοιούτων εὐπορῇ τις, θᾶττον ἐντεύξεται συμπεράσματι, ὅσῳ δ᾿ ἂν ἀληθεστέρων, μᾶλλον ἀποδείξει. δεῖ δ᾿ ἐκλέγειν μὴ τὰ ἑπόμενα τινί, ἀλλ᾿ ὅσα ὅλῳ τῷ πράγματι ἕπεται, οἷον μὴ τί τινὶ ἀνθρώπῳ ἀλλὰ τί παντὶ ἀνθρώπῳ ἕπεται· διὰ γὰρ τῶν καθόλου προτάσεων ὁ συλλογισμός. Ἀδιορίστου μὲν οὖν ὄντος ἄδηλον εἰ καθόλου ἡ πρότασις, διωρισμένου δὲ φανερόν. Ὁμοίως δ᾿ ἐκλεκτέον καὶ οἷς αὐτὸ ἕπεται ὅλοις, διὰ τὴν εἰρημένην αἰτίαν. Αὐτὸ δὲ τὸ ἑπόμενον οὐ ληπτέον ὅλον ἕπεσθαι, λέγω δ᾿ οἷον ἀνθρώπῳ πᾶν ζῷον ἢ μουσικῇ πᾶσαν ἐπιστήμην, ἀλλὰ μόνον ἁπλῶς ἀκολουθεῖν, καθάπερ καὶ προτεινόμεθα· καὶ γὰρ ἄχρηστον θάτερον καὶ ἀδύνατον, οἷον πάντα ἄνθρωπον εἶναι πᾶν ζῷον ἢ δικαιοσύνην ἅπαν ἀγαθόν. Ἀλλ᾿ ᾧ ἕπεται, ἐπ᾿ ἐκείνου τὸ παντὶ λέγεται. Ὅταν δ᾿ ὑπό τινος περιέχηται τὸ ὑποκείμενον ᾧ τὰ ἑπόμενα δεῖ λαβεῖν, τὰ μὲν τῷ καθόλου ἑπόμενα ἢ μὴ ἑπόμενα οὐκ ἐκλεκτέον ἐν τούτοις (εἴληπται γὰρ ἐν ἐκείνοις· ὅσα γὰρ ζῴῳ, καὶ ἀνθρώπῳ ἕπεται, καὶ ὅσα μὴ ὑπάρχει, ὡσαύτως), τὰ δὲ περὶ ἕκαστον ἴδια ληπτέον· ἔστι γὰρ ἄττα τῷ εἴδει ἴδια παρὰ τὸ γένος· ἀνάγκη γὰρ τοῖς ἑτέροις εἴδεσιν ἴδια ἄττα ὑπάρχειν. Οὐδὲ δὴ τῷ καθόλου ἐκλεκτέον οἷς ἕπεται τὸ περιεχόμενον, οἷον ζῴῳ οἷς ἕπεται ἄνθρωπος· ἀνάγκη γάρ, εἰ ἀνθρώπῳ ἀκολουθεῖ τὸ ζῷον, καὶ τούτοις ἅπασιν ἀκολουθεῖν. Οἰκειότερα δὲ ταῦτα τῆς τοῦ ἀνθρώπου ἐκλογῆς. Ληπτέον δὲ καὶ τὰ ὡς ἐπὶ τὸ πολὺ ἑπόμενα καὶ οἷς ἕπεται· τῶν γὰρ ὡς ἐπὶ τὸ πολὺ προβλημάτων καὶ ὁ συλλογισμὸς ἐκ τῶν ὡς ἐπὶ τὸ πολὺ προτάσεων, ἢ πασῶν ἢ τινῶν· ὅμοιον γὰρ ἑκάστου τὸ συμπέρασμα ταῖς ἀρχαῖς. Ἔτι τὰ