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

84. Platon, Charmides 160b9–d4

Temat ten sam.

Sokrates, Krytiasz:

160b9δυοῖν γὰρ δὴ τὰ ἕτερα· ἢ οὐδαμοῦ c1ἡμῖν ἢ πάνυ που ὀλιγαχοῦ αἱ ἡσύχιοι πράξεις ἐν τῷ βίῳ 2καλλίους ἐϕάνησαν ἢ αἱ ταχεῖαί τε καὶ ἰσχυραί. εἰ δ' οὖν, ὦ 3ϕίλε, ὅτι μάλιστα μηδὲν ἐλάττους αἱ ἡσύχιοι τῶν σϕοδρῶν 4τε καὶ ταχειῶν πράξεων τυγχάνουσιν καλλίους οὖσαι, οὐδὲ 5ταύτῃ σωϕροσύνη ἂν εἴη μᾶλλόν τι τὸ ἡσυχῇ πράττειν ἢ τὸ 6σϕόδρα τε καὶ ταχέως, οὔτε ἐν βαδισμῷ οὔτε ἐν λέξει οὔτε 7ἄλλοϑι οὐδαμοῦ, οὐδὲ ὁ ἡσύχιος βίος [κόσμιος] τοῦ μὴ ἡσυχίου d1σωϕρονέστερος ἂν εἴη, ἐπειδὴ ἐν τῷ λόγῳ τῶν καλῶν τι ἡμῖν 2ἡ σωϕροσύνη ὑπετέϑη, καλὰ δὲ οὐχ ἧττον 〈τὰ〉 ταχέα τῶν 3ἡσυχίων πέϕανται.

4᾿Ορϑῶς μοι δοκεῖς, ἔϕη, ὦ Σώκρατες, εἰρηκέναι.

1.

οὐδὲ ταύτῃ σωϕροσύνη ἂν εἴη μᾶλλόν τι τὸ ἡσυχῇ πράττειν (160c4–5)

σωϕροσύνη ⊆ οὐχ ἧττον ταχὺ ἢ ἡσύχιον

rozwaga ⊆ nie mniej szybkie niż spokojne

2., 3., R1.1.1.1

2.

τῶν καλῶν τι ἡμῖν ἡ σωϕροσύνη ὑπετέϑη (160d1–2)

σωϕροσύνη ⊆ καλόν

rozwaga ⊆ piękne

Zał.

3.

καλὰ δὲ οὐχ ἧττον 〈τὰ〉 ταχέα τῶν ἡσυχίων πέϕανται (160d2–3)

καλόν ⊆ οὐχ ἧττον ταχὺ ἢ ἡσύχιον

piękne ⊆ nie mniej szybkie niż spokojne

Zał.

(Witwicki)

Zatem jedno z dwojga: albo nigdzie w ogóle, albo bardzo mało gdzie chyba, te spokojne i powolne działania w życiu nie okazały się piękniejsze niż szybkie i mocne. Jeżeli więc, przyjacielu, czynności spokojnych — powiedzmy już najwięcej — jest równie dużo, jak gwałtownych i szybkich pomiędzy czynnościami piękniejszymi, to i z tego względu rozwaga nie będzie polegała raczej na spokojnym zachowaniu się niż na gwałtownym i szybkim; ani w chodzeniu, ani w mówieniu, ani nigdzie indziej, ani też życie spokojne nie będzie bardziej rozważne od niespokojnego, skorośmy w naszym wywodzie założyli, że rozwaga jest czymś pięknym, a oto pokazuje się, że to, co szybkie, bywa nie mniej piękne jak to, co spokojne.

— Mam wrażenie — mówi — Sokratesie, żeś dobrze powiedział.

(Jowett)

And of two things, one is true, either never, or very seldom, do the quiet actions in life appear to be better than the quick and energetic ones; or supposing that of the nobler actions, there are as many quiet, as quick and vehement: still, even if we grant this, temperance will not be acting quietly any more than acting quickly and energetically, either in walking or talking or in anything else; nor will the quiet life be more temperate than the unquiet, seeing that temperance is admitted by us to be a good and noble thing, and the quick have been shown to be as good as the quiet.

I think, he said, Socrates, that you are right.


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.