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

II. Zależności statystyczne

1. Nasycenie tekstu logiką

Tabela 1. przedstawia różne parametry określające stopień nasycenia różnych utworów logiką. Są to: ilość znalezionych fragmentów logicznych (B), ilość zastosowanych reguł (C), ilość kroków dowodowych (D) oraz suma długości fragmentów logicznych (E). Wszystkie te wielkości są odniesione do całkowitej długości tekstu (A), wyznaczonej na podstawie Thesaurus Linguae Graece (zmierzonej za pomocą programu Musaios).

Ksenofont i Platon zostali rozbici na poszczególne utwory, dzieła pozostałych autorów zostały potraktowane razem. Na końcu tabeli znajduje się podsumowanie dla różnych rodzajów literackich; z wyjątkiem Ksenofonta każdy autor zalicza się do jednego rodzaju literackiego (pisma Ksenofonta są częściowo w filozofii, częściowo w historii). Podział na rodzaje literackie jest częściowo umowny, jako że te pisma Hipokratesa (O sztuce i O naturze ludzkiej), w których zachowały się dowody logiczne, mają charakter typowo filozoficzny (z kręgu Gorgiasza). Podobnie mowy Antyfonta zawierające dowody logiczne (Tetralogie) nie były przeznaczone do wygłoszenia, stanowiły teoretyczny przykład, jak należy mowy pisać (być może sam Antyfon nie zdawał sobie sprawy z ich sztuczności).

Tabela 1. Nasycenie tekstu logiką

L.p.Tytułdługość tekstu

A

ilość fragm.

B

ilość reguł

C

ilość kroków

D

długość fragmentów

E

E/A

×10.000

F

B/A

×3000.000

G

C/A

×2000.000

H

D/A

×1000.000

I

I.Ajschylos374 81400000000
II.Andokides141 81600000000
III.Antyfon144 25939221 81812662125153
IV.Arystofanes925 38633111 3871510612
V.Demostenes837 23300000000
VI.Eurypides1 321 9122147716523
VII.Herodot1 491 37556222 4781710815
VIII.Hezjod129 26000000000
IX.Hipokrates871 64738211 30715101824
X.Homer1 714 46900000000
XI.Izajos182 26600000000
XII.Izokrates746 3091132373434
XIII.Ksenofont2 478 638153911211 23045183145
192.Historia grecka539 18900000000
193.Wspomnienia o Sokratesie278 969924686 37322897172244
194.Ekonomik137 05900000000
195.Uczta72 48716171 06114641166235
196.Obrona Sokratesa15 74900000000
197.Anabaza454 08200000000
198.Cyropedia612 40246203 19252202033
199.Hieron46 53900000000
200.Agesilaos59 14600000000
201.Rzeczpospolita Lacedemońska39 48700000000
202.O dochodach30 35600000000
203.Dowódca kawalerii45 32400000000
204.O jeździectwie52 88300000000
205.O łowiectwie70 29800000000
206.Rzeczpospolita Ateńska24 668137604245122243284
XIV.Lizjasz421 29300000000
XV.Platon4 419 430127330899101 78423086149203
241.Eutyfron40 45112435688749999
242.Obrona Sokratesa67 31700000000
243.Kriton32 42800000000
244.Fedon168 611817426 051359142202249
245.Kratylos145 97600000000
246.Teajtet182 4871036839 670530164395455
247.Sofista135 06300000000
248.Polityk143 82000000000
249.Parmenides114 526125814011 911104031410131222
250.Fileb145 51212556739212734
251.Uczta132 98948212 41818290120158
252.Fajdros131 16112898775233061
253.Alkibiades I86 463812433 418395278278497
254.Alkibiades II34 100113485142885988
255.Hipparch18 76124121 373732320426640
256.Rywale18 905114737390159106212
257.Teages27 75700000000
258.Charmides62 761912374 563727430382590
259.Laches60 2552381 201199100100133
260.Lyzis52 80613141 00519057114265
261.Eutydem97 24114267710 4251072432535792
262.Protagoras136 642712384 199307154176278
263.Gorgiasz210 628825758 946425114237356
264.Menon79 367312306 399806113302378
265.Hippiasz większy66 199623586 8661037272695876
266.Hippiasz mniejszy34 071310324 2511248264587939
267.Ijon30 891238964312194194259
268.Meneksenos38 57300000000
269.Klejtofon12 14000000000
270.Rzeczpospolita I75 983424595 979787158632776
271.Rzeczpospolita II–IX533 27137191 97937172636
272.Rzeczpospolita X69 54247192 299331173201273
273.Timajos181 749812383 410188132132209
274.Krytiasz38 19700000000
275.Minos23 3042616863370257515687
276.Prawa810 2412264626757
277.Epinomis47 89300000000
278.Listy131 34900000000
XVI.Sofokles518 08600000000
XVII.Tukidydes1 214 35200000000
Epika1 843 72900000000
Tragedia2 214 8122147713312
Komedia925 38633111 3871510612
Retoryka2 473 176410252 05585810
Medycyna871 64738211 30715101824
Historia3 698 99856222 4787436
Filozofia5 904 7971423691011113 01419172125171
Wszystko17 932 5451593971094121 01267274461

Te dane wskazują na ogromną dysproporcję pomiędzy częstością używania logiki przez filozofów (zwłaszcza w utworach sokratycznych Platona i Ksenofonta) i innych pisarzy. Przyjmijmy dla uproszczenia, że na jednej stronie mieści się 2000 znaków (bez spacji), wtedy jedno zastosowanie reguły logicznej zdarza się raz na 8 stron w literaturze filozoficznej, zaś raz na 215 w pozostałych tekstach (wszystkie zachowane teksty prearystotelików w tym corpus to 8699 stron). A więc można powiedzieć, że filozofowie używali logiki 27 razy częściej niż wszyscy inni! Po odjęciu Praw i Rzeczypospolitej II–X Platona oraz Cyropedii Ksenofonta uzyskamy jeszcze więcej: w tekstach filozoficznych jedno użycie reguły logicznej przypada na 5,7 strony — w tych utworach razem wziętych jedna reguła przypada na 46 stron. Gdyby z kolei z tekstów pozafilozoficznych odjąć krótkie utwory teoretyczne przypisywane Hipokratesowi (O sztuce i O naturze ludzkiej) oraz „mowy” szkolne Antyfonta (Tetralogie), to okazuje się, że w tekstach pozafilozoficznych jedno użycie reguły logicznej przypada na 542 strony!

Dla historii i tragedii (a zatem dla tekstów pozafilozoficznych w ogóle) wielkości odwołujące się do liczby fragmentów logicznych i ich długości (kolumny B, E, F i G) są trochę zawyżone, jako że uwzględnione tam zostały fragmenty nie zawierające żadnej reguły logicznej.

2. Wzrost i upadek logiki Platona

Dane z tabeli 1. zostały wykorzystane do zbadania jak zmieniała się w czasie częstość używania logiki w przypadku Platona. Wykorzystałem w tym celu wyniki G.R. Ledgera, który dokonał najpełniejszej analizy stylometrycznej utworów Platona.

Spośród utworów należących do tetralogii Trazyllosa Ledger nie uwzględnia tylko Alkibiadesa II, choć uznaje go za raczej autentyczny; dołączam go tu zaraz po Alkibiadesie I: nawet jeżeli ów krótki utwór jest nieautentyczny, to naśladuje on Alkibiadesa I, można więc umieścić je razem. Wszystkie listy umieszczam tam, gdzie Ledger umieścił najdłuższy z nich, VII.

Kolejno powstałe utwory Platona zostały podzielone przeze mnie na grupy, po około 0,5 mln znaków. Grupy zawierające Rzeczpospolitą i Prawa mają po około 1 mln znaków, ale za to na wykresie są powtórzone. W ten sposób wykres jest w miarę adekwatnym przedstawieniem zmian, jakie zachodziły w użyciu logiki przez Platona.

W wyniku komputerowej analizy stylu Platona Ledger uzyskał wynik, zgodnie z którym Rzeczpospolita winna być przed Parmenidesem i Teajtetem; w imię zgodności z powszechną opinią umieścił ją jednak później. Rozwiązuję to w ten sposób, że I księgę Rzeczypospolitej włączam do wcześniejszej grupy (z Parmenidesem), a resztę do późniejszej (z Teajtetem).

Kolejność powstawania utworów Platona według Ledgera (podział na grupy pochodzi ode mnie, przedziały czasowe są wyłącznie orientacyjne, stypulowane na podstawie wyników Ledgera):

1.

Lysis, Eutyfron, (Minos), Hippiasz Mniejszy, Ijon, Hippiasz Większy, Alkibiades I, Alkibiades II, Teages, Kriton (399–390)

2.

Gorgiasz, Meneksenos, Menon, Charmides, Obrona Sokratesa (390–385)

3.

Fedon, Laches, (Hipparch), (Rywale), Protagoras, Eutydem (385–380)

4.

Uczta, Kratylos, Rzeczpospolita I, Parmenides (380–370)

5.

Teajtet, Rzeczpospolita II–X, Fajdros (370–360)

6.

Fileb, Klejtofon, Listy, Sofista, Polityk (355–352)

7.

Prawa, Epinomis, Timajos, Krytiasz (351–347)

Analizy Ledgera wykazały, że być może trzy dialogi Platona nie są autentyczne, ich język odstaje bowiem dość wyraźnie od języka pozostałych utworów; są to Minos, Hipparch i Rywale. Nie wynika stąd, że na pewno są one fałszerstwami; nie biorę ich tu jednak pod uwagę, aby nie wchodzić w niepotrzebne spory.

Osobno podaję wartości dla grupy 4 z wyłączeniem fr. 53 (Parmenides 137c4–142a6) jako grupy 4a. Fragment 53. (8102 znaki) sam zawiera 47 reguł w 102 krokach. Został dokładniej omówiony w Dodatku 3.

Tabela 2. Częstość użycia logiki w kolejnych okresach życia Platona wg Ledgera

Okresdługość

tekstu

A

ilość

fragmentów

B

ilość

reguł

C

ilość

kroków

D

długość

fragmentów

E

E/A

×10.000

