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

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

202. Zenon, Fr. 2

Zenon dowodzi, że co nie ma wielkości, nie może istnieć. Cel dowodu zachował się w komentarzu Simpliciusza do Fizyki Arystotelesa, z którego pochodzi ten fragment.

ἐν δὴ τούτῳ δείκνυσιν, ὅτι οὗ μήτε μέγεϑος μήτε πάχος μήτε ὄγκος μηϑείς ἐστιν, οὐδ' ἂν εἴη τοῦτο. ‘εἰ γὰρ ἄλλῳ ὄντι, ϕησί, προσγένοιτο, οὐδὲν ἂν μεῖζον ποιήσειεν· μεγέϑους γὰρ μηδενὸς ὄντος, προσγενομένου δέ, οὐδὲν οἷόν τε εἰς μέγεϑος ἐπιδοῦναι. καὶ οὕτως ἂν ἤδη τὸ προσγινόμενον οὐδὲν εἴη. εἰ δὲ ἀπογινομένου τὸ ἕτερον μηδὲν ἔλαττον ἔστι μηδὲ αὖ προσγινομένου αὐξήσεται, δῆλον ὅτι τὸ προσγενόμενον οὐδὲν ἦν οὐδὲ τὸ ἀπογενόμενον.'

1.

οὗ μή […] μέγεϑος […] ἐστιν, οὐδ' ἂν εἴη τοῦτο

οὖ μέγεϑος μή ἐστιν, οὐδέν ἐστιν

nie mające wielkości jest niczym

2., 3., R2.1.1

2.

εἰ […] ἄλλῳ ὄντι […] προσγένοιτο, οὐδὲν ἂν μεῖζον ποιήσειεν

οὖ μέγεϑος μή ἐστιν, οὐδέν ἐπιδίδοται

nie mające wielkości nie dodaje niczego

Zał.

3.

οὐδὲν οἷόν τε εἰς μέγεϑος ἐπιδοῦναι. καὶ οὕτως ἂν ἤδη τὸ προσγινόμενον οὐδὲν εἴη

οὖ μέγεϑος μή ἐστιν, οὐδέν ἐπιδίδοται → οὖ μέγεϑος μή ἐστιν, οὐδέν ἐστιν

nie mające wielkości nie dodaje niczego → nie mające wielkości jest niczym

Zał.

(Heinrich)

Gdyby je dodać do innej rzeczy, to nie uczyniłoby ją większą, gdyż nic nie może zyskać na wielkości, gdy doda się doń coś bez wielkości. Skąd wynika, że dodane było niczem, gdy po odjęciu go od innej rzeczy ta nie zmniejszyła się. Z drugiej zaś strony, gdy po dodaniu go do innej rzeczy, ta nie zwiększa się, wtedy jest jasnem, że to, co było dodanem, i to, co było wziętem, było niczem.

(Kirk)

In this argument [sc. that proving the many both large and small] he proves that what has neither magnitude nor solidity nor bulk would not even exist. ‘For', he says, ‘if it were added to something else that is, it would make it no larger; for if it were of no magnitude, but were added, it [sc. what it was added to] could not increase in magnitude. And thus what was added would in fact be nothing. If when it is taken away the other thing is no smaller, and again when it is added will not increase, it is clear that what was added was nothing nor again what was taken away.'


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.