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

209. Filolaos, Fr. 2

Pitagorejczyk, Filolaos z Krotony, dowodzi że każdy byt musi być zarazem ograniczony i nieograniczony.

ἀνάγκα τὰ ἐόντα εἶμεν πάντα ἢ περαίνοντα ἢ ἄπειρα ἢ περαίνοντά τε καὶ ἄπειρα· ἄπειρα δὲ μόνον 〈ἢ περαίνοντα μόνονοὔ κα εἴη. ἐπεὶ τοίνυν ϕαίνεται οὔτ' ἐκ περαινόντων πάντων ἐόντα οὔτ' ἐξ ἀπείρων πάντων, δῆλον τἆρα ὅτι ἐκ περαινόντων τε καὶ ἀπείρων ὅ τε κόσμος καὶ τὰ ἐν αὐτῷ συναρμόχϑη. δηλοῖ δὲ καὶ τὰ ἐν τοῖς ἔργοις. τὰ μὲν γὰρ αὐτῶν ἐκ περαινόντων περαίνοντι, τὰ δ' ἐκ περαινόντων τε καὶ ἀπείρων περαίνοντί τε καὶ οὐ περαίνοντι, τὰ δ' ἐξ ἀπείρων ἄπειρα ϕανέονται.

1.

ἀνάγκα τὰ ἐόντα εἶμεν πάντα ἢ περαίνοντα ἢ ἄπειρα ἢ περαίνοντά τε καὶ ἄπειρα

τὰ ἐόντα ⊆ περαίνοντα ∪ ἄπειρα ∪ (περαίνοντα ∩ ἄπειρα)

istniejące ⊆ ograniczone ∪ nieograniczone ∪ (ograniczone ∩ nieograniczone)

Zał.

2.

ἄπειρα δὲ μόνον […] οὔ κα εἴη

τὰ ἐόντα ∥ περαίνοντα

istniejące ∥ ograniczone

Zał.

3.

περαίνοντα μόνον […] οὔ κα εἴη

τὰ ἐόντα ∥ ἄπειρα

istniejące ∥ nieograniczone

Zał.

4.

δῆλον τἆρα ὅτι ἐκ περαινόντων τε καὶ ἀπείρων ὅ τε κόσμος καὶ τὰ ἐν αὐτῷ συναρμόχϑη

τὰ ἐόντα ⊆ περαίνοντα ∩ ἄπειρα

istniejące ⊆ ograniczone ∩ nieograniczone

1., 2., 3., R1.3.8.6

(Gajda)

Wszystko, co istnieje, musi być albo ograniczone, albo nieograniczone, albo ograniczone i nieograniczone jednocześnie, nie może zaś być tylko nieograniczone. Skoro bowiem to, co istnieje, nie jawi się jedynie jako ograniczone, ani jako nieograniczone, jasne jest, że świat i wszystko, co w nim istnieje, zostało harmonijnie zestrojone z ograniczonego i nieograniczonego. Ujawnia się to zaś we wszystkim, co jest w świecie. Spośród tych rzeczy bowiem powstałe z ograniczonego, jawią się jako ograniczone, z ograniczonego i nieograniczonego — jako ograniczone i nieograniczone, zaś z nieograniczonego jako nieograniczone.


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.