F

B/A

×3000.000

G

C/A

×2000.000

H

D/A

×1000.000

I

Całość 4 358 45512231986798 80622784146199
1.405 161225416217 340428163267400
2.458 646204914219 908434131214310
3.462 749315816521 876473201251357
4.469 474208922020 308433128379469
4a461 264194211812 098262124182256
5.916 461185312914 93516359116141
6.567 88412556710579
7.1 078 0801014443 87236282641

Wykres 1. Względna długość fragmentów logicznych (F), względna ilość kroków dowodowych (I), reguł (H) i fragmentów logicznych (G) w kolejnych grupach utworów Platona (czas powstania wg Ledgera)

wykres

Wykres 2. Te same dane, tylko zamiast grupy 4. jest grupa 4a (tzn. nie jest uwzględniony na wykresie fragment 53.)

wykres

Z tych wykresów wynika kilka bardzo ważnych wniosków dla historii logiki. Pierwszym jest to, że maksymalne nasycenie logiką jego utworów ma miejsce w utworach najwcześniejszych: nie widać u Platona żadnego rozwoju. Można to interpretować jako skutek starzenia się, ale byłaby to interpretacja złośliwa. Ważniejsze jest to innego: wygląda na to, że wszystko, co Platon umiał w logice, umiał już na samym początku, zanim się zabrał do pisania. Nauczył się tego zatem od swojego mistrza. Mamy więc bardzo silną wskazówkę, że to Sokrates był autorem zastosowań logiki w filozofii, a Platon w miarę swego życia odchodził od niej.

Widać, poprzez porównanie obydwu wykresów, jak bardzo fragment 53. odstaje od reszty twórczości Platona tego okresu.

Zestawieniom tym można postawić kilka zarzutów. Po pierwsze: opierają się na czysto mechanicznym liczeniu różnych cech gramatycznych języka różnych utworów. Bardzo mało mamy informacji na temat dat powstania różnych utworów Platona; powyższe ustalenie kolejności ich powstania opiera się w całości na hipotezie Lutosławskiego, że język Platona zmieniał się z czasem we w miarę stałym tempie i w sposób jednokierunkowy. Możliwe jest, że takie mechaniczne ustalanie sekwencji utworów Platona jest niewłaściwe, a lepsze wyniki uzyskałoby się porównując treść tych utworów. Innym poważnym zarzutem jest, że w tym zestawieniu znajduje się kilka utworów, które są dość powszechnie uznawane za nieautentyczne, pochodzące od autora innego niż Platon.

Z pierwszym z tych zarzutów można polemizować, odwołując się do faktu, że właściwie wszystko, co wiemy o rozwoju Platona, wywodzi się z badań Lutosławskiego nad jego stylem. Dopiero on ustalił, że teoria idei była charakterystyczna dla średniego okresu życia Platona, a później została zarzucona na rzecz koncepcji pitagorejskich. Na zarzut drugi można odpowiedzieć w ten sposób, że bardzo nieliczne utwory znane pod imieniem Platona nie były nigdy przedmiotem ataku ze względu na ich sugerowaną nieautentyczność.

Mimo wszystko przedstawię tu także inny podział utworów Platona. Jest to tradycyjny, szkolny układ Izydory Dąmbskiej. Podzieliła ona utwory Platona na cztery okresy:

1.

Śladami Sokratesa: Eutyfron, Obrona Sokratesa, Kriton, Ion, Protagoras, Laches, Lizys, Charmides

2.

Walka z sofistyką i kształtowanie się własnych poglądów: Hippiasz Mniejszy, Hippiasz Większy, Gorgiasz, Menon, Eutydem, Kratylos, Meneksenos

3.

Pełnia rozkwitu: Uczta, Fajdros, Fedon, Rzeczpospolita, Teajtet

4.

U schyłku życia: Parmenides, Sofista, Polityk, Fileb, Timajos, Kritiasz, Listy, Prawa

Do grupy piątej zaliczyłem pozostałe utwory Platona, nieuwzględnione przez Dąmską (głównie ze względu na ich powątpiewalną autentyczność oraz nieistotność filozoficzną): Alkibiades I i II, Epinomis, Teages, Hipparch, Minos, Rywale, Klejtofon

Przy analizie wykresu należy zwrócić uwagę, że każda z czterech grup jest obszerniejsza od poprzedniej (czwarta jest trzykrotnie większa niż pierwsza). Dlatego grupa trzecia jest na wykresie przedstawiona podwójnie, a czwarta potrójnie.

Grupa 4a oznacza, podobnie jak poprzednio, grupę 4. bez fr. 53 (całość = 1+2+3+4+5).

Tabela 3. Częstość użycia logiki w kolejnych okresach życia Platona wg Dąmbskiej

L.p.Tytułdługość tekstu

A

ilość fragm.

B

ilość reguł

C

ilość kroków

D

długość fragmentów

E

E/A

×10.000

F

B/A

×3000.000

G

C/A

×2000.000

H

D/A

×1000.000

I

Całość4 419 430127329900101 78423086149204
1.Śladami Sokratesa483 551223510912 288254136145225
2.Walka z sofistyką i kształtowanie się własnych poglądów672 055349627236 887549152286405
3.Pełnia rozkwitu1 294 0443410125229 38322779156195
4.U schyłku życia1 700 457237318916 350964186111
4a— bez fr. 53.1 692 2472226878 14048393151
5.Inne269 3231424786 876255156178290

Wykres 3. Względna długość fragmentów logicznych (F), względna ilość kroków dowodowych (I), reguł (H) i fragmentów logicznych (G) w kolejnych grupach utworów Platona (czas powstania wg Dąmbskiej)

wykres

Wykres 4. Te same dane, co poprzednio, tylko zamiast grupy 4. jest grupa 4a (tzn. nie jest uwzględniony na wykresie fragment 53.)

wykres

Jak widać, główną różnicą jest tu znaczna przewaga grupy drugiej nad pozostałymi; jednak wnioski ogólne będą tu takie same: w wieku dojrzałym Platon zaprzestał używania logiki.

3. Układ terminów w regułach

Następne tabele dotyczą różnych klasyfikacji reguł użytych we fragmentach. Pierwsza z nich przeprowadzona jest według układu zmiennych.

Zmienne mogą być dwojakiego rodzaju: zdaniowe lub nazwowe. Reguły zawierające wyłącznie zmienne zdaniowe lub oba rodzaje zmiennych są zakwalifikowane do dwóch osobnych grup. Reguły operujące wyłącznie zmiennymi nazwowymi (zwanymi tradycyjnie terminami) zostały podzielone wedle wzajmenego ich układu, zwanego tradycyjnie figurą sylogistyczną.

Pamiętać należy, że w tekście tak samo wygląda podstawienie zmiennej zdaniowej, jak i zdania ze zmiennymi nazwowymi; to czy zdanie „Sokrates jest człowiekiem” jest potraktowane jako podstawienie zmiennej zdaniowej α, czy podstawienie S/Sokrates i P/człowiek w formule „S jest P” za zmienne nazwowe S i P, zależy wyłącznie od funkcji spełnianej przez to zdanie w dowodzie.

Oznaczenie figury sylogistycznej („_” zastępuje wszystkie funktory zdaniotwórcze od dwóch argumentów nazwowych)

  1. konsekwencja i konwersja
    consconv
    rownanierownanie
  2. klasyczne figury sylogistyczne:
    IIIIIIIV
    rownanierownanierownanierownanie
  3. figury z przestawionymi przesłankami:
    ImIImIIImIVm
    rownanierownanierownanierownanie
  4. sylogizmy skondycjonalizowane (sylogizmy o wniosku warunkowym) figury Xc powstają z sylogizmów figury X poprzez usunięcie ostatniej przesłanki i zastąpienie konkluzji implikacją, której poprzednikiem jest owa usunięta przesłanka, a następnikiem wniosek konkluzji sylogizmu fig. X. Na przykład z figury IIm otrzymujemy figurę IImc:

    rownanie;

  5. łańcuszniki: sylogizmy o więcej niż dwóch przesłankach, oznaczane „sorx”, gdzie x jest liczbą przesłanek;
  6. funktora nazwotwórczego od jednego argumentu nazwowego „¬” nie bierze się pod uwagę (figura jest oznaczana tak, jakby go nie było)
  7. inne funktory nazwotwórcze od jednego argumentu nazwowego są również ignorowane, ale takie reguły są oznaczane „X obl”, gdzie X jest oznaczeniem figury, do której należałaby dana reguła, gdyby ich nie było. Oznaczenie „obl.” pochodzi od tradycyjnego określenia takich reguł jako „sylogizmy o terminie w przypadku zależnym” (łac. casus obliquus), co jest błędnie tłumaczone na „sylogizmy ukośne”.

Osobno są potraktowane reguły zawierające funtory nazwotwórcze od dwóch argumentów nazwowych (∩ i ∪): tworzą one sylogizmy o terminach złożonych (w opozycji do nich pozostałe są zwane sylogizmami o terminach prostych)

Tabela 4. Wg miejsc

Miejsca oznaczają numer fragmentu

