Summary: The Pre-Aristotelian Formal Logic

Część I - Logika formalna przed Arystotelesem

  1. Wstęp
  2. Objaśnienia ważniejszych pojęć
  3. Wybrane dotychczasowe ujęcia przedarystotelesowej logiki formalnej
  4. Plan badań i metodologia
  5. Opis zgromadzonego materiału źródłowego
  6. Fragmenta praearistotelicorum — przykłady
  7. Analiza wyników
  8. Rozstrzygnięcia
  9. Bibliografia

Część II - Katalog przedarystotelesowych fragmentów logicznych

I. Fragmenta prearistotelicorum

  1. Układ pozycji katalogowej
  2. System przyjęty w formalizacji
  3. Reguły logiczne znalezione u prearystotelików
  4. Kanon pism prearystotelików
  5. Spis znalezionych fragmentów logicznych w pismach prearystotelików
  6. Katalog fragmentów logicznych znalezionych w pismach prearystotelików
  7. Dodatek 1.: fragmenty logiczne we fragmentach presokratyków
  8. Dodatek 2.: fragmenty logiczne w pismach pseudoplatońskich

II. Zależności statystyczne

Marek Jerzy. Minakowski, Prehistoria logiki formalnej

I. Fragmenta prearistotelicorum

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

62. Platon, Parmenides 161a6–b4

Jeżeli są jakiekolwiek rzeczy inne od Jednego, są one niepodobne Jednemu.

Parmenides, Arystoteles:

161a6Καὶ ἀνομοιότης ἄρα ἐστὶν αὐτῷ πρὸς τὰ ἄλλα· τὰ γὰρ 7ἄλλα τοῦ ἑνὸς ἕτερα ὄντα ἑτεροῖα καὶ εἴη ἄν.

Ναί.

Τὰ 8δ' ἑτεροῖα οὐκ ἀλλοῖα;

Πῶς δ' οὔ;

Τὰ δ' ἀλλοῖα οὐκ b1ἀνόμοια;

᾿Ανόμοια μὲν οὖν.

Οὐκοῦν εἴπερ τῷ ἑνὶ ἀνόμοιά 2ἐστι, δῆλον ὅτι ἀνομοίῳ τά γε ἀνόμοια ἀνόμοια ἂν εἴη.

3Δῆλον.

Εἴη δὴ ἂν καὶ τῷ ἑνὶ ἀνομοιότης, πρὸς ἣν τὰ 4ἄλλα ἀνόμοια αὐτῷ ἐστιν.

῎Εοικεν.

1.

τὰ […] ἄλλα […] ἕτερα ὄντα (161a6–7)

ἄλλα ⊆ ἕτερα

inne ⊆ różne

Zał.

2.

ἕτερα ὄντα ἑτεροῖα […] εἴη ἄν (161a6–7)

ἕτερα ⊆ ἑτεροῖα

różne ⊆ odmienne

Zał.

3.

Τὰ […] ἑτεροῖα […] ἀλλοῖα (161a7–8)

ἑτεροῖα ⊆ ἀλλοῖα

odmienne ⊆ innego rodzaju

Zał.

4.

Τὰ […] ἀλλοῖα […] ἀνόμοια; (161a8–b1)

ἀλλοῖα ⊆ ἀνόμοια

innego rodzaju ⊆ niepodobne

Zał.

5.

τὰ ἄλλα ἀνόμοια […] ἐστιν (161b3–4)

ἄλλα ⊆ ἀνόμοια

inne ⊆ niepodobne

1., 2., 3., 4., R1.1.1.7

(Witwicki)

— Więc i niepodobieństwo mu przysługuje, oprócz innych. Bo inne rzeczy, będąc różne od Jednego, muszą też być odmienne.

— Tak.

— A „odmienne” czy to nie „coś innego rodzaju”?

— Jakżeby nie?

— A „innego rodzaju” czy to nie tyle co: „niepodobne”?

— No niepodobne.

— Nieprawdaż, jeśli coś jest niepodobne do Jednego, to jasna rzecz, że to niepodobne musi być niepodobne do czegoś niepodobnego.

— Jasne.

— Zatem i Jednemu przysługiwałoby niepodobieństwo, ze względu na które inne rzeczy są do niego niepodobne.

— Zdaje się.

(Jowett)

And it will have unlikeness in relation to the others, for the others being different from the one will be of a different kind.

Certainly.

And are not things of a different kind also other in kind?

Of course.

And are not things other in kind unlike?

They are unlike.

And if they are unlike the one, that which they are unlike will clearly be unlike them?

Clearly so.

Then the one will have unlikeness in respect of which the others are unlike it?

That would seem to be true.


Prehistoria logiki formalnej to praca doktorska Marka Jerzego Minakowskiego, obroniona 5.11.1998 na Uniwersytecie Jagiellońskim (pod oryginalnym tytułem: Logika formalna przed Arystotelesem).
Przeniesiona z wersji oryginalnej (WordPerfect 6.1) do HTML w roku 2000, bez zmian w tekście (początkowo pod adresem ancientlogic.republika.pl, obecnie logika.minakowski.pl)
Licencja Creative Commons
Prehistoria logiki formalnej by Marek Jerzy Minakowski is licensed under a Creative Commons Uznanie autorstwa 3.0 Unported License.