Sztoikusok dialektikja

Trtnet s elzmnyek
Eukleidsz, Szkratsz egyik tantvnya alaptotta meg a megarai iskolt, amely a dialektikval s az erisztikval foglalkozott, s amely Parmenidsz s az eleai Znn mveit tanulmnyozta.

Eukleidsz utn, a hagyomny szmos paradoxon

megfogalmazst tulajdontja az iskolnak, pl. szritsz-tpus paradoxonokat s a hazugsg paradoxont. Ezeket megvizsgljuk ksbb!

Kr.e. 300 krl hrom fontos nevet tallunk: Diodrosz Kronoszt,

aki a gyzedelmes argumentumnak szerzje, s aki a modalitsok s a feltteles lltsok igazsgfeltteleinek problmjval foglalkozott; megarai Philnt, akinek szintn az utbbi kt tmban vallott llspontja emltsre mlt; s kitioni Znont (Kr. e. 335-263) aki megarai gondolkodk tantvnyaknt Athnban megalaptotta a sztoikus iskolt.

Khrszipposz (Kr. e. 280-207) dolgozta ki a sztoikus logikai

rendszert. Arisztotelsszel a legnagyobb kori logikus.

A dialektikai iskola (kb. Kr. e. 370 250): Diodrusz Kronusz s megarai Philn
Egy kijelents-, s nem egy terminus logikt dolgozott ki a
dialektikai iskola.

Philn fejtette ki a feltteles lltsok igazsg-feltteleit: egy

Philn azzal rvelt, hogy a feltteles llts igazsg-rtke
vltozhatna az idvel, azaz egy idben hamis lehet, egy msikban igaz.

feltteles llts akkor, s csak akkor hamis, ha az eltag igaz, s az uttag hamis.

Diodrusz gy vlte, hogy egy feltteles llts igaz, ha

az eltag soha se volt igaz s az uttag hamis a mltban, s hogy lehetetlen is, hogy ez brmikor trtnjen. Ezzel pontostja Philn fogalmazst.

Diodrusz azt gondolta, hogy ktrtelm nyelvi kifejezsek nem

lteznek, mert egy beszl ltalban csak egy dolgot akar mondani. A nyelvi homlyossg okozza a beszl s hallgat kztti flrertseket.

A sztoikusok dialektikja
Azt mondtk soli Khrszipposzrl, hogy ha az

istenek hasznlhatnnak egy logikt, akkor az Khrszipposz lenne.

Tbb mint 300 logikrl szl mveket rt. Ezekbl

csak kett maradt fnn srlt tekercsen.

A rszleteket s az sszefoglalsokat megtalljuk

a ksbbi rk mveiben, fknt Diogensz Laertiusznl s Szextusz Empirikusznl.

A sztoikus logika szemantikja

A elmondhatk (lekta) a mi gondolatainknak s kifejtseinknek
mgttes jelentsei. Minktl fggetlen a ltezsk.

Teljes s hinyos lekta van. A lekton hinyos, amikor

a hallgatnak muszj feltenni egy krdst, hogy a lekton jelentse rtet legyen, pl. amikor valaki lefelt mond s mit? krdeznk. Ha a mondatnak nincs szksge semmi hozzfznivalra, akkor teljes.

A lekton kategoriba esnek az lltsok, a krdsek,

a modlis kifejezsek s a performatvok.

A sztoikusok szerint, amikor elmondunk egy teljes lektont, hrom

cselekedetet vgezznk: alaktunk egy nyelvi kifejezst; elmondjuk a lektont; s egy beszdaktust vgznk.

Valsznleg Khrszipposz gy vlte, hogy minden megjell llts

ktrtelm, mert a jelletjt s nmagt egyarnt jelli, pl. egy szekr jelli egy szekeret, s a kifejezst egy szekeret is. Eszerint, megklnbztette a jelletet a jelentstl.

A sztoikus logika igazsgfelttelei

Az lltsok (axiomata) a tbbi lektval ellenttben
igazsgrtket birtokolnak, illetve az aximk vagy igazak vagy hamisak. Mivel a sztoikusok szerint az igazsg idfgg, egy llts igazsgrtke vltozni tud, pl. nappal van igaz, amikor nappal van, de mskor hamis. Hinyosnak rtelmezik a prediktumokat: ...stl. Az individuumnevek pedig teljesek, nem hinyosak. A nvmsok csak akkor teljesek, ha ismerjk a jelletjket. Ha nem teljesek, nem is kpezhetnek lltst. Az arisztotelszi univerzlist kondicionlis lltsknt kezelik, azaz tformalizljk a minden AB lltst egy ha A, akkor B lltss.