figuramiejscailość miejsc
cons431
cons obl301, 301, 3053
Razem cons4
conv25, 25, 48, 48, 53, 53, 53, 121, 126, 128, 133, 134, 157, 30314
Razem conv14
Razem jednoprzesłankowe reguły nazwowe o terminach prostych18
13, 18, 18, 23, 27, 40, 41, 42, 42, 43, 45, 46, 46, 64, 68, 71, 74, 74, 79, 79, 95, 95, 100, 103, 103, 104, 105, 107, 107, 123, 123, 125, 126, 127, 127, 133, 134, 135, 137, 137, 137, 140, 148, 217, 21745
1m14, 18, 20, 22, 22, 27, 29, 34, 37, 39, 43, 45, 46, 48, 50, 51, 53, 53, 57, 60, 64, 67, 84, 91, 96, 98, 99, 99, 101, 110, 112, 116, 116, 120, 120, 123, 125, 125, 125, 126, 129, 129, 129, 140, 140, 140, 141, 141, 141, 146, 146, 147, 150, 153, 158, 159, 208, 217, 301, 30160
1 obl31, 31, 31, 1194
1m obl137, 137, 1413
1c16, 38, 38, 38, 53, 53, 56, 58, 216, 219, 22011
1mc2181
Razem figura I124
214, 17, 18, 18, 18, 18, 26, 26, 26, 33, 35, 37, 53, 53, 53, 70, 83, 85, 88, 91, 96, 111, 115, 124, 125, 133, 137, 142, 143, 144, 145, 148, 149, 156, 156, 217, 217, 21838
2m26, 26, 33, 46, 47, 48, 50, 50, 51, 53, 53, 53, 67, 76, 76, 82, 92, 98, 101, 129, 144, 152, 156, 207, 207, 219, 30227
2 obl681
2m obl66, 137, 137, 137, 1395
2c9, 218, 219, 220, 220, 2206
Razem figura II77
351, 74, 87, 88, 117, 301, 3067
3m51, 86, 114, 120, 129, 133, 3017
3mc32, 512
Razem figura III16
451, 1082
4 obl791
Razem figura IV3
Razem dwuprzesłankowe reguły nazwowe o terminach prostych220
sor38, 15, 21, 25, 25, 27, 27, 27, 27, 32, 46, 53, 54, 61, 65, 69, 72, 73, 93, 93, 94, 102, 108, 113, 114, 120, 121, 121, 121, 128, 129, 131, 131, 133, 148, 155, 156, 30138
sor3 obl19, 31, 119, 119, 1375
sor3c531
Razem trójprzesłankowe reguły nazwowe o terminach prostych44
sor45, 22, 36, 46, 62, 69, 80, 97, 99, 99, 141, 30312
sor4 obl151, 3052
Razem czteroprzesłankowe reguły nazwowe o terminach prostych14
sor593, 102, 132, 3044
Razem pięcioprzesłankowe reguły nazwowe o terminach prostych4
sor9771
Razem dziewięcioprzesłankowe reguły nazwowe o terminach prostych1
Razem reguły nazwowe o terminach prostych301
compl14, 28, 53, 53, 53, 53, 76, 107, 112, 118, 118, 118, 120, 120, 121, 124, 124, 125, 138, 138, 140, 154, 156, 20924
compl obl53, 119, 138, 1384
Razem reguły nazwowe o terminach złożonych28
KRZ1, 1, 1, 1, 1, 2, 2, 4, 6, 9, 10, 11, 12, 14, 16, 16, 24, 32, 35, 37, 38, 38, 38, 43, 44, 45, 49, 51, 51, 51, 51, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 63, 66, 75, 78, 88, 90, 99, 101, 108, 108, 122, 129, 130, 130, 130, 130, 131, 136, 136, 149, 153, 201, 202, 203, 204, 205, 206, 207, 207, 207, 207, 207, 210, 211, 212, 213, 213, 213, 213, 213, 213, 213, 213, 214, 214, 214, 215, 215, 215, 307, 307, 307, 307, 307, 307104
Razem reguły bez terminów nazwowych (wyłącznie zdaniowe)104
inna3, 10, 40, 44, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 59, 66, 81, 86, 89, 108, 119, 121, 126, 130, 133, 134, 138, 138, 140, 140, 146, 216, 216, 21635
Razem reguły pozostałe35
Razem468

Tabela 5. Reguły nazwowe o terminach prostych według grup tekstów

Grupy oznaczają:

1–4 teksty pozafilozoficzne

1 dramat

2 retoryka

3 medycyna

4 historia

5–17 teksty filozoficzne, w tym:

5–12 teksty sokratyków

5 Ksenofont

6 Platon, okres I (co do chronologii Platona, patrz wyżej)

7 Platon, okres II

8 Platon, okres III

9 Platon, okres IV, bez fr. 53

10 Platon, okres V

11 Platon, okres VI

12 Platon, okres VII

13 Eleaci

14 Platon, fr. 53

15–17 inni presokratycy

15 Gorgiasz

16 Dissoi logoi

16 inni

18 Pseudo-Platon

Do Corpus prearystotelików należą grupy 1–12 i 14. Fragmenty presokratyków to grupy 13 i 15–17.

figuragrupywszystko
1–412345–175–1256789101112131415–1715161718
cons     11     1         1
cons obl                     33
Razem cons     11     1        34
conv     1310251  2   3    114
Razem conv     1310251  2   3    114
Razem jednoprzesłankowe     1411251  3   3    418
11 1  4442493135611  2 2  45
1m1  1 57536491161214 22 11260
1 obl     443 1            4
1m obl     33    21         3
1c1  1 105   32    2312  11
1mc     1           1 1  1
Razem figura I3 120119107131313271519250481612124
22 11 3630756514 2 33 3  38
2m     2620251317 1231 1 127
2 obl     11    1          1
2m obl     55    5          5
2c1   15           5 5  6
Razem figura II3 11173569107881103269090177
3     55 13  1        27
3m     66 221 1        17
3mc     221    1         2
Razem figura III     13131351 3        316
4     22   1 1         2
4 obl     11   1           1
Razem figura IV     33   2 1         3
Razem dwuprzesłankowe6 231208179232625382334282101711516220
sor321 1 35348104532 2 1    138
sor3 obl     552 2 1          5
sor3c     1          1     1
Razem trójprzesłankowe21 1 413910106542 2 2    144
sor411   10101  513        112
sor4 obl     11       1      12
Razem czteroprzesłankowe11   11111  513 1      214
sor5     33 2 1          14
Razem pięcioprzesłankowe     33 2 1          14
sor9     11 1             1
Razem dziewięcioprzesłankowe     11 1             1
wszystko9224127824436443249284221121517115114301

Tabela 6. Te same dane, procenty

figuragrupywszystko
1–412345–175–1256789101112131415–1715161718
cons     00     2         0
cons obl     00              211
Razem cons     00     2        211
conv     546113  5   20    75
Razem conv     546113  5   20    75
Razem jednoprzesłankowe     556113  7   20    296
111 50  161711209271814509  12 13  15
1m11  25 2122179282221295036 1312 71001420
1 obl     128 3            1
1m obl     11    72         1
1c11  25 42   67    131810013  4
1mc     00          6 7  0
Razem figura I33 5050043443630415554451004502747100401001441
222 5025 131219111910410 18 2018 20  13
2m     9861136417 9100206 7 79
2 obl     00    4          0
2m obl     22    18          2
2c11   10020          29 33  2
Razem figura II33 5025100262325232216292602710040530600726
3     22 29  2        142
3m     22 562 2        72
3mc     113    2         1
Razem figura III     5537162 7        215
4     11   2 2         1
4 obl     00   2           0
Razem figura IV     11   4 2         1
Razem dwuprzesłankowe67 10075100757364597878828110073100671001001001004373
sor32250 25 131422231310115 18 7    713
sor3 obl     226 6 4          2
sor3c     00         7     0
Razem trójprzesłankowe2250 25 151628231910145 18 13    715
sor41150   443  1047        74
sor4 obl     00       9      71
Razem czteroprzesłankowe11    453  1047 9      145
sor5     11 5 2          71
Razem pięcioprzesłankowe     11 5 2          71
sor9     00 2             0
Razem dziewięcioprzesłankowe     00 2             0
100%=9224127824436443249284221121517115114301

Tabela 7. Wszystkie reguły wg grup tekstów

figuragrupywszystko
1–412345–175–1256789101112131415–1715161718
reguły nazwowe o terminach prostych9224127824436443249284221121517115114301
reguły nazwowe o terminach złożonych1  1 2721121025  1 51  1 28
reguły bez terminów nazwowych (wyłącznie zdaniowe)16273482382103948 211161715 26104
reguły pozostałe2 1 13319 44362   1133   35
Razem28410864203223960496343522141347381915420468

Tabela 8. Te same dane, procenty

figuragrupywszystko
1–412345–175–1256789101112131415–1715161718
reguły nazwowe o terminach prostych32502050176676927365786581100791532455100257064
reguły nazwowe o terminach złożonych4  13 673320312  7 113  25 6
reguły bez terminów nazwowych (wyłącznie zdaniowe)57507038672012517614915 1485344579 503022
reguły pozostałe7 10 1786 785144   23816   7
100%=28410864203223960496343522141347381915420468

Widać, że tradycyjna kolejność figur jest dobrze uzasadniona ich użytecznością: najczęstsza jest I (124 przypadki), po niej II (77), III (16) i IV (3). Zarazem ilość wystąpień fig. IV mieści się w granicach błędu, więc nieuwzględnienie jej przez Arystotelesa jest zupełnie zasadne.

Tradycyjnie przyjęło się, że w sylogizmach dwuprzesłankowych pierwsza jest tzw. przesłanka większa, zawierająca orzecznik konkluzji, druga zaś przesłanka mniejsza, zawierająca jej podmiot. W przypadku odwrotnej kolejności przesłanek mówi się o ich przestawieniu (metathesis). W fig. I mamy wyraźną przewagę reguł z przestawieniem przesłanek, tzn. 〈A_B, B_C ⊢ A_C〉 (60 przypadków) wobec 〈B_C, A_B ⊢ A_C〉 (45 przypadków). Odwrotnie dla fig. II: kolejność tradycyjna, tzn. 〈A_B, C_B ⊢ C_A〉 przeważa 38:27. W fig. III oba rodzaje mają po tyle samo przypadków, za mało jednak by coś na tej podstawie wnioskować (7:7).

Tryby skondycjonalizowane (sylogizmy hipotetyczne, różniące się od zwykłych tym, że wniosek ma charakter implikacji) są ciekawsze. W fig. I stosunek udziału 1c do 1mc, czyli 〈A_B ⊢ B_C → A_C〉 do 〈B_C ⊢ A_B → A_C〉 wynosi 11:1! W fig. II stosunek udziału 2c:2mc, czyli 〈A_B ⊢ C_B → A_C〉 do 〈A_B ⊢ C_B → C_A〉 wynosi już 6:0, ale pięć z tych sześciu przypadków pochodzi z jednego utworu (Dissoi logoi), nie można więc niczego ogólnego stąd wywnioskować.

