II. Zależności statystyczne

Marek Jerzy. Minakowski, Prehistoria logiki formalnej

I. Fragmenta prearistotelicorum

7. Dodatek 1.: fragmenty logiczne we fragmentach presokratyków

204. Melissos, Fr. 1

Melissos dowodzi, że Byt nie miał początku i nie będzie miał końca.

ἀεὶ ἦν ὅ τι ἦν καὶ ἀεὶ ἔσται. εἰ γὰρ ἐγένετο, ἀναγκαῖόν ἐστι πρὶν γενέσϑαι εἶναι μηδέν· εἰ τοίνυν μηδὲν ἦν, οὐδαμὰ ἂν γένοιτο οὐδὲν ἐκ μηδενός.

1.

ἀεὶ ἦν ὅ τι ἦν

~ τὸ ὄν ἐγένετο

~ byt miał początek

2., 3., 4., R2.2.10

2.

εἰ […] ἐγένετο, ἀναγκαῖόν ἐστι πρὶν γενέσϑαι εἶναι μηδέν

τὸ ὄν ἐγένετο → τὸ ὄν μηδὲν ἦν

byt miał początek → byt był niczym

Zał.

3.

εἰ […] μηδὲν ἦν, οὐδαμὰ ἂν γένοιτο οὐδὲν ἐκ μηδενός

τὸ ὄν μηδὲν ἦν → ~ τὸ ὄν ἐστί

byt był niczym → ~ byt istnieje

Zał.

[4.

τὸ ὄν ἐστί

byt istnieje

Fakt]

(Heinrich)

Zawsze było, co było, i zawsze będzie. Gdyby bowiem było powstało, to przed powstaniem musiałoby być niczem. A gdyby było niczem, to z niczego w żaden sposób nie mogłoby powstać coś.

(Kirk)

It always was whatever it was and it always will be. For if it came to be, it is necessary that before it came into being it was nothing. Now if it was nothing, in no way could anything come to be from nothing.