II. Zależności statystyczne

Marek Jerzy. Minakowski, Prehistoria logiki formalnej

I. Fragmenta prearistotelicorum

6. Katalog fragmentów logicznych znalezionych w pismach prearystotelików

63. Platon, Parmenides 161c3–6

Jeżeli Jedno nie jest niczemu podobne, nie może uczestniczyć w równości.

Parmenides, Arystoteles:

^161c3Καὶ μὴν οὐδ' αὖ ἴσον γ' ἐστὶ τοῖς ἄλλοις· εἰ γὰρ εἴη ⁴ἴσον, εἴη τε ἂν ἤδη καὶ ὅμοιον ἂν εἴη αὐτοῖς κατὰ τὴν ⁵ἰσότητα. ταῦτα δ' ἀμϕότερα ἀδύνατα, εἴπερ μὴ ἔστιν ἕν.

⁶᾿Αδύνατα.

1.

οὐδ' αὖ ἴσον […] ἐστὶ τοῖς ἄλλοις (161c3)

ἕν ∥ ἴσον τοῖς ἄλλοις

Jedno ∥ równe innym

2., 3., R2.2.5

2.

εἰ […] εἴη ἴσον, εἴη τε ἂν ἤδη καὶ ὅμοιον ἂν εἴη αὐτοῖς (161c3–4)

ἕν ∦ ἴσον τοῖς ἄλλοις → ἕν ∦ ὅμοιον τοῖς ἄλλοις

Jedno ∦ równe innym → Jedno ∦ podobne innym

Zał.

3.

ταῦτα […] ἀδύνατα (161c5)

ἕν ∥ ὅμοιον τοῖς ἄλλοις

Jedno ∥ podobne innym

Zał.

(Witwicki)

— No tak. I ono też nie jest równe innym rzeczom. Bo gdyby było równe, to już by było i podobne do nich ze względu na tę równość. A to jest niemożliwe jedno i drugie, jeżeli nie istnieje Jedno.

— Niemożliwe.

(Jowett)

Again, it is not equal to the others; for if it were equal, then it would at once be and be like them in virtue of the equality; but if one has no being, then it can neither be nor be like?

It cannot.