Wśród reguł nazwowych rzuca się w oczy minimalny udział reguł innych niż dwuprzesłankowe reguły o terminach prostych (220): trójprzesłankowych reguł o terminach prostych jest już tylko 44, pozostałych (jedno-, cztero-, pięcio- i dziewięcioprzesłankowych razem): 37. Reguł o terminach złożonych (z ∩ lub ∪) jest tylko 28.

Jedynymi zależnościami między grupami tekstów, jakie da się jednoznacznie wychwycić, są proporcje reguł nazwowych do zdaniowych: w tekstach sokratyków ich procentowy udział wynosi odpowiednio 76 i 12, u eleatów 15 i 85, we fr. 53: 32 i 34, u innych filozofów 45:45 (Gorgiasz: 5 i 79, Dissoi logoi: 100 i 0), a w tekstach pozafilozoficznych: 32 i 57.

4. Reguły wg nazw zwyczajowych

Tabele poniższe ilustrują występowanie tych reguł logicznych, które mają swoje nazwy zwyczajowe: standardowych trybów sylogistycznych i niektórych reguł rachunku zdań.

Reguły nienazwane zostały podzielone wyczerpująco i rozłącznie na zdaniowe, nazwowe i mieszane. Do nazwowych (poza grupą 1.) zostały włączone wszystkie reguły nie zawierające funktorów zdaniowych oraz sylogizmy skondycjonalizowane (c) z grupy 3. Do zdaniowych zostały włączone wszystkie reguły nie zawierające funktorów nazwowych.

Tabela 9. Wg miejsc

nazwa zwyczajowamiejscailość miejsc
conv. simplex e3031
Razem konwersje1
barbara18, 18, 23, 27, 41, 42, 42, 64, 68, 71, 74, 74, 79, 95, 95, 104, 105, 107, 107, 123, 123, 135, 140, 14824
barbara m18, 20, 22, 22, 27, 34, 46, 57, 60, 84, 98, 99, 101, 110, 112, 116, 120, 120, 123, 125, 125, 126, 140, 140, 141, 141, 146, 147, 153, 158, 159, 20832
barbara c38, 56, 583
Razem barbara59
celarent45, 100, 126, 1374
celarent m14, 29, 37, 39, 45, 48, 64, 91, 96, 99, 116, 125, 129, 140, 141, 15016
celarent c16, 38, 38, 2164
Razem celarent24
darii137, 1372
darii c531
Razem darii3
ferio c531
Razem ferio1
Razem ważne tryby fig. I87
cesare26, 26, 33, 145, 1565
cesare m26, 26, 48, 50, 50, 67, 76, 76, 129, 152, 207, 20712
Razem cesare17
camestres14, 17, 18, 18, 26, 37, 53, 53, 53, 91, 96, 124, 125, 137, 14415
camestres m33, 53, 53, 92, 144, 1566
Razem camestres21
festino70, 882
Razem festino2
baroco351
baroco m47, 82, 1013
baroco c91
Razem baroco5
Razem ważne tryby fig. II45
darapti741
Razem darapti1
disamis m c321
Razem disamis1
datisi871
Razem datisi1
felapton88, 3062
Razem felapton2
bocardo m861
Razem bocardo1
Razem ferison0
Razem ważne tryby fig. III6
Razem ważne tryby fig. IV0
Razem konwersje i ważne tryby fig. I–IV139
łańcuszniki redukowalne do ważnych trybów fig. I–IV5, 8, 15, 21, 22, 27, 27, 27, 27, 32, 36, 53, 54, 61, 62, 65, 69, 69, 72, 73, 77, 80, 93, 97, 99, 99, 102, 102, 121, 128, 131, 131, 132, 148, 155, 15636
„calerent” (paralogizm)103, 1032
ω-reguła (epagoge)1331
nienazwane nazwowe3, 14, 18, 18, 19, 25, 25, 25, 25, 28, 31, 31, 31, 31, 40, 40, 43, 43, 43, 46, 46, 46, 46, 46, 48, 48, 50, 51, 51, 51, 51, 51, 51, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 66, 67, 68, 76, 79, 79, 83, 85, 86, 93, 93, 94, 98, 107, 108, 108, 111, 112, 113, 114, 114, 115, 117, 118, 118, 118, 119, 119, 119, 119, 120, 120, 120, 120, 121, 121, 121, 121, 124, 124, 125, 125, 126, 126, 127, 127, 128, 129, 129, 129, 129, 133, 133, 133, 133, 133, 134, 134, 137, 137, 137, 137, 137, 137, 138, 138, 138, 138, 139, 140, 141, 141, 142, 143, 146, 148, 149, 151, 154, 156, 156, 157, 209, 217, 217, 217, 217, 217, 218, 218, 218, 219, 219, 219, 220, 220, 220, 220, 301, 301, 301, 301, 301, 301, 301, 302, 303, 304, 305, 305155
Razem reguły nazwowe333
reguła odrywania2, 51, 51, 53, 53, 53, 53, 53, 53, 66, 75, 130, 130, 149, 153, 202, 207, 207, 214, 30720
przechodniość implikacji11, 51, 122, 2154
Razem reguły czysto implikacyjne24
kontrapozycja201, 2062
słaba reg. dowodzenia niewprost1, 1, 1, 1, 6, 14, 16, 16, 32, 38, 38, 38, 49, 52, 53, 53, 53, 53, 53, 53, 53, 55, 63, 90, 136, 204, 205, 207, 207, 210, 213, 213, 213, 21534
słaby dowód niewprost24, 37, 43, 88, 99, 129, 130, 130, 131, 30710
mocna reg. dowodzenia niewprost4, 9, 12, 207, 2115
mocny dowód niewprost1011
Razem wnioskowania niewprost52
nienazwane zdaniowe1, 2, 10, 35, 44, 44, 45, 51, 53, 53, 53, 78, 108, 108, 136, 203, 212, 213, 213, 213, 213, 213, 214, 214, 215, 307, 307, 307, 30729
Razem reguły zdaniowe105
nienazwane mieszane3, 10, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 59, 66, 81, 89, 108, 119, 121, 130, 134, 138, 138, 140, 140, 146, 216, 216, 21630
Razem468

Tabela 10. Konwersje i ważne tryby fig. I–IV wg grup tekstów

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
conv. simplex e                     11
Razem konwersje                     11
barbara     242444282211       24
barbara m     3231517645 3  1  1 32
barbara c     33   12          3
Razem barbara     5958959158714  1  1 59
celarent     44 1 111         4
celarent m1  1 151511251311       16
celarent c1  1 32   2      11   4
Razem celarent2  2 222112282411  11   24
darii     22    2          2
darii c     1          1     1
Razem darii     32    2    1     3
ferio c     1          1     1
Razem ferio     1          1     1
Razem ważne tryby fig. I2  2 85811071123121125 221 1 87
cesare     5522   1         5
cesare m     121023  13 12      12
Razem cesare     171545  14 12      17
camestres2 11 13103 2311   3     15
camestres m     64 2 1 1   2     6
Razem camestres2 11 1914322412   5     21
festino     22 11            2
Razem festino     22 11            2
baroco     11   1           1
baroco m     33  11 1         3
baroco c1   1                 1
Razem baroco1   144  12 1         5
Razem ważne tryby fig. II3 1114235784627 125     45
darapti     11 1             1
Razem darapti     11 1             1
disamis m c     111              1
Razem disamis     111              1
datisi     11  1            1
Razem datisi     11  1            1
felapton     11  1           12
Razem felapton     11  1           12
bocardo m     11  1            1
Razem bocardo     11  1            1
Razem ferison                      0
Razem ważne tryby fig. III     55113           16
Razem ważne tryby fig. IV                      0
wszystko50131132121181618291418262721012139

Tabela 11. Te same dane, procenty

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
conv. simplex e     00              501
Razem konwersje     00              501
barbara     18202225112814115017       17
barbara m     242628639212928 50  50  100 23
barbara c     22   314          2
Razem barbara     45485031505257395067  50  100 42
celarent     33 6 376         3
celarent m20  33 11126611177175017       12
celarent c20  33 22   7      50100   3
Razem celarent40  67 1717613112814225017  50100   17
darii     22    14          1
darii c     10         14     1
Razem darii     22    14    14     2
ferio c     10         14     1
Razem ferio     10         14     1
Razem ważne tryby fig. I40  67 646756446179866110083 29100100 100 63
cesare     441113   6         4
cesare m     981119  717 17100      9
Razem cesare     13122231  722 17100      12
camestres40 10033 10817 111076   43     11
camestres m     53 13 3 6   29     4
Razem camestres40 10033 141217131114711   71     15
festino     22 66            1
Razem festino     22 66            1
baroco     11   3           1
baroco m     22  63 6         2
baroco c20   10000               1
Razem baroco20   10033  67 6         4
Razem ważne tryby fig. II60 100331003229395022211439 1710071     32
darapti     11 6             1
Razem darapti     11 6             1
disamis m c     116              1
Razem disamis     116              1
datisi     11  6            1
Razem datisi     11  6            1
felapton     11  6           501
Razem felapton     11  6           501
bocardo m     11  6            1
Razem bocardo     11  6            1
Razem ferison     00               0
Razem ważne tryby fig. III     446617           504
Razem ważne tryby fig. IV     00               0
100%=50131132121181618291418262721012139

Tabela 12. Wszystkie reguły nazwowe wg grup tekstów

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
konwersje i ważne tryby fig. I–IV5 131132121181618291418262721 12139
łańcuszniki redukowalne do trybów fig. I–IV32 1 3332791742 2 1     36
„calerent” (paralogizm)     22   2           2
ω-reguła (epagoge)     11 1             1
nienazwane nazwowe2 11 141113122224141522 4 1216 15112155
wszystko10225130926937484352334221222018115214333

Tabela 13. Te same dane, procenty

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
konwersje i ważne tryby fig. I–IV50 50601004345493342564243100501003511100 501442
łańcuszniki redukowalne do trybów fig. I–IV30100 20 11121919213125 17 5     11
„calerent” (paralogizm)     11   4           1
ω-reguła (epagoge)     00 2             0
nienazwane nazwowe20 5020 4642324656274552 33 6089 100508647
100%=10225130926937484352334221222018115214333

