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

153. Platon, Timajos 31a2–b3

Dlaczego świat jest jeden?

Fragment wykładu Timajosa:

31a2πότερον οὖν ὀρϑῶς ἕνα οὐρανὸν προσειρήκαμεν, ἢ πολλοὺς 3καὶ ἀπείρους λέγειν ἦν ὀρϑότερον;

ἕνα, εἴπερ κατὰ τὸ 4παράδειγμα δεδημιουργημένος ἔσται.

τὸ γὰρ περιέχον πάντα 5ὁπόσα νοητὰ ζῷα μεϑ' ἑτέρου δεύτερον οὐκ ἄν ποτ' εἴη·

6πάλιν γὰρ ἂν ἕτερον εἶναι τὸ περὶ ἐκείνω δέοι ζῷον,

οὗ μέρος 7ἂν εἴτην ἐκείνω,

καὶ οὐκ ἂν ἔτι ἐκείνοιν ἀλλ' ἐκείνῳ τῷ 8περιέχοντι τόδ' ἂν ἀϕωμοιωμένον λέγοιτο ὀρϑότερον.

ἵνα b1οὖν τόδε κατὰ τὴν μόνωσιν ὅμοιον ᾖ τῷ παντελεῖ ζῴῳ, διὰ 2ταῦτα οὔτε δύο οὔτ' ἀπείρους ἐποίησεν ὁ ποιῶν κόσμους, ἀλλ' 3εἷς ὅδε μονογενὴς οὐρανὸς γεγονὼς ἔστιν καὶ ἔτ' ἔσται.

1.

ἕνα οὐρανὸν προσειρήκαμεν (31a2)

οὐρανός ⊆ ἕν

niebo ⊆ pojedyncze

2., 5., R2.1.2

2.

κατὰ τὸ παράδειγμα δεδημιουργημένος ἔσται (31a3–4)

παράδειγμα ⊆ ἕν → οὐρανός ⊆ ἕν

model ⊆ pojedyncze → niebo ⊆ pojedyncze

Zał.

3.

τὸ γὰρ περιέχον πάντα ὁπόσα νοητὰ ζῷα (31a4–5)

παράδειγμα ⊆ περιέχον πάντα ὁπόσα νοητὰ ζῷα

model ⊆ kompletne

Zał.

4.

τὸ γὰρ περιέχον πάντα ὁπόσα νοητὰ ζῷα μεϑ' ἑτέρου δεύτερον οὐκ ἄν ποτ' εἴη (31a4–5)

περιέχον πάντα ὁπόσα νοητὰ ζῷα ⊆ ἕν

kompletne ⊆ pojedyncze

Zał.

5.

ἵνα οὖν τόδε κατὰ τὴν μόνωσιν ὅμοιον […] ἐποίησεν ὁ ποιῶν κόσμους […] εἷς ὅδε μονογενὴς οὐρανὸς γεγονὼς ἔστιν (31a8–b3)

παράδειγμα ⊆ ἕν

model ⊆ pojedyncze

3., 4., R1.1.1.1

(Siwek)

Czy zatem dobrze powiedzieliśmy, że tylko jedno niebo istnieje? Czy też byłoby lepiej powiedzieć, że są liczne nieba, a nawet nieskończona ich ilość? Nie.

Istnieje tylko jedno, ponieważ musiało być zbudowane na wzór modelu.

W rzeczy samej, ten model, który zawiera wszystkie żyjące jestestwa obdarzone rozumem, nie może być nigdy drugim z rzędu.

W takim bowiem razie zachodziłaby potrzeba istnienia jeszcze innego żyjącego,

tego mianowicie, który by obejmował te dwa,

i którego, konsekwentnie, oba byłyby częściami.

W tym wypadku o żadnym z dwóch pierwszych, lecz o tym tylko, który by je obejmował, można by ściśle powiedzieć, że nasz świat jest jego kopią.

Aby bowiem ten świat był podobny do Doskonałego Żyjącego przez fakt, że jest jedynym, Stwórca świata nie utworzył dwóch światów ani nieskończonej ich ilości, lecz to jedno niebo zrodzone — i takim nie przestanie ono być.

(Jowett)

Are we right in saying that there is one world, or that they are many and infinite?

There must be one only, if the created copy is to accord with the original.

For that which includes all other intelligible creatures cannot have a second or companion;

in that case there would be need of another living being

which would include both,

and of which they would be parts,

and the likeness would be more truly said to resemble not them, but that other which included them.

In order then that the world might be solitary, like the perfect animal, the creator made not two worlds or an infinite number of them; but there is and ever will be one only — begotten and created heaven.


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.