A sztoikusok kijelents logikja

Egyszer s sszetett lltsok vannak. Egy sszetett
ismtli az aximt. Mind a kt esetben egy konjunkci kti ssze az egyszer aximkat. alterncis (), s kondicionlis ()

axima vagy tbb mint egy aximt tartalmaz, vagy

Hromfle sszetett axima van: konjunkcis (&),

(p & q) konjunkcis, (p & q) pedig negcis, mert
ebben az esetben szlesebb a negcis rszecske terjedelme.

Khrszipposz szerint a kondicionlis igaz, ha

sszefrhetetlen az uttag ellenkezje az eltaggal.

Kvetkeztets a sztoikus logikban

Egy argumentum kt premisszt s egy konklzit tartalmaz. A kt premissza a kondicionlis eltagjt fejezik ki, a konklzi az uttagjt. Pl.:

Ha nap van, akkor fny van. De nem igaz, hogy fny van. Teht, nem igaz, hogy nap van.

pq q p

Ha helyettestjk a mondatokat sorszmnevekkel, az argumentum mdjt kapjuk: Ha az els, a msodik. De nem a msodik. Teht nem az els. A mdok az argumentum formjt, valamint tpust Megmutatjk.

Sztoikusok szillogisztikja
A sztoikus szillogisztika egy deduktv kvetkeztetsi rendszer, amely t alap rvels-tpuson (anapodeiktoszokon) s ngy levezetsi szablyon (thematk) alapszik. Az t anapodeiktosz az albbi: 1. Ha p, akkor q; de p; teht q. 2. 3. 4. 5.
(modus ponens)

Ha p, akkor q; de nem q; teht nem p. (modus tollens) Nem igaz, hogy p s q; de p; teht nem q. Vagy p, vagy q; de p; teht nem q. Vagy p, vagy q; de nem q; teht p. Ha nap van, akkor fny van. De nem igaz, hogy fny van. Teht, nem igaz, hogy nap van.

pq q p

= 2.

Sztoikusok szillogisztikja
Kt lehetsges thematja a 4. anapodeiktosznak az albbi:

Vagy az els, vagy a msodik De: a msodik. Teht: nem az els.

Vagy az els, vagy nem a msodik De: az els. Teht: a msodik.

p v q q p
p vq p q

Sztoikusok szillogisztikja
A ngy themata kzl, csak az elst s a harmadikat ismerjk (de lehet rekonstrulni nagy valsznsggel a msik kettt) 1. Ha kt premisszbl kvetkezik egy harmadik, akkor e kett brmelyikbl s a konklzi ellenkezjbl kvetkezik a msik premissza ellenkezje.

3. Ha kt premisszbl kvetkezik egy harmadik, s e

kett egyike tovbbiakbl kvetkezik, akkor a harmadik kvetkezik a msik premisszbl s ezekbl a tovbbiakbl. Ezek teht visszavezetsi szablyok! Ezek segtsgvel visszavezettek nem egyrtelmen rvnyes szillogizmusokat egyik anapodeiktoszra az t kzl.

Paradoxonok
Sok paradoxont a megarai Eubulidsznek tulajdontanak, aki Arisztotelsz kortrsa volt. Ezek kzl a leghresebbek a hazug-paradoxon s a szortsz-tpus paradoxon. A hazug-paradoxon: Ha hazudok, s azt mondom, hogy hazudok, akkor hazudok vagy igazat mondok?
(a feltett krdsre mindkt lehetsges vlasz ellentmondsra vezet)

A szortsz-tpus paradoxon:
Kopasznak hvnl-e egy olyan frfit, akinek a fejn csak egy hajszl n? Igen. Kopasznak hvnl-e egy olyan frfit, akinek a fejn hrom hajszl n? Igen. De nem szabad olyan frfit kopasznak hvni, akinek a fejn tzezer hajszl n. Hov tegyk a hatrt a kopasz s nem kopasz llapot kztt? (ez a paradoxon a homlyos prediktum kategrijhoz tartozik)