Tabela 14. Reguły zdaniowe wg grup tekstów

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
reguła odrywania1 1  188 3  12 23611  120
przechodniość implikacji1   132  1  1    11   4
Razem reguły czysto implikacyjne2 1 12110 31 13 23622  124
kontrapozycja     2         2      2
słaba reg. dowodzenia niewprost8143 2610111331  4754 1 34
słaby dowód niewprost     991412 1        110
mocna reg. dowodzenia niewprost31  22         1 1  1 5
mocny dowód niewprost     11   1           1
Razem wnioskowania niewprost1124324020252632  7764 2152
nienazwane zdaniowe3 2 1229 2 3 4  1399  429
wszystko162734833921039490211161715026105

Tabela 15. Te same dane, procenty

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
reguła odrywania6 14  2221 30  2522 100273867  1719
przechodniość implikacji6   2545  33  11    67   4
Razem reguły czysto implikacyjne13 14 252526 3033 2533 10027381213  1723
kontrapozycja     2         18      2
słaba reg. dowodzenia niewprost505057100 3126501033337511  36442927 50 32
słaby dowód niewprost     112350403322 11        1710
mocna reg. dowodzenia niewprost1950  5020        9 6  50 5
mocny dowód niewprost     13   11           1
Razem wnioskowania niewprost69100571005048511005067677522  64443527 1001750
nienazwane zdaniowe19 29 252723 20 33 44  9195360  6728
100%=162734833921039490211161715026105

Tabela 16. Wszystkie reguły wg grup tekstów

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
reguły nazwowe10225130926937484352334221222018115214333
reguły zdaniowe16273483392103949 211161715 26105
nienazwane mieszane2 1 12814 23261   1133   30
wszystko28410864203223960496343522141347381915420468

Tabela 17. Te same dane, procenty

nazwa zwyczajowagrupywszystko
1–412345–175–1256789101112131415–1715161718
reguły nazwowe36502063177484958088837781100861543475100507071
reguły zdaniowe57507038672012517614917 1485344579 503022
nienazwane mieszane7 10 1774 363142   23816   6
100%=28410864203223960496343522141347381915420468

Tabele te pozwalają na przeprowadzenie podziału wśród znalezionych reguł pod względem ich sensu logicznego.

Po pierwsze, większość wszystkich reguł stanowią reguły nazwowe, czyli sylogizmy (71% wszędzie, 84% u sokratyków). Spośród reguł nazwowych większość stanowią tryby posługujące się czterema klasycznymi funktorami (⊆, ∥, ∦, ⊈, czyli scholastyczne a, e, i, o; odpowiednio: 53% i 57%) — na tryby używające przynajmniej jednego z pozostałych pięciu funktorów nazwowych (lub funktora specyficznego) przypada 47% (42% u sokratyków). Spośród tych pierwszych tylko 21% to tryby o ilości przesłanek różnej od dwóch. Tak więc, wprawdzie klasyczne, Arystotelesowe sylogizmy dwuprzesłankowe (bez figury IV) stanowią tylko odpowiednio 29% (37%) wszystkich znalezionych reguł, to stanowią one największą i najjednorodniejszą grupę, mogą być więc śmiało nazwane logiką par excellence jeszcze należy, że ważne tryby fig. I (sylogizmy doskonałe Arystotelesa) stanowią 63% (67%) wszystkich, zaś sam tryb „barbara” — 42% (48%).

Należy zrewidować wcześniejsze uwagi o proporcji trybów standardowych do trybów z przestawieniem przesłanek. Widać bowiem niezwykle wyraźnie, że w fig. I, gdzie stosunek ten wynosił 45:60, podczas gdy dla trybu „barbara” wynosi on 24:32 (3:4, a więc tyle samo), to dla trybu „celarent” aż 4:16 (1:4). W fig. II, gdzie ogólnie było 38:27, dla trybu „cesare” jest 5:12 (1,7:4), a dla „camestres” 15:6 (4:1,6). Można więc podsumować, że niezależnie od układu terminów, proporcja układu aee (⊆∥∥) do eae (∥⊆∥) wynosi 43:15, czyli 4:1,4.

Z logiki czysto zdaniowej, która obejmuje 22% (12% u sokratyków) wszystkich reguł, należy zwrócić uwagę przede wszystkim na logikę implikacyjno-negacyjną, która stanowi 72% (77%). Mniejsza jej część to rachunek czystej implikacji: reguła odrywania to odpowiednio 19% i 21%, a przechodniość implikacji 4% (5%) wszystkich reguł zdaniowych. Reszta, a zarazem połowa wszystkich reguł zdaniowych to różne formy dowodzenia niewprost. Składają się na nie: kontrapozycja (np. α→β ⊢ ~β→~α), reguła dowodzenia niewprost (np. α→β, ~β ⊢ ~α), czy wreszcie dowód niewprost (np. (α, Γ ⊢ β), ~β |- ~α); w regułach tych miejsce może zmieniać negacja, można je też rozbudowywać o przechodniość implikacji (np. α→β, β→~γ, γ ⊢ ~α). Wśród różnych form dowodzenia niewprost ważniejszy od podziału na kontrapozycję, regułę dowodzenia niewprost i dowody niewprost jest podział na dowodzenie słabe (formuły zanegowanej) i mocne (formuły pozytywnej). Stosunek ilości reguł obalających (z negacją we wniosku) do reguł mocnych wynosi 46:6 (odpowiednio 19:1 u sokratyków).

5. Ilość przesłanek w regułach

Tabela 18. Wg miejsc

ilość przesłanekmiejscailość miejsc
12, 9, 16, 25, 25, 32, 38, 38, 38, 43, 44, 48, 48, 51, 53, 53, 53, 53, 53, 53, 56, 58, 121, 124, 126, 128, 133, 134, 138, 157, 201, 206, 216, 218, 218, 219, 219, 220, 220, 220, 220, 301, 301, 303, 30545
21, 1, 1, 1, 2, 3, 4, 6, 9, 10, 12, 14, 14, 14, 14, 16, 16, 17, 18, 18, 18, 18, 18, 18, 18, 20, 22, 22, 23, 24, 26, 26, 26, 26, 26, 27, 27, 29, 31, 31, 31, 32, 33, 33, 34, 35, 35, 37, 37, 37, 38, 38, 38, 39, 40, 41, 42, 42, 43, 43, 43, 45, 45, 45, 46, 46, 46, 46, 47, 48, 48, 49, 50, 50, 50, 51, 51, 51, 51, 51, 51, 51, 51, 51, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 57, 60, 63, 64, 64, 66, 66, 66, 67, 67, 68, 68, 70, 71, 74, 74, 74, 75, 76, 76, 78, 79, 79, 79, 82, 83, 84, 85, 86, 86, 87, 88, 88, 88, 90, 91, 91, 92, 95, 95, 96, 96, 98, 98, 99, 99, 99, 100, 101, 101, 101, 103, 103, 104, 105, 107, 107, 107, 108, 108, 108, 108, 110, 111, 112, 114, 115, 116, 116, 117, 118, 119, 120, 120, 120, 120, 123, 123, 123, 124, 125, 125, 125, 125, 125, 126, 126, 127, 127, 129, 129, 129, 129, 129, 129, 130, 130, 130, 130, 130, 131, 133, 133, 133, 134, 135, 137, 137, 137, 137, 137, 137, 137, 137, 137, 138, 138, 139, 140, 140, 140, 140, 140, 141, 141, 141, 141, 142, 143, 144, 144, 145, 146, 146, 147, 148, 148, 149, 149, 150, 152, 153, 153, 156, 156, 156, 158, 159, 202, 205, 207, 207, 207, 207, 207, 207, 208, 211, 214, 215, 215, 217, 217, 217, 217, 217, 218, 219, 301, 301, 301, 301, 302, 306, 307, 307292
33, 8, 10, 15, 19, 21, 25, 25, 27, 27, 27, 27, 31, 32, 40, 44, 46, 53, 53, 53, 53, 53, 53, 53, 53, 54, 61, 65, 69, 72, 73, 76, 81, 93, 93, 94, 102, 108, 113, 114, 118, 118, 119, 119, 119, 119, 120, 121, 121, 121, 122, 124, 125, 128, 129, 131, 131, 133, 136, 136, 137, 138, 138, 138, 140, 140, 146, 148, 155, 156, 156, 203, 204, 207, 209, 210, 213, 214, 215, 216, 216, 216, 301, 30784
45, 11, 22, 28, 36, 46, 53, 53, 62, 69, 80, 89, 97, 99, 99, 112, 120, 126, 141, 151, 154, 213, 303, 305, 307, 307, 30727
51, 59, 93, 102, 121, 121, 132, 212, 213, 30410
653, 2132
7134, 213, 2143
82131
9771
102131
112131
ω1331
Razem468

Tabela 19. Wg grup tekstów

ilość przesłanekgrupywszystko
1–412345–175–1256789101112131415–1715161718
13 1113821352335  26918 445
2182763266216243530462940210830123728292
3411117859101413794 23886 2284
421  12017212613 2 211  527
51 1  86 2211     22  110
6     2          111   2
7     31 1        22   3
8     1           11   1
9     11 1             1
10     1           11   1
11     1           11   1
ω     11 1             1
wszystko28410864203223960496343522141347381915420468

Tabela 20. Te same dane, procenty

ilość przesłanekgrupywszystko
1–412345–175–1256789101112131415–1715161718
111 1013179,06,58845710  151324553 209,6
2645070755063,367,1625861736777100716264321647504062,4
3142510131718,618,326232711218 1423172132 501017,9
4725  174,85,35241026 14 435  255,8
54 10  1,91,9 3422     511  52,1
6     0,5          235   0,4
7     0,70,3 2        511   0,6
8     0,2           35   0,2
9     0,20,3 2             0,2
10     0,2           35   0,2
11     0,2           35   0,2
ω     0,20,3 2             0,2
100%=28410864203223960496343522141347381915420468

