Against the Professors, Books I-VI of Against the Learned Section 94

καίτοι πρὶν τούτων καὶ πρὸς τὰς ὑποβεβηκυίας αὐτῶν ἀρχὰς οὐκ ὀλίγα δυνατόν ἐστι λέγειν, οἷον ὅταν φῶσιν εὐθεῖαν εἶναι γραμμὴν τὴν ἐξ ἴσου τοῖς ἑαυτῆς μέρεσι κειμένην. ἵνα γὰρ τὰ ἄλλα παρ- ῶμεν, ἐκεῖνο μὲν συμφανές ἐστιν ὅτι τῆς γενικῆς γραμ- μῆς μὴ οὔσης οὐδὲ εὐθεῖα γραμμὴ γένοιτʼ ἄν ὡς γὰρ ζῴου μὴ ὄντος οὐδὲ ἄνθρωπος ἔστι καὶ ἀνθρώπου μὴ ὅντος οὐδὲ Σωκράτης ἔστιν, οὕτω τῆς γενικῆς ἀναιρου- μένης γραμμῆς συνανῄρηται καὶ ἡ ἐπίπεδος εὐθεῖα γραμ- μή.

Yet before doing so, much can also be said against their subordinate principles, for example when they say that a straight line is one that lies evenly with respect to its own parts. To pass over the other points, this much is evident: if the generic line does not exist, neither could a straight line exist. For just as, if animal does not exist, neither does man, and if man does not exist, neither does Socrates, so, when the generic line is abolished, the straight line in a plane is abolished with it.

Cependant, avant cela, on peut aussi opposer bien des arguments à leurs principes subordonnés, par exemple lorsqu’ils disent que la ligne droite est celle qui repose également par rapport à ses propres parties. Pour laisser de côté le reste, une chose est manifeste: si la ligne générique n’existe pas, aucune ligne droite ne saurait exister. De même que, s’il n’existe pas d’animal, il n’existe pas davantage d’homme, et que, s’il n’existe pas d’homme, Socrate n’existe pas non plus, de même, la ligne générique une fois abolie, la ligne droite plane est abolie avec elle.