Aristotle: Analytica Priora (Prior Analytics)

τίον ἐστίν. Οὕτω μὲν οὖν οὐκ ἐνδέχεται ὑπολαβεῖν, καθ᾿ ἑκάτερον δὲ τὴν μίαν ἢ κατὰ θάτερον ἀμφοτέρας οὐδὲν κωλύει, οἷον τὸ Α παντὶ τῷ Β καὶ τὸ Β τῷ Δ, καὶ πάλιν τὸ Α μηδενὶ τῷ Γ. Ὁμοία γὰρ ἡ τοιαύτη ἀπάτη καὶ ὡς ἀπατώμεθα περὶ τὰ ἐν μέρει, οἷον εἰ τῷ Β παντὶ τὸ Α ὑπάρχει, τὸ δὲ Β τῷ Γ παντί, τὸ Α παντὶ τῷ Γ ὑπάρξει. Εἰ οὖν τις οἶδεν ὅτι τὸ Α, ᾧ τὸ Β, ὑπάρχει παντί, οἶδε καὶ ὅτι τῷ Γ. Ἀλλ᾿ οὐδὲν κωλύει ἀγνοεῖν τὸ Γ ὅτι ἔστιν, οἷον εἰ τὸ μὲν Α δύο ὀρθαί, τὸ δ᾿ ἐφ᾿ ᾧ Β τρίγωνον, τὸ δ᾿ ἐφ᾿ ᾧ Γ αἰσθητὸν τρίγωνον. Ὑπολάβοι γὰρ ἄν τις μὴ εἶναι τὸ Γ, εἰδὼς ὅτι πᾶν τρίγωνον ἔχει δύο ὀρθάς, ὥσθ᾿ ἅμα εἴσεται καὶ ἀγνοήσει ταὐτόν. Τὸ γὰρ εἰδέναι πᾶν τρίγωνον ὅτι δύο ὀρθαῖς οὐχ ἁπλοῦν ἐστίν, ἀλλὰ τὸ μὲν τῷ τὴν καθόλου ἔχειν ἐπιστήμην, τὸ δὲ τὴν καθ᾿ ἕκαστον. Οὕτω μὲν οὖν ὡς τῇ καθόλου οἶδε τὸ Γ ὅτι δύο ὀρθαί, ὡς δὲ τῇ καθ᾿ ἕκαστον οὐκ οἶδεν, ὥστ᾿ οὐχ ἕξει τὰς ἐναντίας. Ὁμοίως δὲ καὶ ὁ ἐν τῷ Μένωνι λόγος, ὅτι ἡ μάθησις ἀνάμνησις. Οὐδαμοῦ γὰρ συμβαίνει προεπίστασθαι τὸ καθ᾿ ἕκαστον, ἀλλ᾿ ἅμα τῇ ἐπαγωγῇ λαμβάνειν τὴν τῶν κατὰ μέρος ἐπιστήμην ὥσπερ ἀναγνωρίζοντας. Ἔνια γὰρ εὐθὺς ἴσμεν, οἷον ὅτι δύο ὀρθαῖς, ἐὰν εἰδῶμεν ὅτι τρίγωνον. Ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων.

Τῇ μὲν οὖν καθόλου θεωροῦμεν τὰ ἐν μέρει, τῇ δ᾿ οἰκείᾳ οὐκ ἴσμεν, ὥστ᾿ ἐνδέχεται καὶ ἀπατᾶσθαι περὶ αὐτά, πλὴν οὐκ ἐναντίως, ἀλλ᾿ ἔχειν μὲν τὴν καθόλου, ἀπατᾶσθαι δὲ τῇ κατὰ μέρος. Ὁμοίως οὖν καὶ ἐπὶ τῶν προειρημένων· οὐ γὰρ ἐναντία ἡ κατὰ τὸ μέσον ἀπάτη τῇ κατὰ τὸν συλλογισμὸν ἐπιστήμῃ, οὐδ᾿ ἡ καθ᾿ ἑκάτερον τῶν μέσων ὑπόληψις. Οὐδὲν δὲ κωλύει εἰδότα καὶ ὅτι τὸ Α ὅλῳ τῷ Β ὑπάρχει καὶ πάλιν τοῦτο τῷ Γ, οἰηθῆναι μὴ ὑπάρχειν τὸ Α τῷ Γ, οἷον ὅτι πᾶσα ἡμίονος ἄτοκος καὶ αὕτη ἡμίονος οἴεσθαι κύειν ταύτην·