Jak widać, reguły dwuprzesłankowe stanowią prawie 2/3 ogólnej liczby reguł (62,4% dla wszystkich, 67,1% dla sokratyków). Poza regułami trójprzesłankowymi (17,9% i 18,3% odpowiednio), jednoprzesłankowymi (9,6% i 6,5%) oraz czteroprzesłankowymi (5,8% i 5,3%), żaden inny typ nie przekracza progu jednego procenta (w sumie mają 2,1% i 2,8%).

6. Zestawy funktorów w regułach

Tabela 21. Wg miejsc

funktorymiejscailość miejsc
5, 15, 18, 18, 18, 20, 21, 22, 22, 22, 23, 27, 27, 27, 27, 27, 27, 32, 34, 36, 41, 42, 42, 46, 54, 57, 60, 61, 62, 64, 68, 69, 69, 71, 72, 73, 74, 74, 77, 79, 80, 84, 95, 95, 97, 98, 99, 99, 101, 102, 102, 104, 105, 107, 107, 110, 112, 116, 120, 120, 121, 123, 123, 123, 125, 125, 126, 132, 135, 140, 140, 140, 141, 141, 146, 147, 148, 148, 153, 155, 156, 158, 159, 20884
⊆ =18, 18, 25, 25, 79, 114, 120, 120, 121, 127, 129, 129, 133, 133, 148, 149, 217, 217, 217, 218, 219, 30422
⊆ = ¬25, 1142
⊆ = ∥461
⊆ = ∥ sp401
⊆ = ∩118, 1382
⊆ = ∪1201
⊆ = →51, 218, 218, 219, 219, 220, 220, 220, 2209
⊆ = sp19, 119, 137, 137, 137, 3056
⊆ ∦74, 87, 137, 1374
⊆ ∦ ¬ ⊈ sp861
⊆ ∦ ∥ ⊈1281
⊆ ∦ ∥ ∪ → ~531
⊆ ∦ ∥ →531
⊆ ∦ ∥ → ~531
⊆ ∦ →32, 532
⊆ ∦ sp137, 137, 1373
⊆ ¬48, 792
⊆ ¬ ∥25, 40, 46, 48, 53, 53, 53, 53, 67, 93, 94, 98, 113, 121, 126, 128, 133, 141, 157, 30320
⊆ ¬ ∥ ∩1241
⊆ ¬ ∥ ∩ → ∧591
⊆ ∥8, 14, 14, 17, 18, 18, 26, 26, 26, 26, 26, 29, 33, 33, 37, 37, 39, 45, 45, 48, 48, 50, 50, 53, 53, 53, 53, 53, 64, 65, 67, 76, 76, 91, 91, 92, 93, 96, 96, 99, 99, 100, 103, 103, 116, 124, 125, 125, 126, 129, 129, 131, 131, 137, 137, 140, 141, 144, 144, 145, 150, 152, 156, 156, 207, 20766
⊆ ∥ ⊈88, 3062
⊆ ∥ ≠46, 111, 117, 142, 3025
⊆ ∥ ∩14, 1122
⊆ ∥ ∩ ∪53, 53, 533
⊆ ∥ ∪53, 76, 118, 120, 125, 156, 2097
⊆ ∥ ∪ →216, 2162
⊆ ∥ ∪ sp53, 1192
⊆ ∥ →16, 38, 38, 53, 2165
⊆ ∥ → ~ ∧2161
⊆ ∥ sp1261
⊆ ⊈35, 47, 82, 86, 1015
⊆ ⊈ ≠83, 85, 1433
⊆ ⊈ →91
⊆ ⊈ → ~811
⊆ ⊈ ⊥891
⊆ ∩28, 107, 121, 138, 140, 1546
⊆ ∩ ∪1181
⊆ ∩ →138, 1382
⊆ ∩ sp138, 1382
⊆ →38, 53, 56, 58, 66, 119, 121, 1468
⊆ → sp140, 1402
⊆ ∧1301
⊆ sp31, 31, 31, 31, 66, 68, 119, 119, 139, 141, 151, 30512
=3, 43, 51, 51, 51, 121, 129, 133, 133, 133, 134, 134, 217, 217, 301, 301, 30117
= ¬43, 108, 1083
= ¬ ⊈431
= ∥125, 127, 129, 146, 301, 3016
= ≠511
= ≠ ⊻31
= ∩ ∪ →1341
= →1081
= → ∧ sp101
= sp301, 3012
∦ ¬ ∥ ∪ → ⊻531
∦ ∥ ⊈70, 882
∦ ∥ ⊈ →531
∦ ∥ ≠115, 1562
∦ ∥ ∩ ∪ → 531
∦ ∥ ∪ →531
∦ ∥ ∪ → ~ ∧531
¬ ∥46, 46, 50, 51, 53, 53, 53, 938
¬ ∥ ∩1241
3031
⊈ → ~53, 532
≠ → ~531
2, 11, 51, 51, 51, 53, 53, 53, 53, 53, 53, 66, 75, 122, 130, 130, 149, 153, 202, 207, 207, 214, 215, 30724
→ ~1, 1, 1, 1, 4, 6, 9, 12, 14, 16, 16, 32, 38, 38, 38, 45, 49, 52, 53, 53, 53, 53, 53, 53, 53, 55, 63, 90, 136, 201, 204, 205, 206, 207, 207, 207, 210, 211, 213, 213, 213, 21542
→ ~ ∧51, 53, 2033
→ ~ ∧ ∨531
→ ~ ∨2, 213, 213, 213, 213, 213, 214, 2148
→ ~ ∨ ⊻ ↔441
→ ~ ⊻1361
→ ∧10, 53, 78, 108, 215, 307, 307, 307, 3079
→ ∨2121
~24, 37, 43, 88, 99, 101, 129, 130, 130, 131, 30711
~ ∧ ∨ ⊻ ↔441
~ ∨1, 1082
~ ⊻351
Razem468

Tabela 22. Wg grup tekstów

funktorygrupywszystko
1–412345–175–1256789101112131415–1715161718
21 1 8281161010209916  1  1 84
⊆ =     21164532   2  5 5 122
⊆ = ¬     221  1           2
⊆ = ∥     11     1         1
⊆ = ∥ sp     11   1           1
⊆ = ∩     22  1 1          2
⊆ = ∪     11  1            1
⊆ = →     91     1    8 8  9
⊆ = sp     551 1 3         16
⊆ ∦     44 11 2          4
⊆ ∦ ¬ ⊈ sp     11  1            1
⊆ ∦ ∥ ⊈     11 1             1
⊆ ∦ ∥ ∪ → ~     1          1     1
⊆ ∦ ∥ →     1          1     1
⊆ ∦ ∥ → ~     1          1     1
⊆ ∦ →     211        1     2
⊆ ∦ sp     33    3          3
⊆ ¬     22   1 1         2
⊆ ¬ ∥     1915151413   4    120
⊆ ¬ ∥ ∩     11  1            1
⊆ ¬ ∥ ∩ → ∧     11    1          1
⊆ ∥4112 62558124135101225     66
⊆ ∥ ⊈     11  1           12
⊆ ∥ ≠     44  11 2        15
⊆ ∥ ∩1  1 11   1           2
⊆ ∥ ∩ ∪     3          3     3
⊆ ∥ ∪     75 23      11  1 7
⊆ ∥ ∪ →     2           22   2
⊆ ∥ ∪ sp     21  1      1     2
⊆ ∥ →1  1 42   2     111   5
⊆ ∥ → ~ ∧     1           11   1
⊆ ∥ sp     11 1             1
⊆ ⊈     55  22 1         5
⊆ ⊈ ≠     33  2  1         3
⊆ ⊈ →1   1                 1
⊆ ⊈ → ~     11   1           1
⊆ ⊈ ⊥     11  1            1
⊆ ∩     661 112  1       6
⊆ ∩ ∪     11  1            1
⊆ ∩ →     22    2          2
⊆ ∩ sp     22    2          2
⊆ →     87  2131   1     8
⊆ → sp     22    2          2
⊆ ∧     11 1             1
⊆ sp     11114 2 31 1      112
=1 1  1311 61  4    2 2 317
= ¬     33   2 1         3
= ¬ ⊈     11     1         1
= ∥     44 21  1        26
= ≠     11     1         1
= ≠ ⊻1 1                   1
= ∩ ∪ →     11 1             1
= →     11   1           1
= → ∧ sp1   1                 1
= sp                     22
∦ ¬ ∥ ∪ → ⊻     1          1     1
∦ ∥ ⊈     22 11            2
∦ ∥ ⊈ →     1          1     1
∦ ∥ ≠     22 11            2
∦ ∥ ∩ ∪ →      1          1     1
∦ ∥ ∪ →     1          1     1
∦ ∥ ∪ → ~ ∧     1          1     1
¬ ∥     85 1   4   3     8
¬ ∥ ∩     11  1            1
                     11
⊈ → ~     2          2     2
≠ → ~     1          1     1
2 1 12110 31 13 23622  124
→ ~1124323111111332  7764 2 42
→ ~ ∧     31     1  11     3
→ ~ ∧ ∨     1          1     1
→ ~ ∨1 1  7           77   8
→ ~ ∨ ⊻ ↔     11     1         1
→ ~ ⊻     11 1             1
→ ∧1   142 1 1     111  49
→ ∨     1           11   1
~     10101413 1        111
~ ∧ ∨ ⊻ ↔     11     1         1
~ ∨1 1  11   1           2
~ ⊻     11   1           1
wszystko28410864203223960496343522141347381915420468

Tabela 23. Te same dane, procenty

