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

96. Platon, Eutydem 277b6–c7

Brat Eutydema, Dionizodoros, pokazuje, że gdyby Kleiniasz na ostatnie pytanie odpowiedziałby był przeciwnie, jego odpowiedź też byłaby obalona.

Dionizodoros, Kleiniasz, Sokrates jako narrator:

277b6εἰπὲ γάρ μοι, τὸ μανϑάνειν οὐκ ἐπιστήμην 7ἐστὶ λαμβάνειν τούτου οὗ ἄν τις μανϑάνῃ;

῾Ωμολόγει ὁ 8Κλεινίας.

Τὸ δ' ἐπίστασϑαι, ἦ δ' ὅς, ἄλλο τι ἢ ἔχειν 9ἐπιστήμην ἤδη ἐστίν;

Συνέϕη.

Τὸ ἄρα μὴ ἐπίστασϑαι c1μήπω ἔχειν ἐπιστήμην ἐστίν;

῾Ωμολόγει αὐτῷ.

Πότερον 2οὖν εἰσιν οἱ λαμβάνοντες ὁτιοῦν οἱ ἔχοντες ἤδη ἢ οἳ ἂν μὴ 3ἔχωσιν;

Οἳ ἂν μή.

Οὐκοῦν ὡμολόγηκας εἶναι τούτων καὶ 4τοὺς μὴ ἐπισταμένους, τῶν μὴ ἐχόντων;

Κατένευσε.

5Τῶν λαμβανόντων ἄρ' εἰσὶν οἱ μανϑάνοντες, ἀλλ' οὐ τῶν 6ἐχόντων;

Συνέϕη.

Οἱ μὴ ἐπιστάμενοι ἄρα, ἔϕη, μανϑά7νουσιν, ὦ Κλεινία, ἀλλ' οὐχ οἱ ἐπισάμενοι.

1.

τὸ μανϑάνειν […] ἐπιστήμην ἐστὶ λαμβάνειν (277b6–7)

μανϑάνειν ⊆ ἐπιστήμην λαμβάνειν

uczyć się ⊆ przyjmować wiedzę

Zał.

2.

Τὸ […] ἐπίστασϑαι, […] ἔχειν ἐπιστήμην ἤδη ἐστίν (277b8–9)

ἐπίστασϑαι ⊆ ἔχειν ἐπιστήμην

wiedzieć ⊆ mieć wiedzę

Zał.

3.

εἰσιν οἱ λαμβάνοντες ὁτιοῦν […] οἳ ἂν μὴ ἔχωσιν (277c2–3)

λαμβάνειν ἐπιστήμην ∥ ἔχειν ἐπιστήμην

przyjmować wiedzę ∥ mieć wiedzę

Zał.

4.

εἰσὶν οἱ μανϑάνοντες […] οὐ τῶν ἐχόντων (277c5–6)

μανϑάνειν ∥ ἔχειν ἐπιστήμην

uczyć się ∥ mieć wiedzę

1., 3., R1.2.4.1

5.

μανϑάνουσιν […] οὐχ οἱ ἐπισάμενοι (277c6–7)

μανϑάνειν ∥ ἐπίστασϑαι

uczyć się ∥ wiedzieć

2., 4., R1.2.4.5

(Witwicki)

Powiedz mi, uczyć się, czy to nie znaczy przyjmować wiedzę o tym, o czym się ktoś uczy?

Zgodził się Kleiniasz.

A wiedzieć coś — powiada — to jest coś innego, czy też to znaczy: mieć już wiedzę?

Zgodził się.

A «nie wiedzieć» to znaczy: jeszcze nie mieć wiedzy?

Zgodził się z tym.

Więc ci, którzy przyjmują coś, to są ci, co już to mają, czy też ci, co nie?

Ci, co nie mają.

Nieprawdaż, zgodziłeś się, że do nich należą i ci, co nie wiedzą — do tych, co nie mają?

Skinął głową.

Więc do biorących należą ci, co się uczą, a nie do posiadających?

Zgodził się.

Zatem niewiedzący — powiada — uczą się, Kleiniaszu, a nie ci, którzy wiedzą.

(Jowett)

For tell me now, is not learning acquiring knowledge of that which one learns?

Cleinias assented.

And knowing is having knowledge at the time?

He agreed.

And not knowing is not having knowledge at the time?

He admitted that.

And are those who acquire those who have or have not a thing?

Those who have not.

And have you not admitted that those who do not know are of the number of those who have not?

He nodded assent.

Then those who learn are of the class of those who acquire, and not of those who have?

He agreed.

Then, Cleinias, he said, those who do not know learn, and not those who know.


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.