Note 26 — Chapter XI · EUTHYPHRON.
Reading edition
Plato, Euthyphron, c. 12, p. 10 A-D. The manner in which Sokrates conducts this argument is over-subtle. Οὐκ ἄρα διότι ὁρώμενον γέ ἐστι διὰ τοῦτο ὁρᾶται, ἀλλὰ τοὐναντίον διότι ὁρᾶται, διὰ τοῦτο ὁρώμενον· οὐδὲ διότι ἀγόμενόν ἐστι, διὰ τοῦτο ἄγεται, ἀλλὰ διότι ἄγεται, διὰ τοῦτο ἀγόμενον· οὐδὲ διότι φερόμενον, φέρεται, ἀλλὰ διότι φέρεται, φερόμενον.
The difference between the meaning of φέρεται and φερόμενόν ἐστι is not easy to see. The former may mean to affirm the beginning of an action, the latter the continuance: but in this case the inference would not necessarily follow.
Compare Aristotel. Physica, p. 185, b. 25, with the Scholion of Simplikius, p. 330, a. 2nd ed. Bekk. where βαδίζων ἔστι is recognised as equivalent to βαδίζει.