funktorygrupywszystko
1–412345–175–1256789101112131415–1715161718
725 13 20254117203221175043  3  25 17,9
⊆ =     5510863   14  13 33 54,7
⊆ = ¬     013  2           0,4
⊆ = ∥     00     2         0,2
⊆ = ∥ sp     00   2           0,2
⊆ = ∩     01  2 2          0,4
⊆ = ∪     00  2            0,2
⊆ = →     20     2    21 53  1,9
⊆ = sp     123 2 7         51,3
⊆ ∦     11 22 5          0,9
⊆ ∦ ¬ ⊈ sp     00  2            0,2
⊆ ∦ ∥ ⊈     00 2             0,2
⊆ ∦ ∥ ∪ → ~     0          2     0,2
⊆ ∦ ∥ →     0          2     0,2
⊆ ∦ ∥ → ~     0          2     0,2
⊆ ∦ →     003        2     0,4
⊆ ∦ sp     11    7          0,6
⊆ ¬     01   2 2         0,4
⊆ ¬ ∥     55382626   9    54,3
⊆ ¬ ∥ ∩     00  2            0,2
⊆ ¬ ∥ ∩ → ∧     00    2          0,2
⊆ ∥14251025 15172120821121950141511     14,1
⊆ ∥ ⊈     00  2           50,4
⊆ ∥ ≠     11  22 4        51,1
⊆ ∥ ∩4  13 00   2           0,4
⊆ ∥ ∩ ∪     1          6     0,6
⊆ ∥ ∪     22 36      23  25 1,5
⊆ ∥ ∪ →     0           511   0,4
⊆ ∥ ∪ sp     00  2      2     0,4
⊆ ∥ →4  13 11   3     235   1,1
⊆ ∥ → ~ ∧     0           35   0,2
⊆ ∥ sp     00 2             0,2
⊆ ⊈     12  43 2         1,1
⊆ ⊈ ≠     11  4  2         0,6
⊆ ⊈ →4   17                 0,2
⊆ ⊈ → ~     00   2           0,2
⊆ ⊈ ⊥     00  2            0,2
⊆ ∩     123 225  7       1,3
⊆ ∩ ∪     00  2            0,2
⊆ ∩ →     01    5          0,4
⊆ ∩ sp     01    5          0,4
⊆ →     22  4272   2     1,7
⊆ → sp     01    5          0,4
⊆ ∧     00 2             0,2
⊆ sp     3310 4 72 7      52,6
=4 10  33 102  8    5 13 153,6
= ¬     11   3 2         0,6
= ¬ ⊈     00     2         0,2
= ∥     11 32  2        101,3
= ≠     00     2         0,2
= ≠ ⊻4 10                   0,2
= ∩ ∪ →     00 2             0,2
= →     00   2           0,2
= → ∧ sp4   17                 0,2
= sp                     100,4
∦ ¬ ∥ ∪ → ⊻     0          2     0,2
∦ ∥ ⊈     01 22            0,4
∦ ∥ ⊈ →     0          2     0,2
∦ ∥ ≠     01 22            0,4
∦ ∥ ∩ ∪ →      0          2     0,2
∦ ∥ ∪ →     0          2     0,2
∦ ∥ ∪ → ~ ∧     0          2     0,2
¬ ∥     22 2   8   6     1,7
¬ ∥ ∩     00  2            0,2
                     50,2
⊈ → ~     0          4     0,4
≠ → ~     0          2     0,2
7 10 1753 52 26 142313511  55,1
→ ~395040383373322574  54151621 50 9,0
→ ~ ∧     10     2  82     0,6
→ ~ ∧ ∨     0          2     0,2
→ ~ ∨4 10  2           1837   1,7
→ ~ ∨ ⊻ ↔     00     2         0,2
→ ~ ⊻     00 2             0,2
→ ∧4   1711 2 2     235  201,9
→ ∨     0           35   0,2
~     233725 2        52,4
~ ∧ ∨ ⊻ ↔     00     2         0,2
~ ∨  10  00   2           0,4
~ ⊻     00   2           0,2
100%=28410864203223960496343522141347381915420468

Z tabeli tej nie da się wiele wyczytać. Komentarzem do niej są tabele następne, ukazujące różne aspekty rozkładu funktorów w regułach.

7. Częstość występowania funktorów w regułach

Tabela 24. Wg miejsc

funktormiejscailość miejsc
5, 8, 9, 14, 14, 14, 15, 16, 17, 18, 18, 18, 18, 18, 18, 18, 19, 20, 21, 22, 22, 22, 23, 25, 25, 25, 25, 26, 26, 26, 26, 26, 27, 27, 27, 27, 27, 27, 28, 29, 31, 31, 31, 31, 32, 32, 33, 33, 34, 35, 36, 37, 37, 38, 38, 38, 39, 40, 40, 41, 42, 42, 45, 45, 46, 46, 46, 46, 47, 48, 48, 48, 48, 50, 50, 51, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 54, 56, 57, 58, 59, 60, 61, 62, 64, 64, 65, 66, 66, 67, 67, 68, 68, 69, 69, 71, 72, 73, 74, 74, 74, 76, 76, 76, 77, 79, 79, 79, 80, 81, 82, 83, 84, 85, 86, 86, 87, 88, 89, 91, 91, 92, 93, 93, 94, 95, 95, 96, 96, 97, 98, 98, 99, 99, 99, 99, 100, 101, 101, 102, 102, 103, 103, 104, 105, 107, 107, 107, 110, 111, 112, 112, 113, 114, 114, 116, 116, 117, 118, 118, 118, 119, 119, 119, 119, 119, 120, 120, 120, 120, 120, 120, 121, 121, 121, 121, 121, 123, 123, 123, 124, 124, 125, 125, 125, 125, 125, 126, 126, 126, 126, 127, 128, 128, 129, 129, 129, 129, 130, 131, 131, 132, 133, 133, 133, 135, 137, 137, 137, 137, 137, 137, 137, 137, 137, 137, 138, 138, 138, 138, 138, 138, 139, 140, 140, 140, 140, 140, 140, 140, 141, 141, 141, 141, 141, 142, 143, 144, 144, 145, 146, 146, 147, 148, 148, 148, 149, 150, 151, 152, 153, 154, 155, 156, 156, 156, 156, 157, 158, 159, 207, 207, 208, 209, 216, 216, 216, 216, 217, 217, 217, 218, 218, 218, 219, 219, 219, 220, 220, 220, 220, 302, 303, 304, 305, 305, 306307
=3, 3, 10, 18, 18, 19, 25, 25, 25, 40, 43, 43, 43, 46, 51, 51, 51, 51, 51, 79, 108, 108, 108, 114, 114, 118, 119, 120, 120, 120, 121, 121, 125, 127, 127, 129, 129, 129, 129, 133, 133, 133, 133, 133, 134, 134, 134, 137, 137, 137, 138, 146, 148, 149, 217, 217, 217, 217, 217, 218, 218, 218, 219, 219, 219, 220, 220, 220, 220, 301, 301, 301, 301, 301, 301, 301, 304, 30578
32, 53, 53, 53, 53, 53, 53, 53, 53, 53, 70, 74, 86, 87, 88, 115, 128, 137, 137, 137, 137, 137, 15623
¬25, 25, 40, 43, 43, 46, 46, 46, 48, 48, 50, 51, 53, 53, 53, 53, 53, 53, 53, 53, 59, 67, 79, 86, 93, 93, 94, 98, 108, 108, 113, 114, 121, 124, 124, 126, 128, 133, 141, 157, 30341
8, 14, 14, 14, 16, 17, 18, 18, 25, 26, 26, 26, 26, 26, 29, 33, 33, 37, 37, 38, 38, 39, 40, 40, 45, 45, 46, 46, 46, 46, 46, 48, 48, 48, 50, 50, 50, 51, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 59, 64, 65, 67, 67, 70, 76, 76, 76, 88, 88, 91, 91, 92, 93, 93, 93, 94, 96, 96, 98, 99, 99, 100, 103, 103, 111, 112, 113, 115, 116, 117, 118, 119, 120, 121, 124, 124, 124, 125, 125, 125, 125, 126, 126, 126, 127, 128, 128, 129, 129, 129, 131, 131, 133, 137, 137, 140, 141, 141, 142, 144, 144, 145, 146, 150, 152, 156, 156, 156, 156, 157, 207, 207, 209, 216, 216, 216, 216, 301, 301, 302, 303, 303, 306149
9, 35, 43, 47, 53, 53, 53, 70, 81, 82, 83, 85, 86, 86, 88, 88, 89, 101, 128, 143, 30621
3, 46, 51, 53, 83, 85, 111, 115, 117, 142, 143, 156, 30213
14, 28, 53, 53, 53, 53, 59, 107, 112, 118, 118, 121, 124, 124, 134, 138, 138, 138, 138, 138, 138, 140, 15423
53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 76, 118, 118, 119, 120, 120, 125, 134, 156, 209, 216, 21622
1, 1, 1, 1, 2, 2, 4, 6, 9, 9, 10, 10, 11, 12, 14, 16, 16, 16, 32, 32, 38, 38, 38, 38, 38, 38, 44, 45, 49, 51, 51, 51, 51, 51, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 56, 58, 59, 63, 66, 66, 75, 78, 81, 90, 108, 108, 119, 121, 122, 130, 130, 134, 136, 136, 138, 138, 140, 140, 146, 149, 153, 201, 202, 203, 204, 205, 206, 207, 207, 207, 207, 207, 210, 211, 212, 213, 213, 213, 213, 213, 213, 213, 213, 214, 214, 214, 215, 215, 215, 216, 216, 216, 216, 218, 218, 219, 219, 220, 220, 220, 220, 307, 307, 307, 307, 307138
~1, 1, 1, 1, 1, 2, 4, 6, 9, 12, 14, 16, 16, 24, 32, 35, 37, 38, 38, 38, 43, 44, 44, 45, 49, 51, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 63, 81, 88, 90, 99, 101, 108, 129, 130, 130, 131, 136, 136, 201, 203, 204, 205, 206, 207, 207, 207, 210, 211, 213, 213, 213, 213, 213, 213, 213, 213, 214, 214, 215, 216, 30779
10, 10, 44, 51, 53, 53, 53, 53, 59, 78, 108, 130, 203, 215, 216, 307, 307, 307, 30719
1, 2, 44, 44, 53, 108, 212, 213, 213, 213, 213, 213, 214, 21414
3, 35, 44, 44, 53, 1366
44, 442
891
specyficzny10, 19, 31, 31, 31, 31, 40, 53, 66, 68, 86, 119, 119, 119, 119, 126, 137, 137, 137, 137, 137, 137, 138, 138, 139, 140, 140, 141, 151, 301, 301, 305, 30533
Dowolny468

Tabela 25. Wg grup tekstów

funktorygrupywszystko
1–412345–175–1256789101112131415–1715161718
921512922513738415139312122201941326307
=3 2 1665161487410 2  15 15 978
     2314144 5    9     23
¬     40322648210   8    141
6114 13710492616227211222654 16149
1   11916 283 3   3    121
1 1  1110 141 4   1    113
1  1 221811528  1 4     23
     229 36      1032 1 22
182646115452749129 211302919825138
~1326326528262936  8151412 2179
2   2136 2 112  1422  419
2 2  123   1 2   188   14
1 1  54 1 1 2   1     6
     22     2         2
     11  1            1
specyf.1   128275151131 1 1    433
wszystko28410864203223960496343522141347381915420468

Tabela 26. Te same dane, procenty

funktorygrupywszystko
1–412345–175–1256789101112131415–1715161718
325010631769,578,0956384819160100861543502187503065,6
=11 20 1715,715,815231611919 14  39 100 4516,7
     5,54,3378 12    19     4,9
¬     9,59,9510813519   17    58,8
21251050 32,632,3234333351640501415551321 253031,8
4   174,55,0 3165 6   6    54,5
4 10  2,63,1 282 8   2    52,8
4  13 5,25,63210319  7 9     4,9
     5,22,8 512      21811 25 4,7
6450605010027,414,05128142817 1485647610053502529,5
~46 60383315,58,7510414712  62323763 50516,9
7   333,11,9 3 224  89511  204,1
7 20  2,90,9   2 4   22142   3,0
4 10  1,21,2 2 2 4   2     1,3
     0,50,6     4         0,4
     0,20,3  2            0,2
specyf.    176,78,4132102302 7 2    207,1
100%=28410864203223960496343522141347381915420468

Spośród dwuargumentowych funktorów zdaniotwórczych od argumentów nazwowych najpopularniejszy zdecydowanie jest funktor ⊆ (tradycyjne a): występuje w 65,6% reguł (78,0% u sokratyków). Po nim następują: ∥ (tradycyjne e): 31,8% (32,3%), = (nie występuje w sylogistyce tradycyjnej): 16,7% (15,8%), ∦ (tradycyjne i): 4,9% (4,3%), ⊈ (tradycyjne o): 4,5% (5,0%) oraz ≠ (nie występuje w sylogistyce tradycyjnej): 2,8% (3,1%).

Wykorzystując informacje o współwystępowaniu funktorów z tabeli 27. możemy stwierdzić, że jakiś tradycyjny funktor ogólny (⊆ lub ∥) występuje w sumie w 412 z 468 reguł (88%), zaś szczegółowy (⊈ lub ∦) w 39 (8%). Z kolei funktory twierdzące (⊆ lub ∦) występują w 316 regułach (68%), a przeczące (∥ lub ⊈) w 164 (35%). Nietradycyjne ≠/≠: 89 (19%).

Z innych funktorów nazwowych należy wymienić negację nazwową (dopełnienie), występującą w 8,8% reguł (u sokratyków w 9,9%) oraz koniunkcję (iloczyn mnogościowy): 4,9% (5,6%) i alternatywę (sumę mnogościową): 4,7% (2,8%). Którakolwiek z dwóch ostatnich występuje w 8,3% wszystkich reguł.

Spośród funktorów od argumentów zdaniowych najpopularniejsza jest implikacja (29,5% i 14,0%) i negacja (16,9% i 8,7%). Pozostałe znajdują się łącznie w 8,8% (4,6%) reguł. Przy rozważaniu koniunkcji i alternatywy pamiętać jednak należy (podobnie zresztą w przypadku koniunkcji i alternatywy nazwowej), że pominięte zostały użycia reguł dołączania alternatywy (np. α ⊢ α∨β) i opuszczania koniunkcji (np. α∧β ⊢ α), jako że niezwykle trudno rozróżnić tekst, który ma być sformalizowany np. na sposób „α∧β ⊢ α” od tego, którego właściwą formalizacją jest „α, β ⊢ α” (w niektórych formalizacjach dedukcji naturalnej przyjmuje się zresztą na mocy konwencji, że te dwa zapisy są równoważne).

W 7,1% (8,4%) reguł znajduje się też funktor specyficzny, który prawie zawsze jest funktorem nazwotwórczym od argumentu nazwowego (raz tylko, u Herodota, są to dwie stałe matematyczne: „90 dni” i „3 miesiące”).

8. Współwystępowanie funktorów

Tabela 27. Ilość reguł, w których współwystępują dane dwa funktory

Na przecięciach wierszy i kolumn dotyczących tego samego funktora znajdują się wartości dla reguł o jednym tylko funktorze.

funktorfunktorwszystko
=¬~sp.
8444142712415820173743   130307
=4417 68123212 1 1  1078
14  21352151031 1  423
¬2762 322 312 1 1  141
124813321679191743 1  4149
151526 3  53    1121
822 73   11  1   13
203139   65 1    223
1725119  6 821 1  222
37121021751582464171131 3138
~4 3 431 2641171342  79
31113  11177 211 119
         11132 22  14
 1111 1 13412 2  6
         12122   2
1    1           1
specyf.30104141 223 1     33
wszystko3077823411492113232213879191462133468

Tabela 28. Prawdopodobieństwo (w %) wystąpienia funktora z lewej strony tabeli przy założeniu, że w danej figurze jest funktor z nagłówka tabeli

funktorfunktorwszystko
=¬~sp.
27566166837162877727516   1009166
=1422 1555151399 5 17  3017
5  592415423745 17  125
¬989 2110 1351 5 17  39
4010577812954398612516 17  1232
512254 23  44    10034
339 514   11  17   3
74476   274 5    65
6322213  26 635 17  65
1215435112482236178189795050 929
~1 13 3148 94614379367100  17
11422  45129 141750 34
         81611 33100  3
 1421 8 525514 100  1
         1351433   0
0    5           0
specyf.101317235 992 5     7
100%=3077823411492113232213879191462133468

9. Ilość różnych funktorów w regułach

Tabela 29. Wg miejsc

ilość funktorówmiejscailość miejsc
12, 3, 5, 11, 15, 18, 18, 18, 20, 21, 22, 22, 22, 23, 24, 27, 27, 27, 27, 27, 27, 32, 34, 36, 37, 41, 42, 42, 43, 43, 46, 51, 51, 51, 51, 51, 51, 53, 53, 53, 53, 53, 53, 54, 57, 60, 61, 62, 64, 66, 68, 69, 69, 71, 72, 73, 74, 74, 75, 77, 79, 80, 84, 88, 95, 95, 97, 98, 99, 99, 99, 101, 101, 102, 102, 104, 105, 107, 107, 110, 112, 116, 120, 120, 121, 121, 122, 123, 123, 123, 125, 125, 126, 129, 129, 130, 130, 130, 130, 131, 132, 133, 133, 133, 134, 134, 135, 140, 140, 140, 141, 141, 146, 147, 148, 148, 149, 153, 153, 155, 156, 158, 159, 202, 207, 207, 208, 214, 215, 217, 217, 301, 301, 301, 303, 307, 307137
21, 1, 1, 1, 1, 4, 6, 8, 9, 10, 12, 14, 14, 14, 16, 16, 17, 18, 18, 18, 18, 25, 25, 26, 26, 26, 26, 26, 28, 29, 31, 31, 31, 31, 32, 33, 33, 35, 35, 37, 37, 38, 38, 38, 38, 39, 43, 45, 45, 45, 46, 46, 47, 48, 48, 48, 49, 50, 50, 50, 51, 51, 52, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 56, 58, 63, 64, 65, 66, 66, 67, 68, 74, 76, 76, 78, 79, 79, 82, 86, 87, 90, 91, 91, 92, 93, 93, 96, 96, 99, 99, 100, 101, 103, 103, 107, 108, 108, 108, 108, 108, 114, 116, 119, 119, 119, 120, 120, 121, 121, 121, 124, 125, 125, 125, 126, 127, 127, 129, 129, 129, 129, 129, 130, 131, 131, 133, 133, 136, 137, 137, 137, 137, 138, 139, 140, 140, 141, 141, 144, 144, 145, 146, 146, 148, 149, 150, 151, 152, 154, 156, 156, 201, 204, 205, 206, 207, 207, 207, 207, 207, 210, 211, 212, 213, 213, 213, 215, 215, 217, 217, 217, 218, 219, 301, 301, 301, 301, 304, 305, 307, 307, 307, 307202
32, 3, 9, 14, 16, 19, 25, 25, 32, 38, 38, 40, 43, 46, 46, 46, 48, 51, 51, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 67, 70, 76, 83, 85, 88, 88, 89, 93, 94, 98, 111, 112, 113, 114, 115, 117, 118, 118, 118, 119, 120, 120, 121, 124, 125, 126, 126, 128, 133, 136, 137, 137, 137, 137, 137, 137, 138, 138, 138, 138, 138, 140, 140, 141, 142, 143, 156, 156, 157, 203, 209, 213, 213, 213, 213, 213, 214, 214, 216, 218, 218, 219, 219, 220, 220, 220, 220, 302, 303, 305, 306102
410, 40, 53, 53, 53, 53, 53, 53, 53, 53, 81, 119, 124, 128, 134, 216, 21617
544, 44, 53, 53, 86, 2166
653, 53, 53, 594
1–6Wszystkie468

Tabela 30. Wg grup tekstów

ilość funktorówgrupywszystko
1–412345–175–1256789101112131415–1715161718
151211126112172313231017183652216137
2173653175136182417291823169171365210202
35 22193644111691410  111178814102
41   1166 222     822   17
5     63  1  2   211   6
6     41    1    3     4
wszystko28410864203223960496343522141347381915420468

Tabela 31. Te same dane, procenty

ilość funktorówgrupywszystko
1–412345–175–1256789101112131415–1715161718
11825201317303544382737233350572313131113253029
26175606350424246403546424450436936343233505043
318 2025172220101833143319  823454253252022
4    1742 343     17511   4
5     11  2  4   435   1
6     10    2    6     1
100%=28410864203223960496343522141347381915420468

Brać pod uwagę należy w zasadzie wyłącznie reguły o 1–3 różnych funktorach (tylko w 6% przypadków może być ich więcej).


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.