Professional Documents
Culture Documents
BEVEZETÉS A LOGIKÁBA
KOLOZSVÁR
2001
Copyright © GÁL László
Kolozsvár
1999, 2001
Tartalom
I. Rész. Hagyományos logika
1. Mi a logika? 6
2. A logika alaptörvényei 8
3. A fogalom 11
4. A meghatározás 16
5. A kijelentés 21
6. A következtetés 27
6.1. A deduktív következtetés 27
6.1.1. A közvetlen deduktív következtetés 29
6.1.2. A szillogizmus 34
6.1.3. A feltételes és szétválasztó szillogizmusok 42
6.2. Az induktív következtetés 46
7. Az érvelés 56
II. Rész. Szimbolikus logika 64
1. Bevezetés 65
2. A klasszikus kijelentéskalkulus 68
3
I. Rész
Hagyományos logika
4
1. Mi a logika?
A téma átvétele után képes kell legyél felismerni egy érvényes és egy érvénytelen
következtetést.
Sémája (1):
A B
A
B,
Sémája (2):
A B
B
A.
5
Miért helyes az első és miért helytelen a második következtetés? Mivel az (1) sémában a ha
akkor feltételes kijelentésben igazan következtethetünk az igaz előtagból (A) az utótag igazságára
(B). Szavakban: abból, hogy "tizesre vizsgáztam logikából" igazságából helyesen
következtethetünk arra, hogy "elmegyek kirándulni". Viszont a (2) séma szerint helytelenül
következtettünk az utótag igazságából (B) az előtag igazságára (A). Szavakban: abból, hogy
"elmegyek kirándulni" még nem következik helyesen az, hogy "tizesre vizsgáztam logikából".
Általában akkor tekinthetünk helyesnek egy következtetést, ha a logika tudománya
bizonyítani tudja róla helyességét. Az (1) séma helyessége bizonyított és külön névvel is látták el
modus ponens (magyarul állító mód). Még általánosabban fogalmazva, egy következtetést akkor
tekintünk helyesnek, ha betartja a logika alaptörvényeit. Erről a továbbiakban lesz szó.
Tehát következtetéseink feltétlenül alá kell vessék magukat a helyesség követelményének.
Ha helyesen következtetünk, akkor a következményünk igaz lehet. Ahhoz, hogy következtetéseink
eredményeképpen biztosan igaz következményt nyerjünk még eleget kell tennünk egy
követelménynek. Azon állítások amelyekből kiindultunk feltétlenül igazak kell legyenek.
É = I H,
Gyakorlat
1. Vizsgáld meg az alábbi következtetések érvényességét:
a) Ha a fű zöld, akkor 2 x 2 = 5.; A fű zöld.
b) Özönvíz ha tombol, hegyeket lerombol.; Az özönvíz tombol.
c) Ha a hó piros, akkor a gépkocsik nagyokat lépnek.; A hó piros.
6
2. A LOGIKA ALAPTÖRVÉNYEI
A téma célja: elsajátítani a logika alaptörvényeit és egyben az emberi logikus volt
legáltalánosabb követelményeit.
A téma elsajátítása után képes kell legyél különbséget tenni a között ami logikus és a
között ami logikátlan.
Minden tudományra jellemző hogy törvényeket fedez fel. Így a logikának is megvannak a
maga törvényei. Abban az esetben viszont, ha alaptörvényekről beszélünk, azt jelenti hogy közülük
bizonyosakat kitüntetünk. A logika alaptörvényei (szokták még őket nevezni alapelveknek is) éppen
ilyen kitüntetett státussal rendelkeznek. Ezt azért mondhatjuk el róluk, mivel az általuk teremtett
követelmények be nem tartása megszünteti a logikus voltot. Tehát logikusnak lenni egyben azt is
jelenti, hogy betartottuk a logika alaptörvényit. Ha nem tartjuk be őket, akkor egyben logikátlanok
vagyunk, azaz képtelenek az igaz és a hamis megkülönböztetésére, az egyértelmű vitára és az
érvelésre.
A logikának négy alaptörvénye van: az azonosság logikai alaptörvénye, az
elllentmondásmentesség logikai alaptörvénye, a kizárt harmadik logikai alaptörvénye és az
elégséges alap logikai alaptörvénye.1. Mind a négy törvény a nyelvileg kifejezett állítások terén,
valamint következtetéseinkben nyilvánulnak meg. Vegyük őket sorra.
Ezen törvény azt jelenti ki, hogy adott diskurzus keretei között, azaz adott feltételek mellett
fogalmaink vagy állításaink ugyanazok kell maradjanak, azaz nem változtathatjuk meg értelmüket
vagy jelentésüket, ezeknek önmagukkal azonosak kell maradjanak. Persze az azonosság, jobban
mondva önazonosság az illető körülményekre vonatkozik, mivel ellenkező esetben fogalmaink vagy
állításaink sohasem változhatnának meg. Ami például azzal a következménnyel járna, hogy
képtelenek lennénk a tanulásra. Szimbólumokkal kifejezve e törvény a következőképpen fejezhető
ki:
A = id. A,
1
Románul őket a következőképpen nevezik: principiul identităţii, principiul noncontradicţiei, principiul terţului exclus
és principiul raţiunii suficiente. Azért lényeges a román megfelelőket megadni, mivel lévén a román latin nyelv, egyben
nagyon hasonló a francia vagy az angol megnevezés is. Íme angol és francia elnevezéseik. Angolul: the identity
principle, the non-contradiction principle, the exclusive tertius principle és the sufficient reason principle. Franciául: le
principe de l'identité, le principe de la noncontradiction, le principe du tiers exclus és le principe de la raison suffisante.
Emiatt könyvünkben több alkalommal meg fogjuk adni a logikai alapfogalmak román megfelelőjét
7
tudhatunk meg arra vonatkozóan, hogy miképp is reagált az illető személy a vád
elhangzására.
A pszichológia tudományos.
A tudományos melléknév.
A pszichológia melléknév.
~ (A & ~A),
ahol A-val állításunkat, &-val az "és" kötőszavát és a ~ jellel a negációt, azaz a nem-et jelöltük.
A + ~A,
ahol +-al a "vagy....vagy"-ot jelöltük. Másképpen fogalmazva állításunk vagy igaz vagy hamis, a
harmadik lehetőség nem áll fenn.
Példa. Felhasználva az előbbi példát, ha "hideg van" állítás igaz, akkor a "nincs
hideg" állítás hamis és ha a "hideg van" állítás hamis, akkor a "nincs hideg" állítás igaz,
harmadik lehetőség nincs.
Felmerül viszont az a kérdés, hogy mi történik akkor, ha olyan állításokkal találkozunk mint
"Holnap esni fog az eső", amelyről ma nem tudjuk biztosan megmondani sem azt, hogy igaz, sem
azt, hogy hamis. Mindennapi életünkben azt fogjuk mondani róla, hogy valószínű, vagy hogy lehet.
Ezzel egyben bevezettünk egy harmadik logikai értéket is a hamis és az igaz mellé. Emiatt
állításunk első pillantásra megszegi a kizárt harmadik logikai alaptörvényét. Erre a magyarázatot a
kétértékűség elve adja meg. Szerinte két logikai igazságértéket fogadunk el. Megtörténik viszont,
hogy nemcsak két logikai igazságérték meglétét fogadjuk el. Ennek tárgyalásával a többértékű
logikák keretei között találkozunk. Abban az esetben, ha három logikai igazságértéket fogadunk el,
akkor a kizárt harmadik logikai alaptörvényét át kell fogalmaznunk a kizárt negyedik logikai
8
alaptörvényévé. Más szóval e logikai alaptörvényt általánosíthatjuk. Ha n logikai igazságérték
meglétét ismerjük el akkor a kizárt harmadik logikai alaptörvénye a kizárt n+1-ik alaptörvényévé
válik. Tehát nem kell összetévesztenünk a kizárt harmadik logikai alaptörvényét a kétértékűség
elvével, mászóval azzal, hogy hány logikai igazságérték meglétét fogadjuk el. Általában véve
állításainkhoz az igaz vagy hamis igazságérték valamelyikét és csak az egyiket rendeljük hozzá.
Az ellentmondásmentesség és a kizárt harmadik logikai alaptörvényei szorosan
egybekapcsolódva vezérlik logikus voltunkat. Együtt e két törvény azt a követelményt támasztja,
hogy állításainkhoz mindig rendeljünk igazságértéket és adott feltételek mellett csakis egyet azok
közül amelyek meglétét elismertük.
A |— B,
ahol A és B két, egymástól különböző állítást jelöl, a |— jel pedig az elégséges alap viszonyát.
Gyakorlatok
1. Milyen alapon jelenthető ki, hogy a pszichológia tudomány?
2. Milyen feltételek mellett igaz az alábbi két állítás:
A készségek automatizálódott cselekvések.
Készségesen segített a barátjának.
3. Milyen logikai alapelvet sért meg az alábbi idézet:
"...Már hatéves korában egészen fejlett nyelvezete volt: az iskolában fél kézzel
harmincezer olyan magyar szót tudott fölemelni ami "B"-vel kezdődik, míg iskolatársainak a
fáradtságtól kilógott a nyelvezete..." (Karinthy Frigyes, Így írtok ti)
4. Melyik logikai alaptörvényt szegi meg e két állítás és miért?
A jellem a személyiség értékorientációját határozza meg.
A jellem nem határozza meg a személyiség értékorientációját.
9
3. A FOGALOM
A hagyományos logikában három alapvető logikai formát különböztetünk meg: a fogalmat,
a kijelentést és a következtetést. Mivel a következtetés a logika központi tárgya ezt kellene
tárgyalnunk. Viszont a következtetések lebonthatók kijelentésekre és ezek fogalmakra. Így ha az
egyszerűbbtől akarunk haladni az összetett fele, akkor a fogalmakkal kell kezdenünk. A
fogalmaktól a következtetés fele haladó oktatási stratégiának egyben mély logikatörténeti
hagyományai is vannak.
A fogalom = Df. a legelemibb logikai forma, amely a dolgok vagy a dolgok adott osztályát
vagy ennek tulajdonságait jelöli.
Lovak
(jelöletek)
10
egyeznek az állattanban tanultakkal, hanem valamely szubjektív élményünkkel kapcsolatosak. Ezek
együttesen járulnak hozzá a ló fogalmának megértéséhez. A fogalmak értelme2 tehát tartalmazza
azokat a jegyeket amelyek segítségével az általa jelölt dolgokat azonosíthatjuk. Az értelem szavával
szinonímként használják még az intenzió és a tartalom szavait.
A "ló" szavával a "lovakat" jelöltük meg. Ezek együttesen a szó jelöleteit alkotják. A
jelöletek összessége alkotja a fogalom referenciáját,(1. ábra) vagy más megnevezéssel extenzióját,
vagy terjedelmét. Így a fogalom szerkezetében megkülönböztetjük az értelmet és a referenciát, vagy
a másik két fogalompárral intenziót és exenziót, tartalmat és terjedelmet. Ha a fogalmak
rendelkeznek értelemmel és referenciával, akkor jelentenek. Tehát:
A "ló" fogalma rendelkezik mind értelemmel, mind referenciával, azaz mind extenzióval,
mind intezióval, mind tartalommal, mind terjedelemmel. Tehát a "ló" fogalma jelent. E fogalom
értelme elménkben helyezkedik el. Nyilvánvaló, hogy itt nagyon sok fogalom helyezkedik el,
mindenikük a maga sajátos értelmével. Az itt megtalálható értelmi jegyeket pedig elménk szabadon
alakíthatja ki és alakíthatja át. Így a "ló" fogalma átalakulhat pegazussá vagy kentaurrá. E két utóbbi
fogalom kialakításának alapját a "ló" fogalmát alkotó jegyek képezték melyekhez hozzáadódtak a
"szárnyas" valamint a "ló törzsű ember" jegyei. Így két új fogalom keletkezett, csak azzal a
különbséggel, hogy nem rendelkeznek jelöletekkel, azaz referenciával vagy extenzióval. Viszont a
pegazus és a kentaur fogalmai nem értelmetlenek. Így két olyan fogalommal van dolgunk, amelyek
értelmesek, nincs referenciájuk, tehát nem jelentenek. E szemantikai fogalmi hármas sikeresen
alkalmazható mindenik fogalom elemzésében.
11
az "Európa", a "Jean Piaget", valamint "a legismertebb pszichológus" és "a személyiség energetikai
oldalát biztosító pszichológiai folyamat" fogalmai. Az előbbi kettőt tulajdonnevek segítségével
fejeztük ki, az utóbbi kettőt pedig úgynevezett leírások segítségével.
Az általános fogalmak több mint egy elemet tartalmaznak extenziójukban. Ilyenek az
"ember", "motívum" és "személyiség" fogalmai.
Extenzionális szempontból különböztetjük meg a gyüjtőfogalmakat és az elosztott
fogalmakat. A gyűjtőfogalmak a dolgok egyetlen tárát vagy a tárgyak gyűjteményéből álló osytályt
jelöli. Megkülönböztetjük az egyedi és az általános gyüjtőfogalmakat. A gyüjtőfoglamak esetén
nem ami elmondható az egészről az egyben elmondható a részeiről is. A „könyvtár” fogalmának
extenziójába például nem könyvtárak tartoznak, hanem könyvek, amelyek „könyvtárrá” állnak
össze. A „könyvtár” fogalma általános gyűjtőfogalom. Viszont a „pszichológia kari” könyvtára már
egyedi gyűjtőfogalom.
Az elosztott fogalmakra az jellemző, hogy extenziójuk mindenik eleme rendelkezik azokkal
a tulajdonságokkal, amelyeket a fogalom jelöl. Igy a „pszichológiai elmélet” fogalmának mindenik
extenzionális eleme egyben pszichológiai elmélet is.
Az általános fogalmak között megkülönböztetjük a pontos és homályos fogalmakat. A
fogalom akkor pontos, minden dologról egyértelműen elmondható, hogy extenziójához
hozzátartozik-e vagy sem. Ha nem mondható el, akkor homályos. Homályosak például a "tudatos",
az "intelligencia" és a "potencialitás" fogalmai. Pontos viszont az "észlelés" és a "differenciális
küszöb" fogalma.
Intenzionális szempontból a fogalmak több csoportba sorolhatók. Igy beszélünk elvont és
konkrét fogalmakról. Elvontaknak nevezzük azokat a fogalmakat, amelyek nem egy adott dolog,
vagy a dolgok adott osztályának tulajdonságait jelölik, hanem ezektől elszakított tulajdonságot.
Például a „piros”, a „tudat” stb. fogalmai. A konkrét fogalmak ellenkezőleg, egy adott dolog vagy a
dolgok egy adott csoportjának tulajdonságait jelölik. Például az „ég kéksége”, „az emberi tudat” stb.
A következő csoportosítást az abszolút és a relatív fogalmak képezik. A fogalom akkor
abszolút, ha egymástól elszigetelt dolgok tulajdonságait jelölik. Például a „figyelem”,
„képességek”. A fogalom akkor relatív ha viszonyt fejez ki. Például az „azonos”, a „viszony”
fogalmai.
A különnemű és viszonyfogalmak alkotják a következő csoportot. A különnemű fogalmak
egymástól teljesen külön elgondolhatók. Például a ”tevékenység”, a „gondolkodás” fogalmai. A
viszonyfogalmakat csak egymással kapcsolatban gondolhatjuk el. Például a „tudattalan” csak a
„tudatossal” kapcsolatban, vagy a „figyelmes” csak a „figyelmetlennel” kapcsolatban gondolható el.
Végül a pozitív és a negatív fogalmak csoportja. Egy fogalom akkor pozitív, ha adott
tulajdonság meglétét tükrözi, ellenkező esetben negatív. Például a „készség” és a „memória”
fogalmai pozitívak, míg az „értéktelen” és a „motívumhiány” fogalmai negatívak.
12
extenzióját alkotó sokaságot vagy halmazt ábrázoljuk. Vegyük tehát sorra a fogalmak közötti
viszonyokat..
A. A megegyezés viszonya. A megegyezésnek, mondhatni fokozatai vannak.
A.1. Ha két fogalom extenziója teljesen megegyezik akkor azonos. Ez azt jelenti, hogy csak
egymással közös elmeik vannak anélkül hogy egymástól különböző elmeik lennének. Ezt ábrázolni
általános fogalmak esetén két egybeeső körrel lehet.
A, B
Ilyen viszonyban vannak egymással például a „diák” és az „egyetemi hallgató” fogalma.. Ez azt
jelenti, hogy két egyedi fogalom is lehet azonos. Például „Sigmund Freud” és „A totem és tabu
szerzője”. Viszonyuk ebben az esetben az egyedi azonosság. Ábrázolni egy X-el lehet.
X A, B.
3. ábra. Egyedi azonos fogalmak
A.2. Az alá- és fölérendelési viszony. Ilyen viszony van két olyan fogalom között amelyek
közül az egyik teljes extenziója beletartozik a másik extenziójába, úgy hogy az utóbbinak ettől
különböző elmei is vannak. Ezt a viszonyt a következőképpen lehet ábrázolni.
13
A.3. A megegyezés utolsó típusa a metszés. Két fogalom akkor van a metszés viszonyában,
ha exenzióiknak vannak közös, de egymástól különböző elemei is. A metszés viszonyát az 5. ábra
szemlélteti.
A B
A B
A ~A
Ilyen viszony van például az „észlelés” és a „gépkocsi” fogalmai között. A 7. ábra szerint a
viszonyt a halmazelmélet a komplementaritás viszonyának nevezi.
Gyakorlatok
1. Osztályozzátok a következő fogalmakat: érzékelés, pszichodiagnózis, barátság, János
Péterrel szembeni barátsága, a hétfejű sárkány ötödik fején levő kalap, az észlelés pszichikai
folyamatának azonosai, késztetés, libidó.
2. Azonosítsátok a következő fogalmak extenzióját és intenzióját: személyközi kapcsolatok,
gondolkodás, időérzékelés, szubjektív idő, emóció, tudat.
14
3. Adott az alábbi fogalmi viszony. Fogalmazzatok meg minden igaz mondatot e három
fogalommal, majd keressetek három olyan pszichológiai fogalmat, amelyek között ez a viszony áll
fenn. Milyen következményeket vonhattok innen le?
A B
C
4. A meghatározás
A téma célja elsajátítani a fogalmakra alkalmazható legfontosabb műveletet.
A = Df. B,
3
A „meghatározás” című téma tárgyalásában felhasználtuk R.L. Atkinson, R.C. Atkinson, E.E. Smith és D.J. Bem,
Pszichológia című könyvének „Szakkifejezések” című fejezetét (Osiris-Századvég, Budapest, 1994, 583-617).
15
„A és B típúsú személyiség (personality type A and B) - A szívkoszorúér-
megbetegedések tanulmányozásából származó viselkedésminta.”
Mindkét meghatározás a bevezetett fogalmak értelmét vagy más szóval extenzióját adja
meg. Ezzel szemben a reális meghatározások a meghatározandó fogalom referenciájának, más
szóval extenziójának elemeit adják meg. A következő meghatározások reálisak.
16
Például: „blokkolás (blocking) - A klasszikus kondicionálás egyik jelensége. Ha
egy feltételes inger megbízhatóan bejósolja a feltétlen ingert, és egy másik feltételes ingert is
bevezetnek, az új feltételes inger és a feltételen inger közötti kapcsolatra nem történik
tanulás.”
Itt a műveletet az újabb feltételes inger bevezetése jelenti a kísérlet folyamán, ami egy
bizonyos jelenség okaként működik.
3. A konstruktív meghatározás arra öszpontosít, hogy a meghatározandó miként jön vagy
jött létre.
Például: „nativizmus (nativism) - Az a nézet, miszerint a viselkedés veleszületetten
meghatározott.”
Hogy az ebben a meghatározásban megjelenő felsorolás kimerítő-e vagy sem, azt bizonyára
a klinikai pszichológusok tudnák csak megmondani és ezáltal értékelni.
5. Az osztenzív (rámutató) meghatározás szorosan kötődik az észleléshez. Így csak akkor
lehet meghatározni, ha a meghatározandó fogalom extenziójához tartozó dolgok egy, vagy
egynéhány példánya jelen van, amelyek egyben az extenzió prototípusai is. Tehát e prototípusok
segítségével szemléltetjük a meghatározandót.
17
következők: a meghatározásnak jellemzőnek kell lennie, nem szabad körben forognia, logikailag
állító kell legyen, pontos és világos kell legyen, valamint konzisztens kell legyen. Vegyük őket sorra.
1. A meghatározásnak jellemzőnek kell lennie. E szabály a meghatározandó és a
meghatározó extenzionális viszonyával kapcsolatos és arra vonatkozik, hogy e két szerkezeti elem
extenziói kell fedjék egymást. Ettől a követelménytől két eltérés lehetséges.
Ha a meghatározandó extenziója nagyobb mint a meghatározóé, akkor a meghatározás túl
szűk.
Útmutatónk elején mondtuk már, hogy a következtetés lehet érvényes vagy érvénytelen,
attól függetlenül, hogy deduktív vagy induktív. Ha érvényes, akkor a következmény szükségszerűen
igaz, ha érvénytelen, akkor esetlegesen igaz, más szóval lehet igaz, vagy lehet hamis. Így a fenti
meghatározás azért hamis mert csak az érvényes következtetésre vonatkozik, tehát túl szűk. Azaz
hamissága helytelen voltából származik.
Ha a meghatározandó extenziója kisebb mint a meghatározóé, akkor a meghatározás túl tág.
Mivel a szinapszis a neuron velejárója, azaz nem létezik olyan idegsejt amely ne lépne
szinaptikus kapcsolatba vagy más neuronokkal, vagy az izmokkal, azt jelenti, hogy a neuront e
meghatározás önmagán keresztül határozza meg. Más szóval körben forog, annak ellenére, hogy e
körben forgást elég nehéz felfedezni.
3. A meghatározások logkailag állítóak kell legyenek, mivel a meghatározás folyamán azt
kell tudomásul vennünk, hogy mi a meghatározandó, nem pedig azt, hogy mi nem.
4. A meghatározás pontos és világos kell legyen, mivel ellenkező esetben nem tölti be
alapvető szerepét.
18
Mivel e meghatározás több ismeretlen foglomhoz küld, amelyek újra meghatározásra
szorulnak, szinte a freudi pszichoanalízis egész elméletét be kell járnunk ahhoz hogy egy pontos és
világos id–fogalmunk alakuljon ki.
5. A meghatározás konzisztens (ellentmondásmentes) kell legyen, ami azt jelenti, hogy
nem kerülhet ellentmondásba a szakmai terület más elfogadott meghatározásaival.
Gyakorlatok
1. Milyen kapcsolat van a meghatározások igazsága és helyessége között? Szemléltessétek
példával.
2. Elemezzétek a következő meghatározásokat típusuk, eljárásuk és helyességük
szempontjából.
4
P. Popescu -Neveanu, Dicţionar de psihologie, Ed. Albatros, 1978.
19
az élőlény anatómiájában vagy működésében. Példák Freud pszichoszexuális szakaszai
és Piaget kognitív szakaszai.”
5. A kijelentés
A téma célja felhívni a figyelmet a változó tartalmú kijelentések állandó logikai
szerkezetére.
A téma átvétele után képes kell legyél arra, hogy megállapítsd a kijelentések logikai
értelemben vett típusát és a közöttük fennálló viszonyokat.
(1) A rövid távú memóriának a nyelv megértésében játszott szerepe már kevésbé
egyértelmű.
Első pillantásra mindkét kifejezés kijelentő mondat formájában jelenik meg és valamilyen
információt közöl velünk. A kijelentő mondat formájában való megjelenés teszi lehetővé
közlésüket.
Próbáljuk meg alkalmazni rájuk azt amit eddig tanultunk. Először is azonosítsuk a bennük
szereplő fogalmakat. Az (1)-es mondatban két fogalom szerepel. Ezek: "a rövid távú memóriának a
nyelv megértésében játszott szerepe" (A) valamint a "már kevésbé egyértelmű" (B) fogalmai. A
mondat úgy jött létre, hogy a (B) fogalom az (A) fogalomról állít. Az állítás lényegében az, amely
az információtöbbletet magával hozza.
A (2)-es mondatban is két fogalom szerepel. Ezek: "a legtöbb iparosodott nyugati nemzet"
(C), és "a független, önérvényesítő és teljesítményre motivált állampolgárokat értékeli sokra" (D). E
mondatban is a (D) fogalom a (C) fogalomról állít. A (2)-es mondat információtartalma különbözik
20
az (1)-es mondat információtartalmától, ennek ellenére hasonlóak abban, hogy mindkettő állít
valamit.
Logikai értelemben egy mondatot akkor nevezünk kijelentésnek, ha állít. A mondat a
kijelentések megjelenési formája. Általában véve a kijelentés kijelentő mondat formájában jelenik
meg. Viszont nem minden kijelentő mondat egyben kijelentés is. Például az "Elment." kifejezés,
annak ellenére, hogy kijelentő mondat nem tekinthető kijelentésnek. Két oknál fogva: egyrészt
mivel nem tudjuk, hogy ki ment el, azaz a kifejezés értelme nem rögzített, másrészt pedig azért,
mert nem tudjuk megállapítani igazságértékét. A kifejezés értelmét több eljárással rögzíthetjük: ha
leírt mondatról van szó, akkor a szövegösszefüggésből kikövetkeztethetjük, hogy kiről van szó,
osztenzíven és ha egyik eljárás sem sikeres, akkor konvencionális értelmet tulajdoníthatunk neki.
Tehát, ahhoz hogy egy mondat logikai értelemben kijelentésnek tekinthető legyen két feltételnek
kell megfeleljen: állítania kell és hozzárendelhető kell legyen egy logikai igazságérték.
Összefoglalva egyetlen meghatározásba:
Amint az (1) és a (2) kijelentés felbontásából láttuk ezek fogalmakból állnak össze.
Konkrétan az (1) kijelenés az A és a B fogalomból, a (2) kijelentés a C és a D fogalomból. Annak
ellenére, hogy a két kijelentésben szereplő fogalmak különböző intenzióval és extenzióval, azaz
különböző jelentéssel rendelkeznek, közös bennük az, hogy állítanak. Ezen állítás pedig a bennük
jelen levő fogalmak közötti viszonyból jön létre. Így ha általánosítani akarjuk a kijelentések fogalmi
viszonyát, akkor a következő szerkezet alakul ki:
A-ról állít B,
C-ről állít D.
21
az alapvető különbség a nyelvtani alany és állítmány, valamint a logikai alany és állítmány között.
Azaz nyelvtanilag az alanyon és állítmányon kívül sokmás nyelvi elem előfordulhat, míg logikailag
a szubjektumon és predikátumon kívül semmi más sem található a kijelentésben. Innen adódik a
kijelentések belső logikai szerkezetét elemző tevékenység irányelve: az állítás azonosítását az
követi, hogy az összes, a kijelentésben szereplő szót vagy a logikai szubjektum, vagy a logikai
predikátum körébe soroljuk, úgy hogy ne mellőzzünk egyet sem.
Általánosítva az eddig elért eredményeket a hagyományos logika az összes kijelentésnek a
következő szerkezetet tulajdonítja:
S est P,
ahol S a logikai szubjektum szimbóluma, P a logikai predikátum szimbóluma, est pedig a kettő
közötti kapcsolatot megteremtő szócska (latinul copula). A szerkezeti elemek megnevezései latinok
és ez azt sugallja nekünk, hogy a latin nyelvi kifejezésekből kiindulva fogalmazták meg. A latin
illetve a neolatin nyelvekben a "copula" általában explicit. A magyarban a latin "est"- nek
megfelelő "van" nem jelenik meg expliciten. Az "S est P" magyar megfelelője eszerint az kellene
legyen, hogy "S van P", ami viszont teljesen magyartalan. Így hát a magyar nyelvben nem szoktuk
kifejezni.
Ezen egyetemes szerkezet elméleti eszközét felhasználva minden kijelentés elemezhetővé
válik. Tehát megtaláltuk a kijelentések legáltalánosabb szerkezetét.
ahol "Sigmund Freud" egyedi fogalom és nem általános mint az (1) és a (2) kijelentésben. Itt
Sigmund Freud (E) és a pszichoanalízis megalapítója (F) fogalmai azonosak. Ezen azonosság pedig
egyedi. Így mivel a logikai szubjektum fogalma (E) teljes extenziójával beletartozik a predikátum
(F) extenziójába hasonlít az egyetemes kijelentésekhez. Következésképpen a (3) egyedi
(szinguláris) kijelentés és logikailag az egyetemes kijelentésekhez hasonlóan kezelhető.
2. Az osztályozás másik kritériuma a minőség. Minőségileg a kijelentések két típúsa
azonosítható, az állító és a tagadó kijelentések csoportja. Ha a kijelentés állító, akkor fogalmai
22
között valamilyen kapcsolat áll fenn. Ha a kijelentés tagadó, akkor két fogalma között valamilyen
különbség van.
E két osztályozási kritérium alkalmazása eredményeképpen a kijelentések négy típusa jön
létre: az egyetemesen állító, egyetemesen tagadó, a részlegesen állító és a részlegesen tagadó 5.
Mind a négy típust egy táblázatba fogjuk össszefoglalni:
5
A kijelentések szimbólumai a latin affirmo és nego magánhangzóiból származnak .
23
1. Táblázat
A kijelentések típusai
I O
alárendelt ellentétes
24
3. Az alá- és fölérendelési viszony a megegyező minőségű egyetemes és a részleges
kijelentések között áll fenn. Ha a fölérendelt kijelentés igaz, akkor az alárendelt kijelentés is igaz.
Ha az alárendelt kijelentés hamis, akkor a fölérendelt kijelentés is hamis. Ha a fölérendelt kijelentés
hamis, akkor az alárendelt kijelentés igazságértéke bizonytalan. Ha az alárendelt kijelentés igaz,
akkor a fölérendelt kijelentés igazságértéke bizonytalan. Például, ha a "Minden ember képes
megtanulni bizonyos dolgokat." kijelentés igaz, akkor a "Van olyan ember aki képes megtanulni
bizonyos dolgokat." kijelentés igaz. Ha a "Van olyan ember aki nem járt pszichológusnál."
kijelentés igaz, akkor az "Egyetlen ember sem járt pszichológusnál." kijelentés igazságértéke
bizonytalan, mivel habár egyesek valóban nem jártak pszichológusnál, de nem biztos, hogy senki
sem tette ezt meg.
4. Az ellentmondás viszonya a különböző mennyiségű és minőségű kijelentések között áll
fenn, és azt jelenti, hogy nem lehetnek ugyanabban az időben és vonatkozásban egyaránt igazak és
egyaránt hamisak. Tehát, ha az SaP típusú kijelentés igaz, akkor az SoP típusú kijelentés hamis.
Például ha a "Minden ember kiváncsi." kijelentés igaz, akkor a "Van olyan ember aki nem kiváncsi"
hamis. Továbbá ha a "Van olyan ember aki túlmotivált." igaz, akkor az "Egyetlen ember sem
túlmotivált." hamis, vagy ha az "Egyetlen ember sem fejlődésképtelen." igaz kijelentés, akkor a
"Van olyan ember aki fejlődésképtelen." hamis, és így tovább az összes lehetséges kombinácó, amit
a 9.ábra szerint megállapíthatunk.
Gyakorlatok
1. Állapítsátok meg a következő kijelentések típusát.
a. Az emlékezet szakaszai a kódolás, a tárolás és az előhívás.
b. A viselkedéses eljárások segíthetik az embereket abban, hogy megfelelőbben
reagáljanak a stresszre.
c. A pszichoterápia a mentális zavarok pszichológiai eszközökkel való gyógyítása.
d. A tömegek által olykor mutatott gátlástalan agresszív viselkedés a dezindividuáció
állapotának eredménye lehet.
e. A végzetes külpolitikai döntések elemzése feltárja, hogy a döntéshozók irányító
vezető által vezényelt összetartó csoportja a csoportgondolkodás csapdájába eshet.
f. A személyiség a gondolkodás, érzelmek és viselkedés azon megkülönböztető
mintáit jelenti, melyek az egyén személyes stílusát meghatározzák.
g. A szociális tanuláselméleti megközelítés nem sok figyelmet szentel az egyéni
különbségek leírásának.
h. A kísérleti személyek nem tudtak a vizsgálat tényleges céljairól.
i. Az amerikai pszichológustársaság arab férfitagjai között vannak olyanok, akiknek
a véleménye az abortusztörvény módosításáról megegyezik azon nőkével, akik
szívesen nézegetik a McDonalds reklámokat este 8 és 10 között.
j. A hórihorgas horgászegyesület tagjai között akadnak olyanok, akik
keresztrejtvényfejtés, sőt alvás közben is képesek elviselni a zenét.
2. Milyen módon állapíthatjuk meg az a.-j. kijelentések igazságértékeit?
3. Ábrázoljátok Euler diagramok segítségével a következő kijelentések terminusainak
extenzionális viszonyát:
25
Bármi is legyen a tárgy, az vagy X, vagy Y, anélkül, hogy X és Y is lenne.
Csak X, Y.
X magába foglalja Y-t és még valamit.
Fogalmazzatok meg konkrét kijelentéseket amelyekben ezen fogalmi viszonyok
álljanak fenn.
6. A KÖVETKEZTETÉS
Ezen következtetés deduktív. Abból kiindulva, más szóval azon az alapon, hogy az emberek
halandóak, valamint azonosítva a Szókrátész nevűt az emberek között, arra következtethetünk, hogy
az ilyen nevű egyén is rendelkezik a halandóság tulajdonságával. Azaz az általánosabból
következtettünk a kevésbé általánosra. Jelen esetben éppen egy egyedire.
Azt az állítást viszont hogy Szókrátész rendelkezik a halandóság tulajdonságával
másképp is felhasználhatjuk. Éspedig, vehetjük az emberek halmazát, megvizsgálhatjuk a
halandóság tulajdonságának fennállását minden egyén esetében (tehát Szókrátész esetében is) és
ezen az alapon következtethetünk arra, hogy minden ember halandó. Ebben az esetben induktívan
jártunk el és következményünk általánosabb mint a premisszák.
26
Annak függvényében, hogy következtetésünk folyamán hány premisszát használunk fel a
deduktív következtetés két típusa jön létre. Ha egyetlen premisszából kiindulva nyerjük
következményünket, akkor a következtetés közvetlen. Ha következtetésünkben két premisszából
indulunk ki, akkor következtetésünket közvetettnek (szillogizmusnak) nevezzük.
A téma átvétele után képes kell legyél ellenőrizni az egyetlen premisszából kiinduló közvetlen
következtetés érvényességét.
A kijelentés állítása szerint az a "pszichológus hallagató" fogalmának teljes extenziójáról szó van,
azaz az extenzió egyetlen eleme sem marad ki állítasunkból. Tehát a kijelentés szubjektuma
elosztott. A kijelentés állítása szerint viszont "az általános lélektanból levizsgázók" közül csak
egyesekről van szó. Tehát a kijelentés predikátuma nem elosztott. Ezt úgy is meg lehet fogalmazni,
hogy "Az összes pszichológus az egyes általános lélektanból levizsgázó." Az A-típúsú kijelentések
ezen fajtáját Toto-parciálisnak nevezzük. A neki megfelelő fogalmi viszony az alárendelés.
Viszont a következő kijelentésben:
27
(3) Minden ember ésszerű.
az "ember" elosztott fogalmáról állítjuk, hogy "ésszerű". Mivel az embereken kívűl más ésszerűeket
nem ismerünk, azt jelenti hogy e kijelentésben minden ésszerűről is állítottunk. Átfogalmazva:
"Mineden ember, minden ésszerű." Tehát a predikátum is elosztott. Az SaP típúsú kijelentéseknek
ezen fajtájában a két fogalom azonos extenzióval rendelkezik és megnevezése Toto-totális.
Összefoglalva. A Toto-parciális kijelentésekben a szubjektum elosztott a predikátum pedig
nem. A Toto-totális kijelentésekben a szubjektum és a predikátum is elosztott. E megkülönböztetés
nagyon fontos lesz az SaP típúsú kijelentésekkel végzett közvetlen következtetés érvényességének
vizsgálatában.
A fogalmak elosztottsága az SeP típúsú kijelentésekben. Legyen a következő kijelentés:
(5) Van olyan pszichológiai elmélet amelynek nem találták meg a valóságos alkotóelemeit.
A kijelentés állítása szerint itt csak egyes pszichológiai elméletekről van szó. Tehát a szubjektum
nem elosztott. A "valóságos alkotóelemekkel rendelkező" predikátuma extenziójában vannak
pszichológia és nem a pszichológia terültéről származó elméletek. Ahhoz viszont, hogy
megállapíthassuk, hogy a pszichológiai elméletek közül közül melyek rendelkeznek és melyek nem
a predikátum által jelölt tulajdonsággal be kell járnunk ennek teljes extenzióját. Ezzel pedig
kimerítjük. Tehát a predikátum elosztott. A két fogalom között a metszés viszonya áll fenn.
Az elosztottság kérdését a 2. táblázatba foglalhatjuk össze.
2. Táblázat
28
A következtetés következményének egyetlen terminusa sem lehet eloszott, ha nem elosztott a
premisszában.
m
SiP PiS
képlet szerinti következtetés érvényes. Ez azt jelenti, hogy ha igaz premisszából indulunk ki és e
helyes képlet szerint következtetünk, akkor szükségszerűen igaz lesz a következményünk.
Az SaP típúsú kijelentések megfordítása. A (2)-es kijelentésről azonosítottuk, hogy Toto-
parciális. Abban az esetben ha egyszerűen akarnánk megfordítani, akkor belőle az alábbi
következmény származna:
De láthatjuk, hogy premisszánk igaz volt és következményünk hamis lett, azaz következtetésünk
érvénytelen. Honnan származott az érvénytelenség? Nézzük meg az elosztottsági táblázatot. Innen
kiderül, hogy a a Toto-parciális kijelentés elosztott szubjektuma nem elosztott predikátum lett, amit
megenged az érvényességi feltétel. Viszont a premissza nem elosztott predikátuma elosztott
szubjektummá vált a következményben, ami megszegi az érvényességi feltételt. Ez azt jelenti, hogy
a Toto-parciális kijelentést nem lehet egyszerűen megfordítani. Ellenben, ha megtartjuk a kijelentés
minőségét és megváltoztatjuk a mennyiségét, akkor a (2)-es premisszából a következő
következményt kapjuk:
6
Ezen eljárások román megnevezései: megfordítás = conversiune, átalakítás = obversiune. Adott
esetben a magyar nyelv "elbírja" a konverzió megnevezést, a másik, végeredményben latin
megnevezést nem.
29
Toto- m
parciális
SaP P i S.
Ez esetben igaz premisszából igaz következményt kaptunk. Miért? Mert a premissza elosztott
szubjektuma elosztott predikátummá vált a következményben, valamint a premissza elosztott
predikátuma szintén elosztott szubjektummá vált a következményben. Tehát a Toto-totális SaP
típúsú kijelentéseket egyszerűen megfordíthatjuk. Képletbe foglalava:
Toto-totális m
SaP P a S.
(4)' Az összes tudományos elméletet behatóan ismerők között nincs egyetlen ember sem.
m
SeP P e S.
(5)' Van olyan valóságos alkotóelemekkel rendelkező elmélet, amely nem pszichológiai elmélet.
kijelentést kapjuk. Ez esetben mind a premissza mind a következmény igaz. De ha (6)-os, szintén
O-típúsú premisszát fordítjuk meg
akkor következményünk a
lesz. Tehát az (5)-ös igaz kijelentés megfordításából igaz következmény, míg a (6)-os igaz
kijelentés megfordításából hamis következmény származott. Ez azt jelenti hogy az O-típúsú
kijelentések megfordítása érvénytelen, a következmény igazságértéke pedig esetleges. Emiatt az O-
típúsú kijelentések megfordítása egyben logikailag helytelen.
30
Az átalakítás a közvetlen következtetés azon eljárása, amelynek során a premissza
predikátumát tagadjuk, úgy hogy megváltozik a kijelentés minősége.
á
SaP S e ~P.
(2)" Egyetlen pszichológus hallgató sem, nem kell levizsgázzon általános lélektanból.,
á
SeP S a ~P.
(1)"' Vannak olyan pszichológusok akik nem, nem csoporterápiás módszereket alkalmaznak.
kijelentést nyerjük, ami megegyezik az eredetivel, ha kiiktatjuk a kettős negációt. Képletbe foglalva
á
SiP S o ~P.
(5)"' Van olyan pszichológiai elmélet, amelynek nem találták meg valóságos alkotóelemeit.
31
á
SoP S i ~P.
Ez azt jelenti, hogy a kontraponáltat egy átalakítás és egy megfordítás egymást követő alkalmazásai
útján kapjuk meg. A kontraponált lehet részleges, abban az esetben ha az átalakítással és a
megfordítással lezártuk következtetésünket, és lehet teljes, ha a részleges kontraponáltat újra
átalakítjuk. A teljes következtetési sorozat amelynek eredményeképpen megkapjuk a teljes
kontraponáltat a következő képletek szerint megy végbe.
3. Táblázat
á m á
S o P S i ~P ~P i S ~P o ~S.
E következtetés furcsasága onnan adódik, hogy a mindennapi életünkben elég ritkán folyamodunk
egyetlen állításon belül több negációhoz.
Gyakorlatok
1. Vizsgáljátok meg, hogy a "A tanulás hatékonysága a motívumok erősségétől függ." kijelentésből
levezethetőke-e a következő kijelentések:
32
a. A tanulás hatékonysága nem a motívumok erősségétől függ.
b. A motívumok erőssége kihat a tanulás hatékonyságára.
c. Nincs olyan tanulás, amit ne a motívumok erőssége határozna meg.
d. A tanulás nem hatékony az erős motívumok hiányában.
e. Az erős motívumok nem járulnak hozzá a tanulás hatékonyságához.
2. Melyek a következő kijelentések teljes kontraponáltjai:
a. Az emberi személyiség átalakul.
b. Egyetlen gyermek sem születik potencialitások nélkül.
c. Egyes gyermekek fejlődési ritmusa lassúbb.
e. Adott helyzetekben nem jövünk rá a helyes megoldásokra.
3. Ha a "Az, hogy valami "racionális", eszerint azonosítható azzal, hogy "formájában logikus"." 7
kijelentés igaz, akkor mit mondhatunk el fölé-, illetve alárendeltje, ellentettje és ellentmondója
igazságártékéről? Hát akkor ha hamis?
4. Az "Az emberek lelki életét nem lehet megérteni a földrajz eszközeivel." kijelentésből milyen
következmények származnak többszöri átalakítással, illetve többszöri megfordítással?
Láthatjuk, hogy ebben a következtetésben két premissza és egy következmény szerepel. Ezek
együttesen három kijelentést jelentenek. A premisszákat a következménytől egy folytonos vonal
választja el. Továbbá a következtetésben három fogalom azonosítható. A következmény
terminusaiból indítva az elemzést itt két fogalmat találhatunk, "a kognitív séma" a következmény
szubjektuma (S), a "bonyolult belső szerkezetük van" pedig a következmény predikátuma (P).
Mindkét terminus szerepel a premisszákban is. Így a "bonyolult belső szerkezetük van" az első
premissza predikátuma, "a kognitív sémák" egyben a második premissza szubjektuma. Azt a
premisszát, amelyik a következmény predikátumát tartalmazza felső tételnek, azt pedig, amelyik a
következmény szubjektumát tartalmazza alsó tételnek nevezik. Igy aztán a premisszák felírásának
sorrndjétől függetlenül azonosíthatjuk őket alsó- vagy felső tételként. A premisszákban a
következmény szubjektumán és predikátumán kívül még egyetlen fogalom található. Ez esetben a
"modellek" fogalma. Alapvető szerepe abban áll, hogy a két premisszában kapcsolatot teremt a
szubjektum és predikátum között. Neve középső terminus, jele pedig az M. Összefoglalva a
következtetés terminusai szempontjából a következő szerkezet tárul elénk.
M P
7
Mérő László (1989), Észjárások, Akadémiai Kiadó, Optimum Kiadó, Budapest, 180. o.
?
33
S M
S P
Alkalmazva most azt, amit a kijelentések típúsáról tudunk, láthatjuk, hogy mindkét premisszánk,
illetve a következmény is A típúsú. Ez azt jelenti, hogy a következtetésünknek megfelelő végleges
és teljes következtetési séma a következő.
M a P
S a M
S a P
M
S
M P P M M P P M
S M S M M S M S
S P S P S P S P
I. alakzat II alakzat III alakzat IV alakzat
34
A négy alakzat közötti különbség nyílvánvalóan a premisszák terminusainak szerepétől függ, azaz
attól, hogy szubjektumok-e vagy predikátumok-e.
A második kérdés az lesz, hogy milyen következtetési sémákat különböztethetünk meg a
premisszák és a következmény típúsa szempontjából. Ezen kritérim alapján jönnek létre a
szillogisztikus módozatok. Konkrétan ez azt jelenti, hogy például az I. alakzatban a felső tétel lehet
A típúsú, az alsó tétel A típúsú, a következmény pedig szintén A típúsú, amint az a példaként
felhasznált szillogizmusban történt. Viszont a kijelentések logikájára vonatkozó részben láttuk,
hogy a kijelentéseknek a hagyományos logikában négy típúsa létezik. Valyon akármilyen típúsú
kijelentés behelyettesíthető mind a négy alakzatba? Ha lehetséges lenne akkor a négy típúsú
kijelentés három helyre való behelyettesítéséből 64 módozat származna. És mivel 4 alakzat van ez
azt jelenti, hogy 4 x 64 = 256 lenne a lehetséges módozataink száma. Ez egyben 256 egymástól
különböző következtetési sémát jelent. Viszont nem az összes helyes. A lehetséges szillogisztikus
módozatok közül csak alakzatonkét hat, tehát összesen 24 helyes. Milyen alapon? A helyesek
"kiszűrésére" a lehetségesek közül szolgálnak a szillogizmus általános és sajátos törvényei.
35
7. Ha az egyik premissza részleges, akkor a következmény nem lehet egyetemes. Ez azért van
így, mert ellenkező esetben nem lehetne annyi elosztott teminusa a szillogizmusnak, ahány
szükséges az egyetemes következmény szükségszerű nyeréséhez.
8. Egy helyes szillogizmusban három és csakis három terminus lehet jelen. Ez a szillogizmus
szerkezeti törvénye. Megszegése idézi elő a negyedik terminus következtetési hibáját, ami
lényegében az azonosság logikai alaptörvényének a megszegését jelenti. Ezt a hibát követi el a
következő következtetés.
A logika tudomány.
A tudomány főnév.
A logika főnév.
E következtetésben a "tudomány" fogalma a két premisszában nem azonos és így két igaz
kijelentésből, hamis következményt nyerünk. Tehát a szillogizmusban nem három, hanem négy
terminus van jelen.
M a P
S a M
S a P
36
III. alakzat: Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison,
IV. alakzat: Bramantip, Camenes, Dimaris, Fesapo, Fresison, Camenop.
M e P
M a S
S o P
A négy alakzat érvényes módozatai közül az első alakazat és ezen belül az első négyként
felsoroltakat a hagyományos logika tökéletesnek tekinti. Emellett legalább két érv szól. Egyrészt
egyedül az első alakzatban nyerhetők következménykét A,E,I és O típúsú kijelentések. Sem a II.,
sem a III. és sem a IV. alakzatban nincs jelen a kijelentések mind a négy típúsa következményként.
Másodszor, az összes alakzat érvényes módozatai redukálhatóak az első alakzatbani Barbará-ra,
Celarent-re, Darii-ra és Ferio-ra. Érdekességképpen megjegyezhetjük, hogy a középkori névalkotás
éppen a redukciót tartotta szem előtt, amikor mindenik érvényes módozatot B, C, D és F betükkel
kezdődő szavakkal nevezte meg. Másszóval a B betűvel kezdődő módozatok a Barbarára, a C
betűvel kezdődők Celarentre stb. redukálhatók. A redukcó azt jelenti tehát, hogy adott alakzat
módozata kifejezhető az első alakzat módozatával. Például a Festino (eio-2) redukálható a Feriora
(eio-1), amit sematikusan az alábbi következtetés szemléltet.
Celarent (eae-1).
Ferio (eio-1).
Darii (aii-1).
37
6.1.2.4. A szillogizmus szerepe a megismerésben
A felsorolt néhány példából kiderül, hogy milyen utat követ a szillogizmus, deduktív
következtetési mivoltában. Ez az általánosabb információt tartalmazó premisszák felől halad a
kevésbé általános következmény fele. Ennek az az eredménye, hogy azt amit a premisszákban
állítottunk információtartalma szempontjából magába foglalja azt amit a következmény állít. Ha
ennek a megismerésben játszott szerepét vizsgáljuk, akkor ahhoz a megállapításhoz juthatunk, hogy
a következmény nem tesz egyebet mint ugyanazt állítja amit már tudtunk. Konkrétan a fenti Darii a
"következtetésekről" állítja azt hogy, "sémával leírhatók". Alsó tételében pedig azt
állítja,"hétköznapi helyzeteinkről", hogy ezekben "következtetünk". Ezen állítások
információtartalma nem különbözik attól, hogy a "hétköznapi helyzeteinkről" állítsuk azt, hogy
"leírhatók sémával". Már csak azért sem, mert a szillogizmus terminusainak extenzionális viszonya
már a premisszákban nyílvánvaló.
következtetés
(P) sémával
leírható (M)
hétköznapi
helyzetek (S
Ehhez az extenzionális viszonyhoz a következmény semmi újat sem ad hozzá, hanem csak
egyszerűen megállapítja.
Innen aztán egyszerűen adódik a kérdés: érdemes-e szillogisztikusan következtetni?
Érdemes-e ezt az erőfeszítést megtennünk, ha általa a már ismertet tudjuk meg? Nyílvánvalóan
igen. Miért? Azért mert nem mindegy, hogy expliciten tudjuk azt, hogy "Vannak olyan hétköznapi
helyzeteink amelyek leírhatók sémával" vagy sem. Az implicit ismeret leggyakrabban nem segít
hozzá bennünket ahhoz, hogy megértsünk dolgokat. Végletesen fogalmaza abban a kijelentésben,
hogy "Az ember van." rengeteg információ bele van foglalva, impliciten. A nagy kérdés viszont ott
kezdődik amikor ezt az információt explicitté akarjuk tenni. Tehát a szillogisztikus következtetés
legfontosabb ismeretelméleti szerepe abban áll, hogy implicit információt explicitté tesz. Ez pedig
egy olyan általános jelklemző, amit elmondhatunk minden deduktív következtetésről.
Vizsgáljuk most végig, hogy a négy szillogisztikus alalkzat esetében miként is áll a
bizonyításban valamint a megismerésben játszott szerepének kérdése.
Az I. alakzat. Az első alakzatban a bizonyítás arra alapszik, hogy S a P predikátummal
rendelkezik, mivel S az M körébe tartozik és M-ről egyetemesen állítjuk azt, hogy P-vel
rendelkezik. A tagadó módozatokan azt állítjuk, hogy S nem rendelkezik a P tulajdonsággal, mivel
S, M körébe tartozik és M-ről egyetemesen tagadjuk P-t. Ez azt jelenti, hogy, ha egy osztály minden
eleme rendelkezik egy adott tulajdonsággal és egy olyan osztállyal állnuk szembe, amelyik ehhez az
osztályhoz tartozik, akkor az I. alakzat szerint jelenthetjük ki, hogy rendelkezik az illető
38
tulajdonsággal. A P által jelölt tulajdonság "átruházása" az M-en keresztül az S-re, nyílvánvaló a
kezdeti példaként szolgáló Barbará-ban.
Másképp fogalmazva a bizonyítás menete, tehát az új információ megjelenésének menete a
következő: egy egyetemes kijelentésben megfogalmazott törvény vagy szabály - eset -
következmény. Konkrétabban az orvosi gyakorlatban egy diagnózis megállapítása történhet egy
ilyen következtetés útján, ahol megvannak a betegség szimptómái - adott esettel állunk szemben -
megállapítjuk diagnózisát. Hasonló következtetési eljárást alklamaznak a jogban is, ahol megvan a
bizonyos társadalmi tetteket szabályozó törvény - valaki elkövetett egy tettet - ezen esetre hozzuk
meg az ítéletet. De a pszichológus is eszerint következtet amikor diagnózisát állítja fel egy értelmi
fogyatékos esetére.
A II alakzat. Ezen alakzatban a bizonyítás arra alapszik, hogy S nem tartozik P körébe,
mivel S nem rendelkezik M tulajdonsággal, amivel viszont rendelkezik P mindenik eleme. Vagy a
másik lehetőség: S rendelkezik M-el , viszont ezzel nem rendelkezik P egyetlen eleme sem.
Röviden a II. alakzat azt bizonyítja, hogy S kizárja P-t.
Ilymódon az egyetemes premisszában megfogalmazott szabályt vagy törvényt az eset nem
illusztrálja, hanem kizárja ami miatt a következmény mindig tagadó. Azaz, ha egy osztály minden
eleme rendelkezik egy tulajdonsággal és bizonyos tárgyak nem rendelkeznek ezzel a tulajdonsággal,
akkor ezek nem tartoznak bele az illető osztályba. Ezen eljárásmód miatt a II. alakzat szerint lehet
következteni a tudományokban az eredmények rendszerezésekor.
Például álljon egy Camestres típúsú következtetés:
A III. alakzat szerint S körének egy része rendelkezik P-vel, mivel M rendelkezik P-vel és
M, S körébe tartozik. A tagadó módozatokban pedig egyes S-ek nem rendelkeznek P-vel, mivel
annak ellenére, hogy van olyan M ami rendelkezik P-vel ő nem tartozik S köréhez.
Például:
Darapti
E következtetés értelme valójában az, hogy elveti azt a kijelentést, hogy "Minden fém folyékony.".
Felapton
A tagadó és az állító következményben az a közös, hogy egy általános állítást elvetünk, mivel
legalább egy példa cáfolja.
A IV. alakzat szerin bizonyítjuk azt, hogy P, S egyik fajfogalma, mivel P, M egyik
fajfogalma és M, S egyik fajfogalma. Vagy a tagadó módozatokban állítjuk P-ről, hogy nem S egyik
fajfogalma, mivel P, M egyik fajfogalma és M-ről egyetemesen tagadjuk az S-t. A IV. alakzat
sajátossága az, hogy a legtágabb extenziója az alsó terminusnak (S), legszűkebb extenziója pedig a
felső terminusnak (P) van.
Például:
39
Bramantip
E negyedik módozatban megfogalmazott következtetés viszont eléggé szokatlannak tűnik, már csak
akkor is, ha figyelembe vesszük a következményben állítottat. Ezzel szemben sokkal
természetesebbnek tűnik ha a következtetést az I. alakzatban fogalmazzuk meg a következő képpen:
Barbara
A két következtetés viszont különböző dolgot állít. A IV. alakzatban azt, hogy van a nehezen
nevelhető embereknek egy olyan faja akik a gyerekek. Az I. alakzat viszont azt állítja, hogy az
összes elkényeztetett gyermek nehezen nevelhető.
Például.
40
A poliszillogizmus is megjelenhet entiméma formájában, ami azt jelenti, hogy adott
premisszáit, vagy közbeeső következményeit elhallgathatjuk.
Gyakorlatok
1. Milyen következtetési sémákat jelölnek a következö kifejezések: eae-2, aii-3, aii-2, ooe-1, aei-1,
aaa-3, ooi-4, aoe-1, aea-4, ioe-3, aii-1, aoe-2, eao-2, aii-4, aoi-3, ooe-2, eio-4, eio-1, aee-2, aee-1,
aoo-2, eio-4.
Ezek közül melyek érvényesek?
2. Rekonstruáljátok a következő entimémákat:
a) Az ésszerű lények felelősek tetteikért, az állatok nem felelősek.
b) Minden becsületes ember elvégzi a dolgát, vannak nem becsületes emberek.
3. Keressétek meg a következő kijelentések szillogisztikus premisszáit. Ez azt jelenti, hogy ezáltal
megtaláljátok azt az alapot, amelyen deduktívan lehet őket állítani.
a) Az emberi személyiség átalakul.
b) Vannak sikeres pszichológiai kísérletek.
c) A fantázia egyetlen terméke sem alakulhat ki a valóság elemeinek figyelembevétele
nélkül.
d) Vannak olyan pszichológusok akik nem dolgoznak a szakmában.
e) A jó teljesítményt a képességek alapján érjük el.
f) A tanulás egyes mechanizmusai még ismeretlenek.
h) Az emberi pszihikus rendszer számos kutatás tárgyát képezte.
4. Bizonyítsátok poliszillogizmuson keresztül a következő kijelentéseket:
a) A pszichológia tudomány.
b) A pszichológiai kísérlet tudományos módszer.
Adjátok meg a nyert poliszillogizmus entimematikus formáját.
A téma átvétele után képes kell legyél helyesen következtetni kijelentésekkel és felismerni a
helytelen következtetéseket.
41
6.1.3.1. A feltételes szillogizmusok
Például:
Ez azt jelenti, hogy a hamisból érvényesen következtethetünk az igazra, fordítva viszont nem.
Általánosítva, hamisból bármire következtethetünk, azaz igazra is és hamisra is.
42
Jobboldalt van a következtetésnek megfelelő formális séma. Eszerint abból, hogy "nem vizes az út",
következtethetünk érvényesen arra, hogy "nem esik az eső".
Ezt a következtetési módot modus tollensnek nevezzük (magyarul: tagadó). A megnevezése
onnan származik, hogy a második premissza tagadó. Ez azt jelenti, hogy az utótag hamisságából
érvényesen lehet következtetni az előtag hamisságára.
A modus ponens következtetési séma szerint nagyon gyakran következtetünk. Jelen van a
mindennapjaninkban és a tudományokban is. Alapvető jelentése az, hogy állításunk igazságát egy
más állítás igazságára alapozzuk.
A modus tollens szerint következtetünk akkor amikor meg akarunk cáfolni valamit úgy,
hogy a feltétel utótagjának tagadásából kiindulva tagadjuk az előtagot.
Nevük onnan ered, hogy egyik premisszájukban a "vagy" szócska segítségével egy
választást (diszjunkciót) állítunk.
Például:
Itt a "+"-al a választást kifejező "vagy" szócskát jelöltük. A következtetés első premisszájában a
választás kizáró jellegű. Ez azt jelenti, hogy a túlélés és az idegen anyag kivetése közül feltétlenül
csak az egyiket választhatjuk és semmi esetre sem mind a kettőt. Emiatt az egyik lehetőség
választása feltétlenűl a másik elvetését jelenti.
Ezt a következtetési sémát modus ponendo tollensnek (magyarul: állítva tagadó) nevezzük.
A szétválasztó szillogizmusok sémája szerint úgy is lehet következtetni, hogy második
premisszánkban tagadjuk egyik vagy több alternatívánkat és állító következményt nyerünk.
Például:
Ezt a következtetési sémát modus tollendo ponensnek (magyarul: tagadva állító) nevezzük.
A két következtetési séma között csak annyi a különbség, hogy egyikben a premissza tagadó a
másikban pedig a következmény.
E következtetések érvényessége és ezáltal a következmény szükségszerűen igaz volta onnan
ered, hogy választó premisszájukban fel van sorolva az összes, egymást kizáró választási lehetőség.
Ezt azért fontos hangsúlyozni, mert az ilyen következtetésekben megtörténhet, hogy hamis
következményt nyerünk, annak ellenére, hogy helyesen következtettünk. Ez az eset akkor áll fenn,
ha nem soroljuk fel az összes lehetséges alternatívát választást kifejező premisszánkban.
Például:
43
E következtetés eredményeképpen Jánost otthon fogom keresni. Viszont nem találom otthon. Azt
jelenti, hogy következményem hamis. Miért? Azért mert nem vettem figyelembe azt az alternatívát
is, hogy János Péterhez is elmehetett kölcsönkérni egy könyvet. Így ez a következtetés érvénytelen.
Az érvénytelenség onnan adódik, hogy a választási lehetőségeket felsoroló premissza hamis.
6.1.3.3. A dilemma
Nevük onnan ered, hogy az ilyen típusú következtetések premisszái mind feltételt, mind
választást tartalmaznak. Amint az alcím is mutatja dilemmának szokták nevezni. Annak
függvényében, hogy következménye állító vagy tagadó konstruktívnak és destruktívnak nevezik.
Annak függvényében pedig, hogy hány kijelentés szerepel a következményben nevezik
egyszerűnek vagy összetettnek.
(a) Az egyszerű konstruktív dilemma.
Példa.
A logika története több híres dilemmát tart számon. Szórakozásképpen idézek egyet
közülük. A hagyomány szerint Omar kalifa az alábbiak szerint következtetett az alexandriai
könyvtár előtt. Tudjuk azt, hogy az alexandriai könyvtár volt az ókori világ legnagyobb és
leggazdagabb könyvtára. Leégése pótolhatatlan veszteséget jelentett az emberiség számára.
44
A könyvek tartalma vagy egyezik a Koránnal, vagy nem. A + ~A
Tehát a könyvek haszontalanok vagy károsak. B+C
Ha a könyvek haszontalanok, akkor elégetendők, ha károsak akkor B D, C D
is elégetendők.
E könyvek vagy haszontalanok vagy károsak. B+C
E könyvek elégetendők. D
Gyakorlatok
A téma célja az általános kijelentések nyerésének módját bemutatni, illetve ezek szerkezetét
felvázolni.
45
Nem ez az egyedüli különbség a következtetés e két típusa között. Deduktívan helyesen
következtetve igaz premisszákból szükségszerűen igaz következményt nyerünk. Nem így áll a
dolog viszont az induktív következtetés legtöbb típusával. Ezekben az esetekben a premisszák nem
biztosítanak elégséges alapot a szükségszerűen igaz következmények levonására. Emiatt a
következményhez nem rendelhető feltétlenül az igaz igazságérték, hanem csak a valószinű.
Tehát az induktív és a deduktív következtetés között két különbséget álltapítottunk meg: az
előbbi általánosít, az utóbbi partikularizál, valamint az előbbi következménye valószinű az utóbbié
pedig igaz. A dolgokat az bonyolítja, hogy az imént állítottakra találhatunk ellenpéldákat is.
Az ellenpéldák egyik osztályát azok képezik, amelyek a deduktívan nyerhető
következmények igazságértékére vontakoznak. Ez azt jelenti, hogy deduktívan sem nyerhetőek
mindig igaz következmények. Így már Arisztotelész is foglalkozott olyan deduktív
következtetésekkel, ahol a következmény valószinű volt.
Például.
Példa.
Például.
46
Van olyan üldözési mániában szenvedő akit kezelnek. S i P
A következtetés a III. alakzat Darapti módozata szerint történt, ahol két egyetemes premisszából
részleges következmény származott. A két egyetemes kijelentést jelentő premissza csak a paranójás
betegekről állít. Ehhez képest a következmény minden üldözési mániában szenvedőről állít. Így a
paranójás betegek fogalmának extenziója szűkebb mint az üldözési mániában sznevedőké. Tehát
általánosabb kijelentésről van szó.
E példából kiindulva azt állapíthatjuk meg, hogy a deduktívan általánosítani is lehet, más
szóval az általánosítás nem egyedűl az induktív következtetés jellegzetessége. Vannak olyan
logikusok akik elsődlegesnek a deduktív következtetést tekintik és emiatt az induktív következtetést
rejtett dedukcióként kezelik.
A tudományos kutatásban az indukcót és a dedukciót két végletnek lehet tekinteni. Ez azt
jelenti, hogy vannak olyan tudományok, de egyben olyan helyzetek is, ahol túlnyomórészt
deduktívan, máskor túlnyomórész induktívan járnak el. Tehát a következtetés milyensége
tudomány,illetve kutatási helyzetfüggő.
A pszichológiában megtalálható a következtetés mindkét típúsa. A pszichológia konkrét
kutatási módszerei (megfigyelés, kísérlet, a tevékenység eredményeinek elemzése, tesztelés stb.)
elsősorban az induktív következtetéssel kapcsolatosak. A kutató, felmérő vagy diagnózist
megállapító pszichológus induktívan nyeri adatait, amelyeket aztán elemez. Induktívan eljárva
történik a hipotézisek ellenőrzése is. A tudományos hipotézisek birtokába viszont elsősorban
deduktívan lehet jutni. Az eredmények kiértékelése, értelmezése, az összefüggések megállapítása és
az elméletalkotás, mint a tudományosság legfejlettebb szintje, elsősorban deduktívan következtetve
történik.
Például.
47
olimpiászra. tulajdonsággal (S - P1)
Példánk egy transzduktívan következtetet. Baloldalt a következtetés szerkezete van jelen. Mit
figyelhetünk meg? Első pillantásra kiderül, hogy a következmény valószinű. Továbbá
megállatíhatjuk, hogy a következtetésben szereplő négy kijelentés egyedi, valamint azt is, hogy nem
két, hanem három premissza van jelen. A harmadik premissza a közbeeső premissza. Általa a
premisszákban állított nemközös tulajdoságot ruháztuk át a második premissza szubjektumaként
jelen levő egyedre.
Az analógia által szintén tuljadonságokat ruházunk át, gyakran egyik egyik osztályról a
másikra, csakhogy ezt a hasonlóság explicit kifejezése útján tesszük.
Például.
Az induktív következtetés ezen típusai arra próbálnak választ adni, hogy miként nyerhetők
egyetemes kijelentések. Ez nem egy az eddig elmondottaktól teljesen különböző probléma. A
közvetlen következtetés és a szillogizmus útján láttuk már az egyetemes következményekre való
jutás módját. Viszont ez esetben a premisszák is egyetmesek kellett legyenek ahhoz, hogy a
következmény egyetems legyen. Az induktív következtetés ezen típusai arra adnak választ, hogy
miként nyerhetők egyetemes kijelentések nem egyetemes kijelentésekből.
Az egyediről az általánosra való következtetésnek két típusát különböztetjük meg, a teljes és
a nem teljes indukciót.
48
6.2.2.2.1. A teljes indukció
A neve onnan ered, hogy adott tulajdonság szempontjából olyan halmaz vagy osztály
elemeit vizsgáljuk végig, amely véges és egyben megvan az összes elem átvizsgálásának
lehetősége. Ezen megszorítások nagyon ritkává és szűkkörűen alkalmazhatóvá teszik. Már csak
azért is, mert a dolgok kivételesen rendeződnek véges osztályokba és ha ez mégis fennáll, akkor
olyan nagyságrendűek, hogy gyakorlatilag elérhetetlen minden elemük. Például annak ellenére,
hogy a Földön élő emberek száma véges, mégsem tudunk lebonyolítani egy olyan pszichológiai
kísérletet, amelyben minden embert végigvizsgáljunk egy tulajdonság, vagy a tulajdonságok adott
együttese szempontjából.
A teljes indukció útján nyert következmény, amennyiben végigvihetjük, azzal a kitüntetett
jellegzetességgel rendelkezik, hogy biztosan igaz. Biztosan igaz igazságértéke pedig egyetemes
kijelentéshez rendelődik.
Például.
A fluór, klór, bróm és a jód csak vegyületek formájában M1 ,M2, M3, M4 ........P
fordul elő a természetben.
A fluór, klór, bróm és a jód sz összes halogén. M1 ,M2, M3, M4 és csakis ők S-ek
A halogének a természetben csak vegyületek Minden S, P
formájában fordulnak elő.
Elemezve ezt a következtetést láthatjuk, hogy egy véges halmaz elemeit vizsgáltuk végig. Itt
csak négy elem vizsgálatát kellett végigvinnünk, amit viszonylag egyszerűen meg lehetett tenni. A
következmény egy biztosan igaz egyetemes kijelentés, annak folytán, hogy a halogén vegyületek
kisszámúak.
A következtetés felírásának módjából már kiderűl, hogy a teljes iduktív következtetés
sokban hasonlít a deduktív következtetéshez. Így már említettük azt, hogy a következménye igaz.
Továbbá a jobboldali séma lényegében egy deduktív következtetést ír le, ahol a szillogizmus
szerkezete szerint három terminus szerepel, a következmény szubjektuma és predikátuma, illetve a
közöttük kapcsolatot teremtő középső terminus. E szillogizmus a harmadik alakzatban van.
Módozata a Darapti. Csakhogy ahelyett, hogy részleges következményt nyertünk volna itt a
következmény egyetemes. Emiatt a módozat megfelelő elnevezése a Drapta lehetne. Tehát ezt a
következtetést deduktív indukciónak nevezhetnénk el. Így nyilvánvalóvá válik, hogy a deduktív és
az induktív következtetés nem egymás ellentettjei, ahogy azt a hagyományos logikában állítani
szokás.
Hogyan alakulhatott viszont a Darapti módozat Daraptává, azaz miként nyerhettünk
egyetemes következményt? A tisztán deduktív következtetés e módozatban a részleges
következményt teszi szükségszerővé. Ennek ellenére a következmény egyetemes. Ez annak tudható
be, hogy az első premissza szerint végigtanulmányoztuk a fluor, klór, bróm és a jód természetben
megtalálható összes előfordulását. Ezekről pedig megállapítottuk azt, hogy vegyületek. Lehetséges,
hogy számtalan kísérlet és megfigyelés eredményeképpen tudtuk az igazan állítani, hogy az illető
vegyelemek, csak vegyületek formájában találhatók meg e természetben. Ellenpélda hiányában e
kijelentésünket igaznak kell tartanunk. Egyetlen ellenpélda meghamisítja egyetemes kijelentésünket
és igazzá teszi az alárendelt részlegest. Ebben az esetben viszont az általános ismeretet elvesztettük.
A teljes indukció által nyert egyetemes kijelentés feltételezi tehát, hogy empirikus kutatást
végezzünk egy adott kijlentés igazságértékének megállapításához. Az így megállapított törvények
közbeeső általánossági fokuak, ami azt jelenti, hogy általánosabbaknak alárendeltek.
Összefoglalás. Teljes indukciót végezni, azt jelenti, hogy kiválasszunk egy véges halmazt,
amelynek elemeit gyakorlatilag mind végigvizsgálhatunk egy tulajdonság vagy tulajdonságegyüttes
49
szempontjából. Következménye biztosan igaz és nem valószinű, mint azt az analógia esetén láttuk
és látni fogjuk a nem teljes indukció esetén. A teljes indukció sokban hasonlít a deduktív
következtetéshez. Alkalmazhatósága korlátozott.
A nem teljes indukció abban különbözik a teljes indukciótól, hogy ebben ez esetben a
tanulmányozott halmaz elemeinek száma végtelen, vagy ha véges is, gyakorlatilag elérhetetlen
mindenik eleme. Emiatt a következmény úgy születik meg, hogy e tágabb halmaz bizonyos elemeit
vizsgáljuk csak végig. Ebből aztán általánosítani akarunk, ami azzal a következménnyel jár, hogy a
következmény nem lehet többé biztosan igaz, hanem csak valószinű.
A társadalomtudományok nagyon gyakran induktív stratégiát alkalmaznak kutatásaik
folyamán. A kutatások nagy többsége pedig eljárásában a nem teljes indukciót követi. Emiatt a nem
teljes indukciónak a társdalomtudományokban kitüntetett szerepe van.
Például.
50
Kiterjesztés (mintáról populációra)
S1, S2, ....., Sk (a minta minden elemét megkérdezve) rendelkeznek a P1, P2, ....., Pi
tulajdonsággal
S1, S2, ....., Sk a G halmaz (a populáció) bizonyos elemei
G (a populáció) valószinüleg rendelkezik a P1, P2, ....., Pi tulajdonsággal
51
miként alakították ki a mintát. Ezt mutatja az IMAS és az IRSOP mintáinak nagyságrendbeli
különbsége is. Az emögött megbujó matematika apparátus annyira fontos, hogy nem kezelik
nyilvánosan, hanem az alkalmazó intézetek "kincsként" titokban örzik.
A mi példánk egy fordított nem teljes induktív következtetés. Miért fordított? Mert mi a
mintában megállapított részarányokból következtettünk a populáció részarányaira. Sematikusan a
következőképpen: ha a P tulajdonságot n% elégíti ki a mintából, akkor kitejesztés útján,
valószinüleg n% elégíti ki a populációból is. Így a részleges és igaz következmény, egyetemes vagy
általános, viszont valószinű következménnyé alakul.
A másik következtetési lehetőség az, amikor a populációból több mintát hozunk létre. Az
M1, M2, M3 stb. minták közül az egyiken, mondjuk az M2 -őn vizsgáljuk végig a P tulajdonság
kielégítettségét. Itt megállapítuk azt, hogy a minta n%-a elégíti ki. Innen pedig arra következtetün,
hogy a többi mintában is a tulajdonság megoszlása valószinüleg n% -os. Más szóval mintáról
mintára következtetünk. Ezt nevezik külső statisztikai indukciónak. Persze ezt az induktív
következtetést folytathatjuk egy közvetlen következtetéssel és kiterjeszthetjük az egész populációra,
emígy kombinálva a statisztikai indukció két említett formáját.
A nem teljes indukció más vállfajai is ismeretesek. Ezek közül megemlítjük még a nem
teljes indukciót egyszerű felsorolással. Felhívjuk viszont a figyelmet arra, hogy minden esetben
nem teljes indukcióról van szó, ami azt jelenti, hogy a következtetés a leírt séma szerit történik.
Az egyszerű felsorolás induktív eljárása elsősorban, de nem kizárólagosan a
mindennapjainkra jellemző. A következtetést úgy hajtjuk végre, hogy megállapítjuk, hogy minden
ismert S rendelkezik egy bizonyos P tulajdonsággal. Így lehet valószinű következményhez jutni
n
például a matematikában. Például minden 22 alaku szám prímszám, egy ilyen felsorló indukció
eredménye. Kiderült viszont, hogy ez nem igaz az n= 5-re. De az egyszerű felsorolás induktív
eljárásával jönnek létre a közmondások, szólások és mondások. Például: "Ki disznó után indul,
pocsolyába jut.", "Farkas megeszi a bárányt, ha béget is.", "Nincsen olyan szakács, hogy
mindenkinek szája íze szerint főzzön." stb. Mind a matematikai, mind a hétköznapi példa
egyetemes kijelentés. Ennek ellenére nem minden helyzetre igaz, habár az általános ismeret
szándékával fogalmazták meg.
Felsorolással nyerünk olyan következményeket is, amelyket egy vagy egynéhány helyzet
alapján nyerünk. Például: "Láttam amint X pénzt adott egy koldusnak, tehát az illető nagylelkű.",
"Y előreengedte a hölgyet az ajtón, tehát Y udvarias.". Egyetlen ilyen helyzet és az ottani viselkedés
nem elégséges alap arra, hogy általános, az illető szmélyiségére vonatkozó megállapításokat
tegyünk. Ezt nevezik az elhamarkodott általánosítás következtetési hibájának. Babonák, tévhitek és
előítéletek létrejöttének egyik forrása.
Gyakorlatok
52
d. A Guilford-féle "kocka" a személyiség kognitív oldalát modellálja.
3. Az alábbi szövegekről állapítsátok meg, hogy analógiás következtetések, vagy csupán
szemléletes hasonlatok. Mi a szerkezetük? Helyesen nyert analógiákról van-e szó vagy sem?
a. A hangyák sohasem járnak üres búzaraktárakban; senki sem látogatja vagyona vesztett
barátját. (Ovidius)
b. Az élvezet szerencsétleséget hozó csalétek, mert megkísérti az embereket, akár a halakat a
csalétek. (Plautus)
c. Az óvodások meg vannak arról győződve, hogy a macskák megértik az emberi beszédet,
mivel gyakran mesélnek nekik.
d. Az etiópiaiak azt mondják, hogy isteneik görbék és feketék, a trákok pedig azt, hogy
szemük kék és hajuk vörös. Ha az ökröknek, a lovaknak és az oroszlánoknak kezük lenne és
kezeikkel festményeket készíthetnének és műveket írhatnának, mint az emberek teszik, akkor az
ökrök isteneiket ökrökként, a lovak lovakként és az oroszlánok oroszlánokként ábrázolnák.
(Xenofanes)
e. A fák eledele a gyökereken, a törzsön és az ágakon át jut a levelekig; A hang áthatol a
falkon és eljut otthonainkba; a hideg áthat, érzed amint csotjaidat átfagyasztja; Ha nem lennélek a
dolgokban olyan ürességek, amelyek az áthatolást megengednék, mondd, mindezek miként lehetnek
lehetségesek; A táplálék az élőlény testében ürességei révén terjed. (Lucretius)
Ezen alfejezetben azokról a módszerekről lesz szó, amelyeket J. St. Mill, XIX. századi
logikus és filozófus írt le. A módszerek arra vonatkoznak, hogy miként lehet egy feltételegyüttesből
azonosítani azokat az elemeket, amelyek előidézik az okozatokat. Tehát azon az állásponton
helyezkedünk el, hogy a valóságban a dolgok összefüggenek egymással. A dolgok közötti egyik
legfontosabb összefüggés az oksági összefüggés. Ennek két alkotóeleme van, az ok és az okozat.
A dolgok közötti oksági összefüggés nem egyszerű. Három lehetőséggel állunk szembe:
a. egy okozatot egy ok idéz elő,
b. egy ok több okozatot idéz elő,
c. egy okozatot több ok idéz elő.
A társadalomtudományok által tanulmányozott valóságterületre elsősorban a többokú és több
okozatú meghatározottság jellemző. Emiatt a társadalomtudósok, nevezetesen a pszichológusok
adott esetekben nagy erőfeszítést ígénylő kutatásokat kell megtervezzenek. Emiatt az oksági
indukció következtetési sémái hasznosak lehetnek a kutatási stratégia kigondolásában, a kísérletek
megtervezésében.
A módszerek a következők.
Például. a. A tífusz megjelenése egy emberi közösségben azon feltételek között jön létre, ha
a vízforrás fertőzött, vagy valamilyen élelem fertőzött. X helységben a járványt azok kapták el akik
ugyanarról a piacról vásárolt tengeri kagylót fogyasztottak.
b. Azon országokban ahol a közlekedési rendszabályok szigorúbbak, a
szabálysértések száma alacsonyabb.
53
2. A különbségek módszere. Sémája a következő.
Például. a. Minél nagyobb erőt fogyasztunk el surlódás által, annál nagyobb lesz a kifejtett
hő.
b. Minél mélyebben nyomorúságos körülmények között élnek az emberek, annál
nagyobb a törvénysértések száma.
Például. Két szoba egymás mellett, azonos körülményekkel. Egyikben nincs senki, a
másikban én vagyok és olvasok. Bizonyos idő után az én szobám hőmérséklete 3 fokkal magasabb,
a másik szobáé pedig csak 2-vel. Mi ennek az oka? A 2 foknyi hőemelkedést a mindkét szobában
égő lámpa idézte elő. Tehát az 1 foknyi különbség oka az én testhőmérsékletem.
Gyakorlatok
54
a. Galenus, híres ókori görög orvos rájött arra, hogy egyik betege szerelmes egy korabeli
híres téncosba, mert minden alkalommal amikor nevét kiejtették a beteg pulzusa észrevehetően nőtt.
b. Az ízlelés és a szaglás között szoros kapcsolat van, mert anélkül, hogy az ételt látnánk,
csak a szagát érezve azonosítjuk ízét. De ha orrunk bedugult, akkor az étel ízét sem érezzük.
c. Egy orvos, vizsgálódásai során megállapította, hogy az A betegségben szenvedők testében
jelen van az X baktérium és nincs jelen az egézséges emberek testében. Elszigetelte ezt a
baktériumot, kitenyésztette és beoltott vele tengeri malacokat. A baktériumot egy idő után
begyűjtötte a tengeri malacok szervezetéből és újra tenyésztette őket. Az így nyert baktériumokat a
tengeri malacok újabb csoportjának oltotta ba. Ezek mindegyikénél megfigyelhető volt az A
betegség. Az orvos ezen az alapon kijelentette: Ha az X baktérium szervezetünkben van, akkor
előidézi az A betegséget.
d. Megfigyelték, hogy a gyermekek, játékukkal legtöbbször a felnőttek tevékenységét,
cselekvési formáit és viselkedésformáit utánozzák. Sőt, minél gyakoribb az utánzás, annál inkább
hajlamosak az illető tevékenységi forma végrehajtására és olyan képességük alakul ki, amivel
azelőtt nem rendelkeztek. Következik, hogy a hajlamok nem örökletesek és legalábbis kezdetben,
utánzás útján alakulnak ki.
7. AZ ÉRVELÉS
A téma célja bemutatni, hogy mi a külöbség a következtetés és az érvelés között, valamint azt,
hogy melyek a leggyakrabban elkövetett érvelési hibák.
A téma átvétele után képes kell legyél felismerni a leggyakoribb érvelési hibákat, valamint arra,
hogy elkerüld őket.
A hagyományos logika eddigi tárgyalása azt a célt tűzte ki maga elé, hogy megismerkedjünk
a helyes következtetéssel. E fejezetben bemutatjuk azokat az érvelési hibákat amelyeket a
hagyományos logika mint a leggyakorabbiakat tart számon.
Amikor következtetünk, azt azzal céllal tesszük, hogy igaz kijelentések birtokába jussunk.
Ennek az a feltétele, hogy igaz premisszákból induljunk ki és helyesen következtessünk. Az igazság
biroklásának nagy megismerési értéke van. Aki elé odahelyezzük azt egyben meg is győzzük. A
meggyőzés szándékával végigvitt következtetéseket érvelésnek nevezzük.
A meggyőzéshez viszont nem csak a logika eszközeivel lehet közelíteni. Meggyőzni valakit
egy összetett feladat, amiben közrejátszik a nyelv bizonyos használati módja, a gesztikuláció, a
motiváció, az érdek, a képzettség, elvárasaink, a problémák adott elrendezési módja stb. A
meggyőzés tehát több tudományág találkozását feltételezi, abban az esetben, ha a feltárása vezérli.
Bennünket itt az érvelés és egyben a meggyőzés logikai oldala fog érdekelni.
Az érvelés folyamán mindig egy adott logikai szerkezetet követünk. Ennek elemei a
következők:
1. a bizonyítandó (demonstrandum), azon kijelentést, vagy kijelentéseket tartalmazza
amlyeket bizonyítani akarunk,
2. a bizonyítás alapja (principia demonstrandi), azon igaz kijelntéseket tartalmazza
amelyekből következtetünk a bizonyítandóra,
3. a bizonyítási eljárás, amely helyes következtetésekből, vagy ezek sorozatából áll.
Ezen elemek közűl csak a 3. kimondottan logikai jellegű, a többi azzal kapcsolatos hogy milyen
természetű állítások igazságát próbáljuk bizonyítani.
Ahhoz, hogy a bizonyítás helyes legyen be kell tartanunk néhány szabályt. Ezek a
következők.
1. A bizonyítandó szabályai:
a. A bizonyítandót pontos és világos kijelentésekben kell megfogalmaznunk.
55
b. A bizonyítandó azonos kell maradjon a bizonyítás folyamán, azaz nem szabad
kicserélnünk.
2. A bizonyítás alapjának szabályai:
a. Az alap csak igaz kijelentéseket kell tartalmazzon, mivel a hamisból bármi
következik.
b. Az alap elégséges kell legyen.
3. A bizonyítási eljárás szabálya kimondja, hogy a bizonyítandó szükségszerűen kell
következzék az alapból.
Amint láthatjuk az összes szabály valamilyen módon a logika alaptörvényinek követelményeit
alkalmazza a bizonyítás helyzetére.
E követelményektől számos eltérési lehetőség és egyben helytelenség adódhat. Ha a logikai
helytelenség akartalanul kerül be az érvelésbe, akkor paralogizmusnak nevezzük. Abban az esetben
viszont, ha a logikai hibát a meggyőzés végett szándékosan követjük el, akkor szofizmának
nevezzük. Elvileg minden logikai helytelenség egyben vagy szofizma, vagy paralogizmus. Mivel a
logikai helyességgel kapcsolatosak számuk nagyon nagy lehet. Van viszont néhány logikai
helytelenség amely nagyon gyakran előfordul az érveléseinkben. A továbbiakban ezeket mutatjuk
be.
A személy támadásának hibáját követjük el, ha azzal utasítjuk vissza a másik okfejtését vagy
álláspontját, hogy a vitapartnerünket kritizáljuk az érvelése helyett. Ez azt jelenti, hogy a
bizonyítandó nem marad azonos a bizonyítás folyamán.
Premissza: Van valami kivetni való a másik személyében vagy helyzetében.
Arra következtetünk, hogy: a másik érvelése vagy álláspontja hibás.
PÉLDA
A nem tudásra való apellálás hibáját követjük el, ha az álláspontunkat az ellene felhozható
bizonyítékok hiányával akarjuk igazolni. Ez egy olyan hiba, amelyet úgy követünk el, hogy nem a
megfelelő alapot használjuk bizonyításunkban.
Premissza: Azt állítjuk, hogy egy adott álláspontot még nem cáfoltak meg.
Arra következtetünk, hogy: az álláspontnak igaznak kell lennie.
PÉLDA
8
E rész megírásában felhasználtuk Z. Seech „Logika a mindennapi életben” című könyvét (BME,
Budapest).
56
Eltünt a főnök tárcája az íróasztaláról. Biztos benne, hogy a titkár a tolvaj, akit ő
mellesleg utál. - Persze hogy ő volt - jelenti ki magabiztosan a főnök. Már megkérdez-
tem őt. Semmivel sem tudta bizonyítani, hogy - amint állítja - nem járt a szobámban,
amíg távol voltam.
Reméljük, valaki majd rámutat arra, hogy a főnöknek kell bizonyítania először azt az állítását,
hogy a titkár lopta el a tárcát.
A vitatható ok hibáját követjük el, ha egy megtörtént eseménynek vagy egy ténynek nem
kielégítő bizonyítékok alapján tulajdonítunk okot. Ez esetben érvelésünk nem a megfelelő alapon
bizonyít.
Premissza: Egy tény vagy egy megtörtént esemény állítása. (Ez általában vitathatatlan
állítás.)
Következmény: Az ok meghatározása. (Ez az állítás általában vitatható, mert más - okok is
lehetségesek.)
PÉLDA
János jó tanuló volt az egyetemen. A szüleivel lalkott együtt, mígnem egyik nap bejelentette,
hogy elköltözik otthonról, bérel egy lakást. A szülei tudomásul vették, hogy felnőtt ember és önálló
életet akar élni. Aggódtak azonban, hogy túl sok idejét fogja a tanulástó1 elvenni a házimunka, amit
eddig otthon elvégeztek helyette.
János elköltözött, de a szülei továbbra is figyelemmel kisérték a tanulmányi eredményét. A
következó félévet közepes eredménnyel zárta. Amikor ezt megtudták a szülők, szinte egyszerre
mondták: - Megmondtuk, hogy ez így lesz.
Ragaszkodtak hozzá, hogy hazaköltözzön, mert nem tudja egyszerre a kettőt csinálni:
tanulni és saját magát ellátni.
PÉLDA
57
Premissza: A Biblia Isten igéje.
Átmeneti konklúzió: A Biblia tévedhetetlen.
Premissza: A Bibliában szerepel, hogy az Isten létezik.
Konklúzió: Az Isten létezik.
E hiba az alap megválsztásából adódik. Azon az alapon, hogy mások is egy bizonyos módon
cselekednek, vagy gondolkoznak még nem jelent elégséges alapot arra, hogy mi is úgy
cselekedjünk, vagy gondolkozzunk. Emiatt az argumentum ad populum két változatát fogjuk
megkülönböztetni. Az egyik mások cselekvéseit, a másik mások gondolkodását vagy értékeit tekinti
alapnak.
a. Ezt a hibát követjük el, amikor egy cselekedetrõl azt mondjuk, hogy erköcsileg
elfogadható, és ennek alátámasztására azt hozzuk fel, hogy valaki más már ehhez hasonló módon
cselekedett.
Premissza: Azt állítjuk, hogy valaki ehhez hasonló cselekedetet hajtott már végre.
Arra következtetûnk, hogy: ez a cselekedet morálisan nem kifogásolható.
PÉLDA
b.Ezt a hibát követjük el, amikor azt hozzuk fel egy állítás bizonyítására, hogy általában,
mások is ugyanígy gondolják.
Premissza: Azt mondjuk, hogy sok ember elfogad egy bizonyos állítást.
Arra következtetünk, hogy: a szóbanforgó állítás igaz.
PÉLDA
Nem értem Görgeyt. Meg kellene ismerni az ő álláspontját is - mondja Józsi miközben arra
gondol, lehet, hogy Görgeynek volt igaza, amikor Világosnál letette a felgyvert. - Pedig egyszerű.
Görgey áru1ó volt, ezt minden iskolás gyerek tudja - feleli Gábor, az osztálylársa. - Nos, ebben
igazad van - visszakozik Jóska.
6. Felosztás
A felosztás hibáját követjük el, ha abból, hogy az egész rendelkezik bizonyos tulajdonsággal,
arra következtetünk, hogy minden rész rendelkezik ugyanazzal a tulajdonsággal, vagy fordítva,
kizárólag egy rész tulajdonsága alapján következtetünk arra, hogy az egész ugyanolyan
tulajdonsággal rendelkezik.
Premissza: Az az állítás, hogy az egész (egy rész) rendelkezik bizonyos tulajdonsággal. (Ez
rendszerint vitathatalan állítás.)
Arra következtetünk, hogy: minden egyes része az egésznek (az egész) rendelkezik
ugyanazzal a tulajdonsággal.
58
A kosárlabda csapat semmivel sem több, mint a játékosok összessége. A bizottság nem több,
mint tagjainak összessége. A bélyeggyűjtemény azonos a bennelévő bélyegekkel. Persze bizonyos
értelemben igazak ezek az állítások.
Minden esetben az egészet (csapat, bizottság, gyűjtemény) a részeinek (játékosok, tagok,
bélyegek) az összegeként gondoljuk el. Azonban minden esetben szemben találjuk magunkat a rész-
egész viszonnyal is, a hasonló részek valami újat hoznak létre, az egészet, aminek rendszerint saját
neve is van. Csak akkor követjük el a felosztás hibáját, amikor a következtetés a rész-egész viszonyt
érinti. Nézzünk még néhány példát erre a viszonyra:
Egész Rész
Lexikon sorozat ennek kötetei
Család család tagjai
Zenekar zenészek
Etnikum ennek tagjai
Egy pakli kártya a lapok
A feIosztás hibát követjük el, amikor úgy okoskodunk, hogy ami igaz az egészre, annak
igaznak kell lennie minden egyes részre is.
PÉLDA
-Azt mondják, hogy a BBC Shakespeare sorozata az utbbbi húsz év egyik legjobb produkciója.
Méghogy az egyik legjobb produkció! Tegnap láttam egy részt belőle legfeljebb közepes volt. Csak
újságíróí túlzás, hogy ez az utóbbi húsz év legjobb sorozata.
Ebben az esetben a hiba abból adódik, hogy a következmény nem adódik szükségszerűen a
premisszákból, tehát ez a hiba a bizonyítási eljárással kapcsolatos.
PÉLDA
Ebben az esetben is a bizonyítási eljárás a hibás. Nevezetesen egy olyan modus ponens,
amelynek egyik premisszája hamis.
Ezt a hibát követjük el, ha elfogadhatatlan bizonyossággal állítunk valamit egy olyan
esemény következményéről, ami megtörténhetett volna de nem történt meg.
59
Premissza (gyakran hallgatólagos): Az az állítás, hogy az A hipotetikus esemény B
tövetkézménnyel járt volna.
Premissza (gyakran hallgatólagos): Az az állítás, hogy A-nak nem lehetett volna más
eredménye. (Ez a premissza hamis.)
Arra következtetünk, hogy: ha A megtörtént volna, B következménnyel járt volna.
PÉLDA
-Ha nem ilyen fiatalon ment volna férjhez, akkor ma sokkal boldogabb lenne - sajnálkozik
valaki a szomszédja családi problémái miatt.
9. Argumentum ad verecundiam
a. A múltra való hivatkozás. Ezt a hibát követjük el, amikor egy állítás mellett azt hozzuk fel
bizonyítékként, hogy már a múltban is igaznak tartották és így a múlt elutasíthatatlan tekintélyt
jelent.
Premissza: Azt mondjuk, hogy, már a múltban is igaznak tartottak egy bizonyos állítást.
Arra következtetünk,hogy: az adott állítás igaz.
PÉLDA
Lajos nem hisz a lélek halhatatlanságában, sőt a lélek létezésében sem. Nóra mélyen
vallásos. Másképp látja a kérdést, és meg akarja győzni Lajost is: - Nézd – érvel Nóra - az
embernek biztosan van lelke. Ennek a meggyőzódésnek évezredekre visszanyúló hagyománya van.
b. A hamis tekintély. A rossz hivatkozás hibáját követjük el, amikor azt a bizonyítékot
hozzuk fel egy állítást mellett hogy egy adott személy - akinek a tudása és hitelessége az adott
témában kérdéses - elfogadja azt.
Premissza: Azt mondjuk, hogy X személy elfogadja ezt az állítást. (Kérdéses az illető
kompetenciája vagy hitelessége.)
Arra következtetünk, hogy: ez az állítás igaz
PÉLDA
Feri egy tudományos ismeretterjesztő műsort néz a tévében. A riporter a műsor vendégét
kérdezi: - Dr. Várnai, ön mint asztrofzikus bizonyára foglalkozott a kérdéssel, van-e intelligens élet
máshol is az Univerzumban? - Igen, biztos vagyok benne, hogy vannak máshol is olyan intelligens
lények, mint mi...
Ekkor Feri feláll és kimegy a konyhába, hogy főzzön egy teát. Közben magában
morfondírozik: - Ez érdekes. Én nem hittem, hogy van élet a Földön kívül, de biztos tévedtem.
Hiszen ő asztrtofizikus, ő ért hozzá.
GYAKORLATOK
60
1. Alapfeladatok
Nevezd meg a hibát a következõ érvelésekben, és mutasd meg, hogy az adott eset kielégíti a
megnevezett hiba definícióját!
Példa: Minthogy egyetlen bizonyíékunk sincs arra, hogy léteznek szellemek, arra kell
következtetnünk, hogy a szellemek csak a fantázia birodalmához tartoznak.
Helyes válasz:Nem tudásra való apellálás.
Magyarázat: Hogy a szellemek létezéséról nincsenek bizonyítékok, az még nem bizonyítja
az ellentétes álláspontot, tudniillik, hogy nem léteznek szellemek.
A megfogalmazás különbözhet ettől, az a lényeg, hogy tudd és alkalmazd a hibák
definícióit, és felismerd, hogy az adott érvelés mely elemei játszanak szerepet a hiba definíciójában.
1. Ha Amerikának nem lett volna egy Lincolnja, akkor a feketék még mindig rabszolgák
lennének.
2. Kocsiban: - Gyorsan mész. - Ugyan már, ki megy itt hatvannal!?
3. Ha Kennedyt nem lőtték volna le, nem lett volna ilyen híres elnök.
4. Nincs semmi rossz abban, ha az ember átveri az adóhatóságot. Biztos lehetsz benne, hogy
ugyanezt csinálják azok is, akik állami hivatalokban üldögélnek.
5. Pénzügyi tanácsadó az ügyfelének: - Vagy rám hallgat és befekteti a pénzét, vagy elúszik
az inflációban.
6. Azt hallottam, hogy a pedagógusok ellenzik a kormány oktatási törvénytervezetét.
Andrea, ön tanár, miért nem felel meg ez a törvény?
7. Minden kritika ellenére az Egyesült Államok elektori rendszere a legjobb elnökválasztási
rendszer. Végül is kétszáz éve fogadták el, és azóta műküdik.
8. Egy ember összeesik az utcán. Egy járókelő: - Úgy, kell neki! Minek iszik annyit?
9. Nyilvávalóan hibás az altruizmus feltevése, hogy az ember önfeláldozó. Semmi
bizonyíték nincs arra, hogy az ember végső motívumai között mások is lennének, mint az önérdek.
10. Persze, hogy értelmesebbek a nők, mint a férfiak. Ezt mindenki tudja.
2. Nehezebb feladatok
Nevezze meg azt a hibát, amellyel az alábbi példák összetéveszthetõk! Az egyes hibák
definícióinak felhasználásával mutasson rá arra, hogy ezek a példák miért nem tekinthetők mégsem
hibásnak!
1. A riporter azt mondja, hogy dr. Sárosi bíró saját előítéletei szerint értelmezi az
alkotmányt. Ha így is lenne, számomra ez akkor sem tűnik bizonyítottnak.
2. Newsweek cikkrészlet az AIDS-ró1: Hogy a következő öt évben hogyan alakul a helyzet,
azon múlik, hogy mennyire sikerül az emberek viselkedését megváltoztatni. Ha nem sikerül, akkor
tovább terjed a vírus.
3. Most nem lennél ilyen szörnyű helyzetben, nem akarnák a nyakadba varrni ezt az orvosi
műhibát, ha közgazdásznak mentél volna, ahogy én tanácsoltam, és nem orvosnak.
4. Részlet a Science Digest szorongásról szó1ó cikkéből: Néhány szorongásos tünet
gyógyszeres kezelésében elért sikerek dacára nincs semmi bizonyítékunk arra, hogy a gyógyszerek
egyedül megoldják a problémát - mondja dr. D. Barnet, a Viselkedéstudományi Kutatóközpont
alapítója.
5. Ha tinédzser koromban nem lett volna súlyos motoros balesetem, zongorista lehettem
volna.
6. János hazudós és csaló.
7. Két lehetőséged van: vagy katona leszel, vagy civil maradsz örök életedre. Mind a
kettőnek vannak előnyei.
61
8. Te is éppúgy csaltál az egyetemen a szociális támogatási kervény kitöltésekor, mint a
többiek. Ez itt gyakorlat, az emberek megtanulják, hogyan mutassák szegényebbnek magukat, mint
amilyenek valójában.
9.- Honnan tudjuk, hogy tényleg meg akarta ölni az öreget? - Ez szándék kérdése. Világos,
hogy kezdettől fogva meg akarta ölni. Elsősorban ez volt a célja. Hát ebből tudjuk.
10. Amellett kardoskodsz, hogy a világon - amelyik tele van atomerőművekkel - a nukleáris
balcsetek elkerülhetők. Én ezt nem hiszem, amíg be nem bizonyítják nekem. De eddig még senki
sem bizonyította be.
11. -Igen, valóban csaltam a dolgozatírás alatt, úgyanúgy, mint mindenki más. Csak úgy
igazságos, ha mindenkit egyformán büntetnek meg.
12. Nem értem, miért gondolod azt, hogy erkölcsi kötelességed az afrikai éhezőket etetned.
Senki sem gondolja ezt így.
62
II. Rész
Szimbolikus logika
63
A rész célja rámutatni a hagyományos logika és a szimbolikus logika kapcsolataira, valamint
azokra az alapvető különbségekre, amelyek a következtetés tárgyalásának hagyományos logikai
és szimbolikus logikai eszközeinek másságából fakadnak.
E rész átvétele után képes kell legyél logikai kalkulust végezésére és arra, hogy felismerd a
logika kognitív pszichológiai alkalmazási lehetőségeit.
1. Bevezetés
1.1. Hagyományos logika és szimbolikus logika
A téma átvétele után képes kell legyél világosan látni a következtétés fele való közelítés
eszközökbeni különbségeit.
64
nyelv. Ezt vizsgálni lehet a hagyományos logika eszközeivel és ekkor a következtetés hagyományos
logikai modellje alakul ki. Továbbá ugyanazokat a természetes nyelvi következtetéseket vizsgálni
lehet a szimbolikus logika eszközeivel. Ebben az esetben a következtetés szimbolikus logikai
modellje alakul ki. Ezt a modellt pedig alkalmazni lehet az emberi pszichikum formális oldalának
értelmezésében. Ez azt jelenti, hogy a szintek a következők: természetes nyelvi következtetés, a
hagyományos logika vagy a szimbolikus logika eszközei (nyelvei) és alkalmazás a pszichológiában.
Következtetés
A szimbolikus logika A következtetés
eszközei (nyelve) szimbolikus logikai
modellje
Pszichológiai
alkalmazás
1. 2. A nyelv fogalma
A téma átvétele után képes kell legyél megérteni mind a természetes, mind a mesterséges
nyelvek szintaktikai és szemantikai szerkezetét.
A fentiekben elmondottak feltételezik egy adott nyelvfogalom meglétét. Ahhoz, hogy ezt
kialakítsuk vizsgáljuk meg a nyelvek általános szerkezetét.
A természetes nyelv szerkezetéből kiindulva a következő elemeket azonosíthatjuk. Először
is minden nyelvben megvannak a jelek, vagy szimbólumok. Ha idegen nyelveket tanulunk, akkor
azzal kezdjük, hogy elsajátítjuk az illető nyelv ábécéjét (A). A nyelvben meglévő jelek kimondott-,
vagy írott formái a hangok és a betűk. Tehát egyetlen nyelvet sem lehet elképzelni ábécé nélkül. Az
65
ábécéhez hozzáadódnak aztán jeleinek használati szabályai. E szabályok alkalmazása által nyerünk
helyes vagy jólformált kifejezéseket az illető nyelven. A jelhasználati szabályok összessége képezi
adott nyelv szintaxisát. E szabályok az illető nyelv grammatikájához (G) tartoznak. A szintaxis
természetes nyelvenként különbözik. Elsajátítása adott esetben elég nagy erőfeszítést igényel. Tehát
minden nyelv alapvetően ábécéből és grammatikából tevődik össze.
66
egy nyelvet. Ugyanazon kijelentés különböző kontextusokban különböző értelemmel és jelentéssel
rendelkezhet. A nyelv segítségével, az emberi tevékenységen keresztül környezetünket, a
természetet és társadalmat vagyunk képesek módosítani. Vagy, ami a pszichológusok számára
nagyon fontos, az ember a nyelven keresztül projektálja, vetíti ki magát. Azaz, belső "világát"
nagyrészt a nyelven keresztül teszi külsővé, mások által is érzékelhetővé és megérthetővé.
A pszichológiai kutatás, valamint a pszichológia mint tudomány sem fogható fel a nyelven
kívül. És amennyiben ez így van tisztában kell lenni szerkezetével. Tisztában kell lenni továbbá
azzal is, hogy a pszichológiai diskurzus tárgynyelvi vagy metanyelvi szintjén helyezkedünk-e el. Ha
ezt nem látjuk világosan, akkor a félreértések és fölösleges viták meddő területére kerülünk.
A téma átvete után képes kell legyél az előbb említett természetes nyelvi sokféleséget
valamelyest egységesíteni.
67
A példában szereplő két kijelentést összekötő vessző konjunktív kapcsolatot takar. E kapcsolat nem
jelenik meg expliciten. Azt, hogy konjunktív kapcsolatról van szó onnan lehet megállapítani, hogy a
két állítást helyez egymás mellé.
Az egymás mellé helyezés intuitív jelentése többféle lehet. Konjunktívan fejezhetünk ki
egyszerű egymásmellettiséget ("Kívül fényes, belül férges."), helyzeteket ("A kakastól elfut,
oroszlánra talál."), állapotok tulajdonságait ("Feje mint egy hordó, esze mint egy dió."),
térbeliséget ("A hazugág világot kerül, az igazság egy helyben ül."), egyidejűséget és
egymásutániságot ("Farkast emlegettünk, a kert alatt jár.", "Nincs olyan hosszú nap, hogy estéje ne
volna.")
Ilyen jellegű kapcsolatot változatos nyelvi formában lehet kifejezni. A magyar nyelvben a
következő kifejezési lehetőségek állnak rendelkezésünkre: de, hogy, ilyenformán, habár, mégis stb.
A konjunktív kapcsolat változatos és adott esetben többértelmű, intuitív természetes nyelvi
jelentését egyértelműsíti ennek logikai jelentése. Ezen jelentés eltekint a kijelentések konkrét
tartalmától és csakis igazságértékeiket, valamint a közöttük fennálló kapcsolatot veszi figyelembe.
Eszerint:
A logikai jelentés tehát azt veszi figyelembe, hogy milyen állandó logikai kapcsolat van a
kijelentések között és eltekint a konkrét tartalmuktól. Más szóval nem az érdekli, hogy valami
valóban "kívül fényes"-e vagy sem és "belül férges"-e vagy sem és eszerint igaz-e a kijelentés vagy
sem, hanem az, hogy ha az egyik igaz és a másik is igaz, akkor a konjunktívan összetett kijelentés is
igaz.
b. A megengedően diszjunktív kijelentés szabványos nyelvi formája a "vagy". Ezen kívül
még kifejezhetjük az "akár" szócska segítségével is. A természete nyelv távolról sem biztosítja
annyi lehetséges kifejezésmódját, mint ez a konjunkció esetében teszi. Például:
A két diszjunktívan összekötött kijelentés intuitívan választást fejez ki két alternatíva közül. Ez
egyben egyezik a diszjunktív kijelentés általános intuitív jelentésével. E választásban viszont benne
van az is, hogy az alternatívák közül az egyiket, a másikat vagy egyszerre mindkettőt is
választhatom. Más szóval a moziba menetel nem zárja ki azt, hogy vegyek magamnak egy fagyit.
Emiatt a diszjunktív kijelentés e formáját megengedőnek is nevezik.
A megengedően diszjunktív kijelentés logikai jelentése a következő:
Ezen logikai jelentés is kizárólagosan a tagok, valamint az összetett kijelentés igazságértékeit veszi
figyelembe.
c. A kizáróan diszjunktív kijelentés szabványos nyelvi kifejezési eszköze a "vagy....vagy"
szócskák. Ezen kívül kifejezhetjük még az "akár....akár" szavak segítségével is. A természetes
nyelven viszont nem mindig fejezzük ki expliciten a két vagy-ot. Megtörténhet, hogy egyetlen
vagy-nak is kizáró jelentése van. Például:
68
káromolni. Mindkét alternatívát pedig nem lehet választani, mivel nem lehet a semmit mondva jót
mondani, vagy jól mondva a semmit.
A diszjunkciót kifejezhetjük egyetlen "vagy" segítségével, de megtörténik, hogy kizáró
jelentése van. Például:
Itt az egyetlen "vagy" kizáró jelentésű, mivel fizikai lehetetlenség egyszerre az udvaron is lenni és a
házban is maradni. Tehát a kizáró vagy megengedő diszjunkció azonosítása feltételezi azt, hogy
pontosan definiált logikai jelentéssel rendelkezzünk.
A kizáróan diszjunktív kijelentés logikai jelentése tehát a következő:
közmondásban nem jelenik meg expliciten az utótagot bevezető "akkor" szócska, hanem a vessző
helyettesíti. Ennek ellenére világos a kondicionális kapcsolat. Szintén kondicionális kapcsolat van
jelen a következő közmondásban is
azzal a különbséggel, hogy itt előbb állítja az utótagját, majd csak utána az előtagját. Ha
egyértelművé akarjuk tenni, akkor a következőképpen fejeznénk ki
ha a kondicionális kijelentés igaz, akkor nem igaz hogy előtagja igaz és utótagja hamis.
ha a kondicionális kijelentés hamis, akkor előtagja igaz és utótagja hamis.
69
Ezen jelentése szerint ismerhetjük fel, hogy melyik az utótagja és melyik az előtagja, valamint így
különböztethetjük meg az összetett kijelentések többi típusától.
e. A bikondicionális kijelentés szabványos nyelvi formáját az ".... akkor és csakis akkor,
ha ...." kifejezéssel kapjuk meg. Természetes nyelvünkben kifejezhető még az olyan mint,
csakolyan, ugyanaz, ugyanolyan stb. szavak segítségével. Például a
vagy
A negációt alkalmazni lehet nemcsak egyedi kijelentésekre, hanem összetettekre is. Például
a
közmondásban három negáció található. Kettő a konjunktív kijelentés tagjain és a harmadik magán
a konjunktív kijelentésen. Szabványossá alakítva
kifejezést kapjuk.
70
A negáció logikai és intuitív jelentése megegyezik abban, hogy megváltoztatják a kijelentés
igazságértékét. Ellenben a negáció logikai értelme egyértelműbb és világosabban azonosíthatóvá
teszi.
A téma átvétele után képes kell legyél helyesen írni a logikát a Peano és a Lukasiewicz féle
írásmódban.
3. kisegítő jelek szerepét a zárójelek töltik be: ( ) a kerek zárójel, [ ] a szögletes zárójel és a
kapcsos zárójel. A zárójelek szerepe az, hogy a kijlentéskalkulusban megfogalmazható
kifejezésekben szereplő logikai állandók, vagy műveletek erősségét meghatározzák. A
következő módon: a legerősebb a kerek zárójel és a benne szereplő logikai műveletet végezzük
először, folytatva a szögletes- és a kapcsos zárójellel.
1. A kijelentésváltozó jólformált.
2. A kijelentésváltozókat összekötő logikai állandó, vagy művelet jólformált. Például: p & g, p v q,
p + q, p q, p q. Az így nyert kifejezéseket, vagy sémákat A-val, B-vel, C-vel stb. is
jelölhetjük.
3. Ha a kijelentésváltozó jólformált, akkor jólformált a ~p, ~q, ~r stb. kifejezés is.
4. Ha az A, B, C stb. séma, vagy kifejezés jólformált, akkor jólformált a ~A, ~B, ~C stb. séma is.
71
A kijelentéskalkulus szemantikai szabályai az állandók pontos logikai jelentését rögzítik.
Mivel mi egy kétértékű logikában helyezkedünk el, az állandók logikai jelentése az igazságértékek
terminusaiban való meghatározásukat feltételezi. Erre egy következő alfejezetben kerül majd sor.
Egy másik megjegyzés a következő. Az ábécében szereplő jelek nem azonosak minden
logikusnál. Az eddig bemutatott írásmód G. Peano-tól származik és a legelterjedtebb. Használatos
még, elsősorban a fejledtebb logikákban a Lukasiewicz-féle írásmód is. A következőkben ezt
mutatjuk be.
A Lukasiewicz-féle írásmód ábécéjében a változók szimbólumai megegyeznek a Peano-féle
írásmód jeleivel. Így a változókat szintén p, q, r, valamint p 1, p2, ...., pn-el jelöljük. A különbség a
logikai állandók és a szintaktikai szabályok terén adódik.
K a konjunkció jele,
A a megengedő diszjunkció jele,
C a kondicionális jele,
E a bikondicionális jele és
N a negáció jele.
1. A kijelentésváltozó jólformált.
2. A kifejezéseket, vagy sémákat úgy írjuk, hogy a változók szimbólumai a művelet szimbólumát
követik: Kpq, Apq, Cpq stb. Sorrendben e kifejezéseknek a Peano-féle írásmódban a következő
sémák felelnek meg: p & q, p v q, p q.
3. A negációt úgy írjuk, hogy a negált változót vagy a műveletet az N betű előzi meg: Np, Nq,
NApq, NCNpNq. Sorrendben a Peano-féle írásmódban a következő sémák felelnek meg: ~p, ~q,
~ (p v q), ~ (~p ~q)
4. Ha a kondicionális vagy a bikondicionális a séma főművelete, akkor szimbóluma előrehozható:
CKpqq, ENKpq ANpNq. Az előre nem hozott főműveletű sémának a Peano-féle írásmódban a
következő sémák felelnek meg: (p & q) q, ~ (p & q) (~p v ~q).
Mint látjuk a Lukasiewicz-féle írásmód nem használ kisegítő jeleket, a műveletek jelei pedig
nem ikonszerűek, hanem a magyar nyelv ábécéjének nagybetűi. Emiatt sokkal könnyebben lehet
ezen írásmód jeleit használva logikát írni. Az írásmód hátránya viszont az, hogy egy Lukasiewicz-
féle írásmódbeli sémának gyakran több Peano-féle írásmódbeli átírás felel meg. Emiatt a logika
írásának tapasztalata kell a hátunk mögött álljon, ahhoz hogy a két írásmód megfeleltetéseit
helyesen értelmezzük.
Gyakorlatok
72
h. (p v p) ~p
i. (~p v ~q v ~r) ~ (p & q & r)
2. Írjátok át a Lukasiewicz-féle írásmódból a Peano-féle írásmódba a következő sémákat:
a. Apq C Kpq
b. Cpq C Cqr C Cpr
c. Kpq E Kqp
d. NANpNq E KNpNq
e. ECpq K Crq Kpr Cq
h. CKpq Apq
i. KNpNqKNr C NApqAr
A téma átvétele után képes kell legyél a természetes nyelvi összetett kijelentések és
következtetések átírására a kijelentéskalkulus nyelvére.
Szimbolizálni tehát azt jelenti, hogy a kijelentéskalkulus szimbolikus nyelvét, azaz ábécéjét
és grammatikáját használjuk fel a természetes nyelven megfogalmazott kifejezések átírására.
"A tudósok között is vannak vallásosok, vannak ateisták és vannak, akiket ez a probléma egyáltalán
nem érdekel." 9
Felhasználva a már ismert kijelentésfogalmunkat lássuk először, hogy ezen összetett kijelentésben
hány elemi kijelentés van. Ehhez viszont szabványos formájúakra kell őket hoznunk. Irányadó az,
hogy mindenik kijelentésben állításnak kell lennie. Így a mostaniban a következőket azonosíthatjuk:
A három kijelentést jobboldalt szimbólumokkal láttuk el. Ez azt jelenti, hogy a konkrét kijelentések
helyett a változók állnak. Láthatjuk, hogy a harmadik kijelentés negált és emiatt a negációjel
szerepel az r kijelentésváltozó előtt.
A következő lépésben az érdekel, hogy a kijelentésváltozók között milyen logikai műveletek
vannak. A fenti szövegben a kijelentéseket egyszerűen vessző választja el. Emiatt nem mindig
nyelvi kifejezés köti össze és így nincs semmilyen nyelvi utalás sem arra, hogy milyen logikailag
állandó kapcsolat van a három kijelentés között. Viszont intuitívan érezhetjük, hogy a három elemi
kijelentésben állítottak egymás mellé helyezéséről van itt szó. Így értelmezve a logikai állandókat, a
kezdeti összetett kijelentés következő logikailag pontos és egyértelmű formáját kapjuk:
9
Mérő László (1989), Észjárások, Akadémiai Kiadó, Optimum Kiadó, Budapest, 47-48.o.
73
A tudósok között vannak vallásosok p/ és a tudósok között vannak ateisták q/ és egyes tudósokat ez
a probléma egyáltalán nem érdekli r/.
"Egy néninek ötös találata volt a lottón. Kérdezik tőle, hogy hogyan találta el a számokat.
Hát az úgy volt, hogy előző este repülő birkákkal álmodtam, a hátuk pettyes volt, mint a
katicabogár. A birkáknak négy lába volt, a hátukon hét petty, ezért megtettem a 4-est és a 7-est.
Összeolvasva 47, megtettem hát ezt is. Az összegük 11, szorzatuk pedig 32, ez lett a negyedik és a
ötödik számom.
De hiszen négyszer hét az nem 32, hanem 28! veti ellene a kérdező.
Már hogy lenne 32, amikor nyertem vele!" 10
Előző este birkákkal álmodtam és a birkák háta pettyes volt, mint a katicabogárnak és a birkáknak
négy lába volt és a birkák hátán négy petty volt, tehát megtettem a 4-est és megtettem a 7-est. 4 és 7
összeolvasva 47, tehát megtettem a 47-et. 4 és 7 összege 11 és 4 és 7 szorzata 32, tehát ez lett a
negyedik és az ötödik számom.
10
i.m. 18.o.
74
A következtetésben három következmény van, amit a "tehát" szó vezet be. Ez azt jelenti, hogy a
következményt egy vagy több premisszából nyerjük. A következményi viszony leírására a
kijelentéskalkulusban a kondicionális áll rendelkezésünkre. A premisszák között pedig konjunktív
kapcsolat azonosítható. Sémákban kifejezve:
Az öreg néni következtetésének rekonstruálása azt mutatja, hogy konjunktívan összetéve három
premisszacsoportból nyerte következményeit. Annak ellenére, hogy a p10-es premisszája hamis
volt, mégis megnyerte az ötöst a lottón. Hogyan volt ez lehetséges? Úgy, hogy a "valóság
szempontjából" teljesen mindegy az, hogy mi igazat vagy hamisat állítunk róla. A számokat
mindenképpen kihúzták, és a néni állításai és következtetései ettől teljesen függetlenek. Hogy
érvényesen következtetett-e vagy sem, arra kissé később még vissza kell térnünk, mivel egyelőre
nem állnak rendelkezésünkre azok az eszközök, amelyek segítségével a kijelentéskalkulus keretei
között ezt képesek lennénk leellenőrizni.
Említettük már, hogy a szimbolizálás nem mechanikus eljárás. Adott esetben eléggé
meggondolkoztató és bonyolult feladat. Ennek ellenére nem fölösleges megfogalmazni itt
egynéhány követendő lépést, amelyek segítségünkre lehetnek.
Gyakorlatok.
11
A szimbolizálási gyakorlatok idézőjelbe tett része Mérő László már ismert könyvéből valók.
75
h. "Ha a sakknagymester hosszan gondolkodik, többnyire nem azt számolgatja, hogy mi
történik ha én ide lépek, ő meg oda, hanem azon töri a fejét, hogy mi legyen a mondanivalója az
adott helyzetben."
i. "Ha azt az elvet, ami szerint osztályoz, el tudja mondani akármilyen eszközök
felhasználásával (akár dallal, tánccal, csókkal) úgy, hogy ennek alapján egy másik értelmes lény is
képes úgy osztályozni a számokat, hogy az eredmény mindig ugyanaz , mint az első esetében, akkor
az osztályozási elv matematikai algoritmus formájában is megfogalmazható, és az említett absztrakt
számítógépen megvalósítható." (a Church-Turing tézis)
2. Adottak a kijelentéskalkulus következő sémái. Ezek alapján alkossatok természetes nyelvi
összetett kijelentéseket.
a. p & q & r & s
b. (p & q) v r
c. p + q + r
d. (p & q) r
e. (p v q) p
f. (p q) q
g. (p & q) (p v q)
h. ~[(p & q) r]
i. ~ (~p & ~q)
A téma átvétele után képes kell legyél felismerni az egymástól független igazságfüggvényeket és
meghatározni őket.
76
a hamisat (0), akkor a kijelentésváltozók helyett ezek az állandó logikai igazságértékek állhatnak és
köztük levő műveletek függvényében adódik az összetett kijelentés igazságértéke.
p q ~r
lehet lehet lehet
1 0 1 0 1 0
kimeneti igazságértékek
111
2. ábra. Az igazságfüggvény
p q &
1 1 1
1 0 0
0 1 0
0 0 0
77
p és q kijlentésváltozók igazságértékkombinációit az első két oszlop tartalmazza. Ez a konjunkció
igazságfüggvényének értelmezési tartománya. Az utolsó oszlop a bemeneti igazságértékeknek
megfelelő kimeneti igazságértéket foglalja magába és ez a konjukció értéktartománya. Az első két
oszlop és az utolsó között húzott nyilak a megfeleltetést jelölik.
Most meghatározhatjuk az igazságfüggvényt.
Egy n változós igazságfüggvényen egy olyan függvényt értünk, amelynek értelmezési tartománya a
változók igazságértékeiből képezhető n tagú sorozatok száma, értéktartománya pedig az igaz vagy a
hamis igazságérték.
Szimbólumokkal
Ft : T (p,q) T ,
(p,q)
1. Táblázat
78
A táblázatot elemezve néhány fontos megállapítást tehetünk. Először is a 16 lehetséges
egymástól különböző igazságfüggvény közül leggyakrabban 5-6-ot szoktunk használni. Ezek a &,
v, +, , , . Pontosan ezek kialakulását kíséri végig Piaget a gyereki fejlődés folyamán. A
logika viszont e táblázatán keresztül azt bizonyítja, hogy kifejezési eszközeink, a lehetőség szintjén
szélesebb skálán mozognak mint az gyakorlatilag történik.
A táblázatban nem jelenik meg expliciten a negáció. Ennek az a magyarázata, hogy a
negálni mind a változót, mind a kijelentéskalkulus sémáit lehet. Továbbá azt is megfigyelhetjük,
hogy a 8. és a 9. sor választóvonala egyben a táblázat negáció szerinti szimmetriatengelyét is jelenti.
Más szóval az első nyolc igazságfüggvény kifejezhető az utolsó nyolc, illetve a negáció
segítségével. Másképpen fogalmazva a táblázat első nyolc igazságfüggvénye redukálható az utolsó
nyolcra, illetve a negációra. Tehát az igazságfüggvények között logikai szemantikai megfelelések
léteznek.
pq &
11 1
10 0
01 0
00 0
pq v
79
1 1 1
1 0 1
0 1 1
0 0 0
A diszjunkció tulajdonságai:
(T5) kommutatív: (p v q) (q v p),
(T6) asszociatív: [(p v q) v r] [p v (q v r)],
(T7) idempotens: p v p = p, azaz azonos terminusok diszjunkciójának értéke megegyezik a terminus
értékével,
(T8) pi-dik tag meghatározza a p1 v p2 v .....v pn, n tagú diszjunkció igazságértékét. Ez amiatt van
így, mert a diszjunkció csak akkor hamis, ha mindkét tagja hamis. Tehát ha egy n tagú diszjunkció
egyetlen tagjáról tudjuk azt, hogy igaz, akkor a diszjunkció igaz lesz.
A diszjunkció és a konjunkció kapcsolatáról több törvény szól. Az egyik a disztributivitás
tulajdonságára vonatkozik:
(T9) a konjunkció a diszjunkcióval szemben disztributív: [p & (q v r)] [(p & q) v (p & r)],
(T10) a diszjunkció a konjunkcióval szemben disztributív: [p v (q & r)] [(p v q) & (p v r)].
A kondicionális (a Wittgenstein-táblázat 5-ös sora) logikai jelentése a következő:
pq
1 1 1
1 0 0
0 1 1
0 0 1
pq
11 1
10 0
01 0
00 1.
Tulajdonságai:
(T13) kommutatív: (p q) (q p),
(T14) tranzitív: [(p q) & (p r)] (p r),
(T15) a változó és önmaga között mindig igazan áll fenn a bikondicionális viszony: p p.
A kizáró diszjunkció (a Wittgenstein-féle táblázat 10-es sora) logikai jelentése:
pq +
11 0
10 1
01 1
00 0.
80
Tulajdonsága:
(T16) kommutatív: (p + q) (q + p).
A negáció nincs benne expliciten a Wittgenstein-féle táblázatban. Logikai jelentése:
p ~p
1 0
0 1.
Tulajdonsága:
(T17) a kettős negáció a változó igazságértékét változatlanul hagyja: ~~p p.
A kijelentéskalkulus több fontos törvénye a logikai műveletek, vagy igazságfüggvények
kapcsolatára vonatkozik. Közülük néhányat már láttunk. Ilyenek a Wittgenstein-féle táblázat első
nyolc és utolsó nyolc sora negáció szerinti kapcsolata, valamint a konjunkció és diszjunkció
disztributivitás törvényei. Most bemutatunk még néhányat:
(T18) ~(p & q) (~p v ~q),
(T19) ~ (p v q) (~p & ~q), mindkettő a konjunkció, diszjunkció és a negáció kapcsolatára
vonatkozik és De Morgan törvények néven tartják számon,
(T20) a kontrapozíció törvénye: (p q) (~q ~p), amely szerint az előtag és az utótag
sorrendje felcserélhető, azzal a feltétellel, hogy a változókat negáljuk,
(T21) (p q) [(p q) & (q p)] a kondicionális és a bikondicionális kapcsolatára vonatkozik
és egyben magyarázza ez utóbbi névadását,
(T22) (p q) (~p v q),
(T23) (p q) ~(p & ~q), ez utóbbi két törvény a kondicionális illetve a konjunkció, diszjunkció
és negáció kapcsolatára vonatkozik. Viszont ha a kondicionális kifejezhető konjunkció, diszjunkció
és negáció segítségével, akkor a bikondicionális is kifejezhető:
(T24) (p q) [(~p v q) & (~q v p)],
(T25) a kizáró diszjunkció és a bikondicionális kapcsolatáról: (p + q) ~(p q),
(T26) ~(p & q) (p / q), az inkompatibilitás negált konjunkció,
(T27) ~(p v q) (p q), a Scheffer-funktor negált diszjunkció,
(T28) p/p ~p, e törvény szerint a negáció kifejezhető az inkompatibilitás segítségével, ami az
jelenti, hogy a negáció is reduktibilis,
(T29) [(p / q) / (p / q)] (p & q) szerint a konjunkció is redukálható az inkompatibilitásra. Ha a
negáció és a konjunkció is reduktibilisek az inkompatibilitásra, akkor ez azt jelenti, hogy a
kijelentéskalkulus minden művelete, vagy igazságfüggvénye kifejezhető segítségével. Ez pedig egy
nagyon fontos következmény.
A téma átvétele után képes kell legyél arra a logikai kalkulusra, amely a kijlentéskalkulus
kifejezéseinek törvényszerű voltát hivatott meghatározni.
81
Először is határozzuk meg az eldöntés kérdését.
A kijelentéskalkulusban eldönteni azt jelenti, hogy találni olyan módszert, amelynek segítségével,
véges lépésen keresztül, képesek vagyunk megállapítani az összes jólformált kifejezésről, hogy
logikai törvény-e vagy sem.
Ilyen módszer rendelkzsésünkre áll. Nem is egy. A módszerek közül mi hárommal fogunk
majd foglalkozni: az értéktáblázat módszerével, egy rövidített módszerrel (másnéven Quine-
módszer) és a normál formák módszerével. Ezek közül az első kettő a kijelentéskalkulus sémáinak
szemantikai értelmezését feltételezi, a harmadik pedig inkább szintaktikai módszer.
E sémáról, ebben a formájában nem lehet megállapítani azt, hogy logikai törvény-e vagy sem.
Emiatt első lépésben változóit értelmeznünk kell. Ehhez szükséges a táblázat felépítése a
következőképpen. A táblázat oszlopainak és sorainak számát a sémában lévő változók (n) és
műveletek (k) függvényében állapítjuk meg. A fenti sémában két változó van (p, q). Tehát n = 2. A
műveletek számának megállapításakor előnyös őket leszámozni abban a sorrendben amelyben a
kalkulust végezni fogjuk majd, a következőképpen.
A számozást a kerek zárójelekkel kezdtük, úgy hogy figyelembe vettük a műveletek erősségét. Így a
6. konjunkció művelete nem végezhető el addig amíg a 4. és 5. negációt nem számítottuk ki. A mi
sémánk 7 műveletet tartalmaz. Tehát k = 7. A táblázat vonalait (sorait) a 2n képlet szerint számítjuk
ki, azért mert két logikai igazságérték kéttagú kombinációit kell megkapnunk. Az oszlopok számát
az n + k képlet adja. A mi esetünkben a sorok száma 22 = 4, az oszlopok száma pedig 2 + 7 = 9. A
táblázat a következő.
p q v1 2 ~3 ~4 ~5 &6 7
1 1 1 1 0 0 0 0 1
1 0 1 1 0 0 1 0 1
0 1 1 0 1 1 0 0 0
0 0 0 1 0 1 1 1 0
Szokás szerint a táblázat első oszlopaiba a változók igazságértékeinek kombinációit írjuk úgy, hogy
az első oszlopon az értékeket egyenkét váltogatjuk, a következőn kettenként, a következőn
nyolcanként, a következőn tizenhatonként stb. Ezen értékkombinációk képezik az igazságfüggvény
értelmezési tartományát. Az utánuk következő oszlopokban a logikai műveletek jelentése szerint
(2.5. rész) végezzük el a kalkulust. Ennek eredményeképpen megkapjuk az igazságfüggvény
értéktartományát, más szóval kimeneti igazságértékeit. A mi sémánk esetében ez a 9. oszloban van.
A eldöntés kérdésének megoldását ezen utolsó oszlop alapján végezzük el.
Itt három eset lehetséges:
82
. ha az utolsó oszlop, azaz az igazságfüggvény értéktartománya csak igaz értékeket
tartalmaz, akkor a séma logikai törvény. Ez azt jelenti, hogy a változók bármely értelmezésére a
séma mindig igaz,
. ha az utolsó oszlop, azaz az igazságfüggvény értéktartománya igaz és hamis
igazságértékeket tartalmaz, akkor a séma kielégíthető,
. ha az utolsó oszlop, azaz az igazságfüggvény értéktartománya csakis hamis
igazságértékeket tartalmaz, akkor a séma logikai ellentmondás, azaz mindig hamis.
Az S1 séma kimeneti igazságértékei között igaz és hamis igazságérték is szerepel, tehát
kielégíthető.
Lássunk most egy újabb példát. Ezúttal a következő sémáról kell döntenünk.
Mivel az utolsó oszlopon csak igaz érték van, a séma logikai törvény. Ez viszont nem más mint a
(T9)-es törvény a 2.5. alfejezetből, azaz a konjunkciónak a diszjunkcióval szembeni
disztributivitásának törvénye. Az akkor törvénynek nevezett kifejezés itt nyert igazolást, mivel ott
nem álltak rendelkezésünkre azok az eszközök, amelyek segítségével ezt bizonyíthattuk volna.
Próbáljuk most összefoglalni azokat a lépéseket, amelyeket követnünk kell, ahhoz hogy e
módszerrel dönthessünk a kijelentéskalkulus bármely sémájáról.
1. Megszámoljuk a sémában szereplő változókat és műveleteket. A műveleteket
leszámozzuk erősségük sorrendjében.
2. Kiszámítjuk az értéktáblázat oszlopainak és vonalainak (sorainak) számát.
3. Elvégezzük az értéktáblázat műveltei által megadott logikai kalkulust. A kalkulus alapját
a logikai műveletek (igazságfüggvények) jelentése képezi (2.5. rész).
4. Az értéktáblázat utolsó oszlopa alapján az ., . és . pontokban megadottak szerint
döntünk.
E módszer hátránya, hogy nagyszámú változót tartalmazó sémák esetében nagyon sok sort
és oszlopot tartalmazó táblázatot kell készítenünk. Ez adott esetben bonyodalmakat okozhat. Újabb
módszer elsajátítása emiatt előnyös lehet. Egy újabb eldöntési módszer azért is szükséges, mert
lehetőségünk kell legyen arra, hogy egy adott módszerrel nyert eredményt valamilyen módon
ellenőrizzünk.
83
b. Az eldöntés rövidített módszere (a Quine-módszer). E módszer előnye abban áll, hogy a
kalkulus folyamán nem kell az értelmezési tartomány összes lehetséges értékkombinációjának
megfelelő kimeneti igazságértéket megkeresni.
A módszer alkalmazása olyan szabályokra alapszik, amelyek közvetlenül kiolvashatók az
igazságfüggvények meghatározó igazságértéktáblázataiból. Ezek a következők.
1. A konjunkció szabályai:
a. ha a konjunkció egyik tagja igaz, akkor a konjukció értéke a másik tag értékére
redukálható:
p&1=p
p & 0 = 0.
2. A diszjunkció szabályai:
a. ha a diszjunkció egyik tagja igaz, akkor a diszjunkció igaz:
pv1=1
b. ha a diszjunkció egyik tagja hamis, akkor a diszjunkció értéke a másik tag értékére
redukálható:
p v 0 = p.
1 p = p,
0 p = 1,
p 1 = 1,
0 p = ~p.
p 1 = p,
b. ha a bikondicionális egyik tagja hamis, akkor értéke redukálható a másik tag értékének
negáltjára:
84
p 0 = ~p.
p + 1 = ~p,
b. ha a kizáró diszjunkció egyik tagja hamis, akkor értéke megegyezik a másik tag értékével:
p + 0 = p.
S1: ~p (p q)
Az eldöntés azzal kezdődik, hogy megnézzük mely változó a leggyakoribb előfordulású a sémában.
Itt a p. Tételezzük fel róla azt, hogy igaz. Behelyettesítve azt kapjuk, hogy:
S1: 0 (1 q),
de a 3.b. szabály szerint ha a kondicionális előtagja hamis, akkor a kondicionális igaz. Sorrendben
az első kondicionális előtagja hamis, tehát az utótag értékétől függetlenül a kondicionális igaz. Így
megkaptuk az S1 séma egyik kimeneti igazságértékét, ami igaz.
A második feltételezés szerint p hamis. Behelyettesítve:
S1: 1 (0 q).
Ezúttal a második kondicionális előtagja hamis. Tehát a zárójel értéke igaz. Megmarad a következő
séma:
S1: 1 1.
Itt a kondicionális előtagja és utótagja is igaz. Tehát a kondicionális csakis igaz lehet. Ezáltal
megkaptunk még egy kimeneti igazságértket. Mivel a kimeneti igazságértékek mind igazak, az .
pont alapján sémánk logikai törvény (tautológia).
Ellenőrizzük most le a kapott eredményt értéktáblázatos módszerrel. A sémában két változó
és három művelet van. Tehát a sorok száma 4, valamint az oszlopok száma 5. Leszámozva a
műveleteket a következőt kapjuk.
S1: ~2p 3 (p 1 q )
p q 1 ~2 3
1 1 1 0 1
1 0 0 0 1
0 1 1 1 1
85
0 0 1 1 1
E módszer által kapott eredmény igazolja a rövidített módszer útján kapott eredményt.
Lássunk most egy valamivel összetettebb példát. Döntsünk a Quine módszerrel a következő
sémáról.
S2: [p v (p q)] (q v r)
S2: [1 v (1 q)] (q v r)
sémát kapjuk. Ebben az egyenes zárójelben szereplő kondicionális a 3.a. szabály szerint redukálható
utótagjára és az
S2: [ 1 v q] (q v r)
sémát kapjuk. Ebben a kondicionális előtagja igaz lesz, mivel a 2.a. szabály szerint a diszjunkció
egyik tagja igaz. Emiatt a séma az
S2: 1 (q v r)
S2: q v r
sémára redukálódik. Ebben a helyzetben egy újabb feltételezéshez kell folyamodnunk. Tehát
tételezzük fel a q változóról azt, hogy igaz. Behelyettesítveaz
S2: 1 v r
sémát kapjuk. Újra a 2.a. szabály szerint az itteni diszjunkció igaz, mivel egyik tagja igaz. Tehát
megkaptuk az egyik kimeneti igazságértéket. Most viszont fel kell tételeznünk azt is, hogy q hamis.
Ebben az esetben a séma az
S2: 0 v r
sémává alakul. Itt a 2.b. szabály szerint a séma értéke r-re redukálódik. r pedig lehet igaz vagy
hamis. E két érték a séma két újabb kimeneti igazságértéke.
Most térjünk vissza a p változóhoz. Tételezzük fel, hogy p hamis. Behelyettesítve az
S2: [0 v (0 q)] (q v r)
sémát kapjuk. Ebben a kerek zárójelben szereplő kondicionális igaz a 3.b. szabály szerint. Tehát a
séma az
S2: [0 v 1] (q v r)
sémára redukálódik. Ebben az egyenes zárójel igaz a 2.a. szabály szerint. Tehát a séma az
86
S2: 1 (q v r)
sémává alakul. Itt a kondicionális 3.1. szabálya szerint a séma az utótagra redukálódik. Tehát marad
az
S2: q v r
séma. Ez a forma egyezik az előbb már megtalált formával, azelőtt mielőtt q-ról feltételeztük azt,
hogy hamis. A teljesség kedvéért vigyük végig a kalkulust. Tehát tételezzük fel q-ról azt hogy igaz.
Sémánk az
S2: 1 v r
sémává alakul. Itt a 2.a. szabály szerint a diszjunkció igaz. Tehát megkaptuk az egyik kimeneti
igazságértéket. Tételezzük most fel, hogy q hamis. Ebben az esetben a séma az
S2: 0 v r
alakú lesz. Itt a 2.b. szabály szerint a diszjunkció r-re redukálódik. r pedig igaz vagy hamis lehet,
ami egyben újabb két kimeneti igazságérték. Mivel a kimeneti igazságértékek felváltva hamisak és
igazak a sémáról azt dönthetjük el, hogy kielégíthető.
Ellenőrizzük most le a kapott eredményt az értéktáblázatos módszerrel. Az S2-es sémában 3
változó és 4 művelet van. A számozásuk a következő
p q r 1 v2 v3 4
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 0 1 1 1
1 0 0 0 1 0 0
0 1 1 1 1 1 1
0 1 0 1 1 1 1
0 0 1 1 1 1 1
0 0 0 1 1 0 0
Az értéktáblázatos módszer alkalmazása azt mutatja, hogy a séma kielégíthető. Más szóval mindkét
módszerrel ugyanazt az eredményt kaptuk.
Az eldöntés rövidített módszerének bizonyos hátrányai is vannak. Így az S 1 séma két
igazságértékét kaptuk meg a lehetséges négyből, az S2 séma lehetséges nyolc igaságértékéből pedig
csak hatot. Tehát az eldöntés e módszere segítségével nem kapjuk meg analitikusan az összes
lehetséges kimeneti igazságértéket. Egy másik megjegyzés amit meg kell tennünk arra vonatkozik
hogy az S2-es séma értékelése folyamán a második feltételezése után már világos volt, hogy sem az
igaz, sem a hamis igazságérték nem fordulhat elő homogénen, azaz az igazságértékek váltakozni
fognak. Emiatt a kalkulus ezen szakaszában már eldönthetővé vált az, hogy a séma kielégíthető.
87
Összefoglalás. Az eldöntés kérdése a logika központi kérdése. A logika, mint a helyes
következtetés tudománya a kijelentéskalkulus eldöntéskérdésének megoldásán keresztül, egyben a
következtetés helyességének egy modelljét nyújtja. Az értéktáblázatos- és a rövidített módszer a
következtetések helyességének ellenőrzésére nyújtott erős kalkulatórikus eszközök. A helyesség és
az érvényeség ellnőrzése, mint láttuk a lehetséges szintjén valósul meg.
Gyakorlatok
a. (p v q) v (p & q)
b. ~(p & q) (p v q)
c. p (~p & q)
d. ~p (p v q)
e. (p q) (p q)
f. (p & q) ~p
g. [p v (p v r)] (~p v q)
h. (p q) [(p q) & (q p)]
i. p ~p
j. (p v q v r v s) (~q & ~r & ~s)
k. [(~p & q) & ~r] + (p & ~r) (~r ~q)
l. p v ~p
m. ~[(p q) (~q ~p)]
a. p (~q & r)
b. (~p v q ) (p v ~q)
c. (p v q ) ~p
d. (p q) (q p)
e. [(q & r) p] [(q p) & (~r p)]
f. [(p & q) & (r v ~s)] [ (~s v q) (r ~p)]
g. [(p & q) ~r] [(r v p) (~q r)]
h. [p v (q & r)] [(p & q) v (p & r)]
i. ~[(p q) ~(p & ~q)]
3. Mit gondoltok milyen logikai jelentése van a sémák tautológikus, ellentmondásos és kelégíthető
voltának?
88
Annak függvényében, hogy melyek azon megválasztott műveletek, amelyekre segítségével
az összes többit kifejezzük, többféle normál forma ismeretes. Mi a továbbiakban a Boole-féle
normál formákkal fogunk foglalkozni. Nevét a XIX. századi angol logikustól és matematikustól, G.
Boole-tól kapta. Ennek előre megválasztott műveletei a &, v és a ~. Erre a következő feltételek kell
teljesüljenek:
1. a kifejezésben csak &, v és ~ szerepel,
2. a negáció csak a változókra esik,
3. a névadó művelet nem szerepel a kifejezés tagjaiban.
Aszerint, hogy melyik a névadó művelet megkülönböztetünk konjuktív normál formát (ahol a
főművelet a konjunkció, a diszjunkció pedig csak a tagokban jelenik meg), és diszjunktív normál
formát (ahol a főművelet a diszjunkció és a konjunkció csak a tagokban jelenik meg). Így normál
formának tekinthető:
- bármely változó: p, q, r,
- bármely negált változó: ~p, ~q, ~r. Ezeket elemi terminusoknak nevezzük,
-az elemi terminusok konjunkciói: p & q, p & ~r, amelyeket elemi konjunkcióknak
nevezünk. Az elemi terminusok diszjunkciói: p v r, ~p v q, amelyeket elemi diszjunkcióknak
nevezünk,
- az elemi konjunkciók diszjunkciói: (p & q) v (p & r). Az elemi diszjunkciók konjunkciói:
(p v q) & (q v r).
Megjegyezzük, hogy az elemi konjunkció nullaelemű diszjunktív normál formának
tekinthető: (p & q) v . Továbbá az elemi diszjunkció nullaelemű konjunktív normál formának
tekinthető: (p v q) & . A következő kifejezések nem tekinthetők normál formájúaknak: p (p v
q), (p v q) v (p & r), ~ (p & q) (p v r), mivel nem tesznek eleget az 1.-3. feltételekenek.
A normál formára való hozás bizonyos lépéseket kell kövessen. Ezek a következők.
a. Amennyiben a kijelentéskalkulus bármely jólformált kifejezése a &-ón, v-ón és ~-ón
(egynéven Boole-műveletek) más műveleteket is tartalmaznak, őket az alábbi törvények szerint
alakítjuk át Boole-műveletekké:
(1) (A B) (~A v B)
(2) (A B) [(~A v B) & (~B v A)]
(3) (A / B ) (~A v ~B)
(4) (A + B) [(~A & B) v (~B & A)]
(5) (A B) (~A & ~B).
E törvényeket ismerjük már. Itteni felsorolásuk viszont nem fölösleges, mivel itt kerülnek
felhasználásra. A különbség a törvények itteni és a 2.5.-ös alfejezbeli bemutatása között az, hogy
nem szrepelnek benne kijelentésváltozók. Az A és a B betűk itt a kijelentéskalkulus bármely
jólformált kifejezését helyettesítik.
b. Ha a negáció nem a változókra, hanem a műveletkre esik, akkor a De Morgan törvények,
illetve a kettős negáció törvényei szerint hozzuk le a változókra:
(6) ~ (A & B) (~A v ~B)
(7) ~ (A v B) (~A & ~B)
(8) ~~A A.
c. Ha a főművelet a normál forma tagjaiban is megjelenik, akkor felhasználva a
disztributivitás és az asszociativitás törvényeit, a megfelelő normál formára hozzuk:
(9) [A & (B & C)] (A & B & C)
(10) [A v (B v C)] (A v B v C)
(11) [A v (B & C)] [(A v B) & (A v C)]
(12) [A & (B v C)] [(A & B) v (A & C)].
Lássuk most konkrétan miként is hozhatunk egy adott kifejezést normál formára. Legyen:
S: (p q) (q r).
89
Amint látjuk, e sémában kizárólagosan nem-Boole-műveletek szerpelnek. Emiatt át kell őket
alakítanunk Boole-műveletekké az (1)-es törvény alapján. A következő képpen:
Ezzel a séma minden művelete Boole-művelet. Csakhogy még mindig nem felelünk meg a Boole-
féla normál forma 2. feltételének, mivel a negáció a műveletekre is esik. Emiatt a (7) és (8)-as
törvények alapján le kell őket hoznunk a változókra.
lesz belőle. Ez a kifejezés újra nem felel meg a Boole féle normál forma 3. feltételének, azaz a
főművelet a tagokban is szerepel. Így felhasználva a (9)-es törvényt, a diszjunkció
asszociativitásának törvényét, megkapjuk a a konjunktív normál formát (k.n.f.).
S: p~q v p~q v pr
mivel egyértelmű, hogy a diszjunkció tagjaiban csakis konjunkció szerepelhet. Ugyanígy írhatjuk a
k.n.f.-t is, csakhogy ezúttal a tagokban lévő diszjunkciókat hanyagoljuk el.
S: p & ~q~qr.
(T13) A v ~A = 1, azaz a változót vagy sémát, illetve ezek negáltjait tartalmazó kifejezés
diszjunkciói mindig igazak,
(T14) A & ~A = 0, azaz a változót vagy sémát, illetve ezek negáltjait tartalmazó kifejezés
konjunkciói mindig hamisak,
(T15) B & (A v ~A) = 1, azaz n igaz tagú konjunkció az mindig igaz,
(T16) B v (A & ~A) = 0, azaz n hamis tagú diszjunkció az mindig hamis.
(T17) Ha a diszjunktív normál forma mindenik tagja A & ~A alakú kifejezést tartalmaz, akkor az
logikai ellentmondás.
(T18) Ha a konjunktív normál forma mindenik tagja A v ~A alakú kifejezést tartalmaz, akkor az
logikai törvény.
(T19) Ha a normál formák az előbbi két törvnénynek nem tesznek eleget, akkor az eredeti kifejezés
kielégíthető.
90
Amint azt megállapíthajuk, eredeti sémánk a (T17)-(T18) feltételeknek nem felel meg.
Emiatt kielégíthető, a (T19)-es alapon. Ellenőrizve a kapott eredményt az értéktáblázatos
módszerrel, a következőt kapjuk.
S: (p 1 q) 3 (q 2 r)
p q r 1 2 3
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 1 0 1 0 0
0 0 1 1 1 1
0 0 0 1 1 1
Gyakorlatok
a. ~p (p q)
b. (p q) (~q ~p)
c. (p q) p
d. (p ~q) (~p v q)
e. (p & q) (p v q)
f. [(p q) & (p v q)] (p v r)
g. (p + q) ~(p q)
h. (p + q + r) (p & q)
i. (p & q & r) (p v q)
2. 7. A következmény reláció
91
A kijelentéskalkulus két sémája között akkor és csakis akkor áll fenn a következmény
reláció, ha a változóknak nincs olyan értelmezése, amelyre az első séma igaz, a második pedig
hamis legyen.
Szimbólumokkal:
S1 S2,
S1: ~p
S2: ~(p & q).
Az előbbiek alapján azt kell megvizsgálnunk, hogy e kettő között valóban fennáll-e a következmény
reláció, vagyis az S1 S2 összefüggés. Az algoritmus szerint:
S1 S2, vagyis
~p ~(p & q)
az a séma amelyről döntenünk kell. Ehhez felhasználjuk az eldöntés valamelyik általunk ismert
módszerét.
Legyen ez a Quine-módszer. Legyakoribb változónk a p. Tételezzük tehát fel, hogy p igaz.
Behelyettesítve:
a 3.b. szabály alapján az utótag értékétól függetlenül a kondicionális mindig igaz. Ez tehát az egyik
kimeneti igazságérték.
Tételezzük most fel, hogy p hamis. Behelyettesítve:
Az innen adódó kimeneti igazságérték pedig szintén igaz. Tehát a két séma közötti kondicionális
kapcsolat mindig igaz, vagyis tautológia.
Most általánosítva, azt mondhatjuk, hogy ha a két séma közötti kondicionális mindig igaz,
akkor közöttük fenáll a következmény reláció. Más szóval az S1:~p sémából mindig igazan
következik az S2: ~(p & q) séma.
Mint láthattuk, a következmény reláció "tesztjét" a kondicionális képezi. Mi a különbség
viszont a következmény reláció és a kondicionális között? Ez világosan megfogalmazható. Míg a
kondicionális kimeneti igazságértékei között igaz és hamis igazságértékek szerepelnek, addig a
92
következmény reláció akkor és csakis akkor áll fenn, ha a neki megfelelő kondicionális kimeneti
igazságértékei csak igazak. Tehát a következmény reláció egy mindig igaz kondicionális. Más
megfogalmazásban a kondiconális kielégíthető, a következmény reláció pedig tautológia. Emiatt
szimbólumaik is különböznek egymástól.
Felmerül az a kérdés, hogy miként értelmezzük a tautológiát, abban az esetben amikor a
következmény reláció fennállását igazolja? A definícióból kiindulva, azt jelenti, hogy a váltózók
akármilyen értelmezésére az első sémából mindig következik a második. Tovább értelmezve
viszont kiderül, hogy itt a következtetésre vonatkozó logikai érvényességfogalom közbelépéséről
van szó. E könyv elején a logikai érvényességfogalmat úgy értelmeztük, mit azt a feltételt,
amelynek a következtetések meg kell feleljenek. Eszerint a következtetést akkor nevezhetjük
érvényesnek, ha igaz premisszákból kiindulva, helyesen következtetünk, és így szükségszerűen igaz
következményhez jutunk. Ellenben az érvényésség fogalmának új értelmét nyerjük a
kijelentéskalkulus keretei között. Itt neki a következmény reláció felel meg, amit a tautológikus
kondicionális "tesztel". Tehát az érvényes következtetés kijelentéskalkulusbeli megfelelője a
fennálló következmény reláció.
A következmény reláció több tulajdonságal rendelkezik.
a. Reflexív, ami azt jelenti, hogy mindenik séma következik önmagából. Szimbólumokkal:
S S.
b. Tranzitív, ami azt jelenti, hogy ha az első séma és a második között fennáll a
következmény reláció és a második és harmadik séma között szintén fennáll a következmény
reláció, akkor ez fennáll az első és a harmadik között is. Szimbólumokkal:
Gyakorlatok
S1: p v q
S2: p v q v r
S3: p + q + r
S4: (p & q) r
S5: p (p q)
S6: p / q / q
S7: ~ (~p v ~q)
93
S8: p (~p v ~q)
S9: p & q & r & s
S10: p & (q v r)
A téma átvétele után képes kell legyél a kijelentéskalkulus bármely sémájának összes lehetséges
premisszáinak és következményeinek meghatározására.
A deduktibilitási viszony kérdése éppen abban áll, hogy találjunk olyan módszert, amely
segítségével mindenik jólformált kijelentéskalkulusbeli sémának meglelhetővé válik összes
lehetséges premisszája, illetve következménye.
94
Kiválaszjuk a változók azon értékkombinációit, amelyekre a séma a hamis (0) értékeket veszi fel
és oszlopba állítjuk. Mindenik 1 érték helyébe a változó negáltját és mindenik 0 érték helyébe a
változót helyezzük.
Az így kapott változókat diszjunkciókkal kötjük össze, majd a tagokat konjunkciókkal.
Például legyen a következő séma:
S: p (q v r)
p q r qvr p (q v r)
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 0 0
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
0 0 0 0 1
A diszjunktív tökéletes normál formára való hozás feltétele az, hogy kiválasszkuk azokat az
igazságérték kombinációkat, amelyekre a séma az igaz értékeket veszi fel. Ezek a következők.
111 pqr
110 p q ~r
101 p ~q r
011 ~p q r
010 ~p q ~r
001 ~p ~q r
000 ~p ~q ~r
A táblázatba elvégeztük a feltételek által megszabott behelyettesítéseket is. Innen adódnak aztán a
diszjunktív tökéletes normál forma (d.t.n.f.) tagjai. Ezek a következők.
(p & q & r) v (p & q & ~r) v (p & ~q & r) v (~p & q & r) v (~p & q & ~r) v
(~p & ~q &r) v (~p & ~q & ~r) d.t.n.f.
100 ~p q r
Láthajuk tehát, hogy egyetlen tagot tartalmaz, amit konjunkcióval egy nullaelemű taghoz
kapcsolunk.
95
Továbbhaladva, a deduktibilitás kérdését a tökéletes normál formák segítségével oldhatjuk
meg. Itt egyrészt az érdekel bennünket, hogy melyek a kezdeti séma összes lehetséges premisszái.
Ezt a következő lépésekben érhetjük el.
Megkeressük a kezdeti séma diszjunktív tökéletes normál formáját.
A séma premisszái lesznek:
a. a d.t.n.f. mindenik tagja,
b. a d.t.n.f. mindenik tagjának kombinációi,
c. a teljes d.t.n.f.
A séma összes lehetséges következményét a konjunktív tökéletes normál forma segítségével
kaphatjuk meg a következő képpen.
Megkeressük a kezdeti séma konjunktív tökéletes normál formáját.
A séma következményei lesznek:
a. a k.t.n.f. mindenik tagja,
b. a k.t.n.f. mindenik tagjának kombinációi,
c. a teljes k.t.n.f.
Eszerint a kezdeti sémánk premisszái a következők:
(p & q & r) v (p & q & ~r) v (p & ~q & r) v (~p & q & r) v (~p & q & ~r) v
(~p & ~q & r) v (~p & ~q & ~r) d.t.n.f.
Innen premisszának lehet tekinteni mindenik tagot külön-külön, a tagok kombinációit, valamint a
teljes d.t.n.f.-át.
Továbbá a kezdeti sémánk következményei a következők:
Mint látjuk az összes lehetséges következmények száma itt egyre redukálódik, mivel a k.t.n.f.-nek
egyetlen tagja van.
Vegyünk most még egy egyszerű példát. Legyen kezdeti sémánk a következő:
S: p q.
p q
1 1 1
1 0 0
0 1 1
0 0 1
11 pq
01 ~pq
00 ~p~q.
96
A k.t.n.f. megtalálásának oszlopa:
1 0 ~p q.
(~p v q ) & .
Tehát a p q séma deduktibilis a (p & q) v (~p & q) v (~p & ~q) teljes d.t.n.f.-ból, valamint ennek
tagjaninak kombinációiból, továbbá a sémából deduktibilis a ~p v q séma.
Gyakorlatok
97
A téma célja bemutatni a kijelentéskalkulus másik alapvető viszonytípusát. Ennek értelmében a
logikai műveletek szemantikailag egymással kifejezhetők. Igy az azonosság logikai
alaptörvénye a kijelentéskalkulusban az ekvivalencia reláció segítségével válik kalkulatórikusan
ellenőrizhetővé.
A téma átvétele után képes kell legyél az ekvivalencia reláció fennállállásának megállapítására.
Szimbólumokkal:
S1 S2,
S1 S2
bikondicionális mindig igaz kell legyen. Másszóval az ekvivalencia reláció akkor áll fenn, ha a neki
megfelelő bikondicionális sohasem hamis.
Az ekvivalencia reláció tulajdonságai a következők.
1. Reflexív, ami azt jelenti, hogy minden séma ekvivalens önmagával. Szimbólumokkal:
S S.
S1 S2 ; S 2 S1.
98
II. Ha az így nyert séma mindig igaz, azaz tautológia, akkor az ekvivalencia reláció
fennáll, ellenkező esetekben nem.
Például legyen a következő két séma:
S1: (p & q) p, és
S2: [(p v q) & q] (p v q).
Vizsgáljuk meg, hogy fennáll-e az ekvivalancia reláció a kettő között. Ehhez az őket
összekötő bikondicionális érvényességéről kell döntenünk. Tehát a teljes sémánk a
következő lesz:
S1 S2, azaz
[(p &1 q) 2 p] 7 [(p v3 q) &4 q]6 (p v5 q).
p Q &1 2 V3 &4 V5 6 7
1 1 1 1 1 1 1 1 1
1 0 0 1 1 1 1 1 1
0 1 0 1 1 1 1 1 1
0 0 0 1 0 0 0 1 1
Az értéktáblázat utolsó oszlopa szerint a két séma között fennáll az ekvivalencia reláció.
Az ekvivalencia reláció fennállása egyben azt is jelenti, hogy a kijelentéskalkulus sémái
vagy műveletei logikai szemantikai szempontból azonosak. Ezt már megállapíthattuk akkor
is amikor a kértékű logika művelteinek Wittgenstein-i táblázatát felépítettük. Emlékeztetőűl
itt a táblázat első nyolc sorának műveletei vagy igazságfüggvényei kifejezhetőek voltak a
második nyolc művelet, illetve a negáció segítségével. Tehát logikai szemantikai
azonosságról, azaz ekvivalenciáról volt szó.
A kijelentéskalkulusban több olyan rendszert dolgoztak ki, amely az ekvivalencia reláció
fennálására alapszik. Ezek közül bemutatjuk a legismertebbet, amely egyben a
pszichológiában is alkalmazott J. Piaget. Ez a Boole-féle rendszer. E rendszer primitív
műveletei a konjunkció (&), a negáció (~), valamint a diszjunkció (v). Az, hogy primitív itt
azt jelenti, hogy a kijelentéskalkulus összes többi műveletét ezek segítségével fejezzük ki,
azaz ezek az eleve megválasztott műveletek. A Boole-féle rendszer legfontosabb
ekvivalenciái a következők.
(1) (A B) (~A v B)
(2) (A B) [(~ A v B) & (~B v A)]
(3) (A / B) (~A v ~B)
(4) (A + B) [(~A & B) v (~B & A)]
(5) (A B) (~A & ~B)
99
A helyettesítés azon művelet, melynek során egy S0 sémában adott “x” változót egy S1
sémával cserélünk ki és egy olyan S0’ nyerünk, amely ekvivalens az S0 sémával, azzal a
feltétellel, hogy a cserét “x” mindenik jelenésében végezzük el.
S0: (p & q) p,
séma. Ellenőrizzük most a kettő közötti ekvivalencia fennállását. Újra az eldöntés valamely
módszeréhez kell folyamodnunk. Mivel csak két változó van elvégezhetjük az
értéktáblázatos módszerrel.
p Q &1 2 V3 &4 V5 6 7
1 1 1 1 1 1 1 1 1
1 0 0 1 1 0 1 1 1
0 1 0 1 1 0 1 1 1
0 0 0 1 0 0 0 1 1
Gyakorlatok
a. S1: (p & q) p
S2: [(p v q) & p] (p v q)
b. S1: (p q) p
S2: (p & ~q) v p
c. S1: (p v q) [(p & r) v (q & r)]
S2: (p q) & (q p)
S3: p v q
d. S1: p & (p q)
S2: q p
100
a. [(p / q) (q / p)] & [(p q) (q p)]
b. (p q) (q p)
c. [p & (~p q)] v (p q)
d. (p & q & r) ~(~p v ~r)
A téma célja bemutatni azt, hogy a kijelentéskalkulus törvényei miként igazolhatóak deduktív
rendszereken belül.
101
Def.2 (szemantikai): Az axiomatikus rendszer szeamtikailag ellentmondásmentes, ha
kielégíthető, azaz van legalább egy értelmezése vagy modellje.
2. Az axiomatikus rendszerek teljessége.
Def.3 (szintaktikai): Az axiomatikus rendszer akkor teljes szintaktikailag, ha axiómáihoz
hozzáadva egy nem származtatható kijelentést, akkor ellentmondást nyerünk
Def.4 (szemantikai): Az axiomatikus rendszer akkor teljes szemantikailag, ha a rendszer
mindenik érvényes kijelentése bizonyítható és fordítva.
3. Az axiomatikus rendszerek függetlensége.
Def.5 (szintaktikai): Az axiomatikus rendszer akkor független szintaktikailag, ha egyetlen
axiómája sem bizonyítható a többiből.
Def.6 (sezmantikai): Az axiomatikus rendszer akkor független szemantikailag, ha mindenik
axiómája értelmezhető úgy, hogy értékei különböznek a többi axióma értékeitől.
E hat kemény követelmény, amelyet minden axiomatikus rendszerrel szemben állítunk
rávilágít arra, hogy mennyire nehéz és nem önkényes feladat a kidolgozásuk.
A kijelentéskalkulus elmélete axiomatizálható elmélet. Sőt ezen elméletet több axiomatikus
rendszerbe is belefoglalták. Ezen rendszerek elsősorban abban különböznek egymástól, hogy
milyen primitív logikai műveleteket választottak ki maguknak.Ezek közül az egyik legismertebb
a Hilbert és Ackermann által kidolgozott H1 rendszer. A rendszer primitív műveletei a v
(diszjunkció) és a ~ (negáció).
A H1 rendszer.
I. Primitív rész
1. Definíciók
Def.1. (A B) (~A v B)
Def.2. (A & B) ~ (~A v B)
Def.3. (A B) ~[~(~A v B) v ~(~B v A)]
2. Axiómák
Ax.1. ~(p v p) v p
Ax.2. ~p v (p v q)
Ax.3. ~(p v q) v (q v p)
Ax.4. ~(~p v q) v [~(r v p) v (r v q)]
Viszont a Def.1. szerint az axiómák felírhatók a kondicionális segítségével is így velük
ekvivalens megfogalmazásaikat kapjuk.
Ax.1.’ (p v p) p
Ax.2.’ p (p v q)
Ax.3.’ (p v q) (q v p)
Ax.4.’ (p q) [(r v p) (r v q)]
3. Szabályok.
Sz.1. modus ponens: A, A B, B
Sz.2. helyettesítés: ha egy A(x) alakú sémában az x változót egy B sémával helyettesíthetjük
és ezáltal egy olyan A’ sémát kapunk amelyre érvényes az
A A’ reláció.
102
Sz.6. (A B) (C v A) (C v B) - a kondicionális diszjunktív kiterjesztése.
Sz.7. (A B), (B C) (A C) - a szillogizmus szabálya.
Sz.8. (A), A B (A) (B) - az ekvivalens formulák helyettesítése.
Sz.9. [A (B C)] [B (A C)] - az előtagok felcserélhetősége.
Sz.10. [A (B C)] [(A & B) C] - az előtagok (premisszák) összevonása.
Sz.11. [A (A B) (A B) - az azonos előtagok összevonása.
1. Tételek (Th.)
Th.1.(p q) [(r p) (r q)]
Th.2. ~p v p
Th.3. p v ~p - e két tétel az ellentmondás mentesség törvényének kijelentéskalkulusbeli
mgfogalmazásai.
Th.4. p ~~p
Th.5. ~~p p - e két tétel a kettős negáció törvényei.
Th.6. (p q) (~q ~p) - a kontrapozíció törvénye.
Th.7. ~(p & q) (~p v ~q)
Th.8. (~p v ~q) ~(p & q)
Th.9. ~(p v q) (~p & ~q)
Th.10. (~p & ~q) ~(p v q) - ez utóbbi négy tétel a De Morgan törvényeket fejezi ki.
Th.11. (p & q) (q & p) - a konjunkció komutativitása.
Th.12. (p & q) p
Th.13. (p & q) q - a konjunkció implikálja mindenik tagját.
Th.14.[p v (q v r)] [q v (p v r)]
Th.15. [p v (q v r)] [(p v q)v r]
Th.16. [(p v q) v r] [p v (q v r)] - a diszjunkció asszociativitásának tételei.
Th.17. [p & (q & r)] [(p & q) & r]
Th.18. [(p & q) & r] [p & (q & r)] - a konjunkció asszociativitásának tételei.
Th.19. p [q (p & q)]
Th.20. [(p v q) & (p v r)] [p v (q & r)] - a disztributivitás tétele.
Illusztrálásképpen bemutatunk két bizonyítást. Ezáltal kialakíthatunk egy képet arról, hogy a
származtatott rész miként nyerhető a primitív részből a szabályok alapján. Legyen az Sz.4.
származtatott szabálya. Bizonyítására induljunk ki egy olyan axiómából, amelyről úgy
gondoljuk, hogy felhasználható. Legyen az az Ax.2.
Sz.4. A (A v B) - a bizonyítandó.
1. lépés: ~p v (p v q) - Ax.2.
2. lépés: A (A v B) - ahol p-t helyettesítettük A-val és q-t helyettesítettük B-vel az Sz.2.
alapján és felhasználtuk a Def.1.-et
3. lépés: A (A v B) ahol a kondicionális szimbólumát helyettesítettük a következmény
reláció szimbólumával.
103
A H1 rendszer kielégíti az axiomatikus rendszerekkel szemben állított mindenik követelményt.
Másszóval a H1 rendszer konzisztens, teljes és független. Ennek bizonyításától itt eltekintünk.
Vizsgáljuk most meg azokat a következményeket, amelyeket a kijelentéskalkulus axiomatizált
formája hoz magával. Először is világos, hogy a H1 rendszer nem fogalaja magába a
kijelentéskalkulus összes általunk ismert törvényét. Ez azt jelenti, hogy egyetlen axiomatikus
rendszerbe nem foglalható bele az egész kijelentéskalkulus a maga teljességében.
Más megállapítás. A Th.2. bizonyíthatósága a rendszeren belül arra hívja fel a figyelmünket,
hogy a kijelentékalkulus sémáinak törvényszerű voltát kétféleképpen lehet igazolni. Az egyik az
eldöntés valamelyik módszerével történhet. A másik a H1 rendszeren belül. Mivel a primitív rész
csak törvényeket foglal magába emiatt a származtatott rész sémáinak törvényszerű voltára ezek
biztosítanak alapot. Tehát egy tétel bizonyított volta egy axiomatikus rendszeren belül a
megalapozás egy új módját jelenti. A tétel tehát nem azért törvény mert az eldöntés valamely
módszerével igazoltuk ezt róla, hanem azért mert az axiomatikus rendszer része.
Az axiomatikus rendszerekkel kapcsolatosan felmerűl a kérdés: hogy vajon nem tudonánk-e
egy olyan a axiomatikus rendszert alkotni amelyben véges számú axiómából kiindulva elvileg
bármelyik iagazság nyerhető lenne? Ez azt jelentené, hogy egyetlen ilyen rendszeren belül
nyerhetővé válna az összes igaz kijelentés, másszóval a teljes emberi tudás. Egy ilyen rendszer
axiómáit megtanulva és ismerve a szabályait minden igaz ismeret generálható volna. Erre a
kérdésre Kurt Gödel adott választ a két világháború között híres tételével. Bonyolult aritmetikai
eljárással kimutatta, hogy az axiomatikus rendszereken belül felépíthetőek olyan kijelentések
amelyekről nem bizonyítható, hogy igazak és negáltjukról sem az, hogy hamisak. Röviden
eldönthetetlenek. Ez azt jelenti, hogy ha a rendszer teljes, akkor eldönthetetlen és ha
eldönthető, akkor nem teljes. Milyen következményekkel jár ez? Először is elvi korlátot szab a
minden igazságot generáló axiomatikus rendszer felépítése elé. Másszóval ilyen rendszert nem
lehet felépíteni. Ez azt jelenti továbbá, hogy ha az összes igazság befogadására nyitottak akarunk
lenni,akkor ezt nem tehetjük meg csak több alternatív rendszeren keresztül. Tehát nincs
„egyetlen tudomány” hanem csak alternatív, egymást kiegészítő tudományok.
FÜGGELÉK
Gál László
A logikusság forrásai
1. Bevezetés
104
statisztikainak. Nevezetesen azért statisztikainak, mert valamilyen módon a sokféleségek birtokába
kell jutnunk. Emiatt a statisztikához vagy a tipikushoz való folyamodás elkerülhetetlen. Igy a
sokféleség nem egyszerűen perceptíven, hanem csakis konceptuálisan, azaz kijelentésekben
megfogalmazottan jelenik meg számunkra.
Jelen tanulmányt a második út előkészítésének tekinthetjük. Más szóval általa fogalmainkat,
illetve eszközeinket probáljuk tisztázni.
Első lépesként a logikusság fogalmának egy bizonyos jelentésével kell rendelkeznünk.
Nyilvánvalóan a logikusság fogalma a logika fogalmából ered. Igy hát értelmezésünket a logika
fogalmával kell kezdenünk. Anélkül, hogy egy különálló meghatározásba vonná össze, Ruzsa Imre
a következőket állítja erre vonatkozóan: "Modern felfogásban a logika alapvető feladata a helyes
következtetés fogalmának szabatos meghatározása, törvényeinek feltárása. A következtetés - a szó
köznapi értelmében - az a gondolati eljárás, amelynek során adott ismeretekből új, az eredeti
ismeretanyagban explicite (azaz kozvetlenül kifejezett formában) nem szereplő ismeretekhez
jutunk." 12
Eszerint logikafogalmunk a következtetés fogalmára épül, viszont nem ennek pszichológiai
értelmére. A logika központi tárgyát kepező következtetés elvonatkoztat rnagátó a következtető
személyétől. Igy a logikust az fogja érdekelni, hogy állításainkból, helyesen, milyen újabb állítások
nyerhetők.
Tehát a logikusság fogalma azt a tulajdonságot fogja jelölni, hogy következtetések elvégzésére
vagyunk képesek. Más szóval tehát azt, hogy állításokból újabb állítások nyerésére vagyunk
képesek.
Még jobban leszűkítve a kérdést, az fog érdekelni bennünket, hogy milyen esélyünk van arra,
hogy a logikai műveletek sokféleségét valamilyen egységbe foglaljuk össze. Igy az fog érdekelni,
hogy a 16 egymástól különálló igazságfüggvény milyen közös forrásból ered. Emiatt e tanulmány
logikai elméleti eszközéűl a szimbolikus logika klasszikus fejezeteit fogja használni, nevezetesen a
kijelentéskalkulust és a predikátumok logikáját.
Az egységes forrás meglelésére három megközelítést fogunk felhasználni. Ezeket dologi, társadalmi
és formális megközelítésnek fogjuk nevezni.
(D2) p : S.
105
A matematikai függvényfogalom logikai alkalmazása számos előnnyel járt. Igy lehetővé vált
a logika műveleti rekonstrukciója., ami az eldöntést és az ervényesség vizsgálatát szigorúlbbá tette.
Az igazság számításának leibnizi gondolatát a fügvényfogalom tette kezelhetőve, mivel az elemi
kijelentésekből felépülő összetett kijelentés igazságértéke az előbbiek igazságértékeitől függ.
Hátránya ennek viszont az, hogy a konkrét kijelentések között létrejövő intuitív kapcsolat elvész, és
csak a kalkulatórikus, szintaktikai oldal kerül előtérbe. A függvényfogalom nem bocsátja a
logikusok rendelkezésére azokat az eszközöket, almelyek segítségével megragadhatók lennének a
kijelentésközi releváns kapcsolatok. A paradoxonok egy részének éppen ez a forrása.
A kijelentéközi állandó és univerzális logikai műveletek részben megőrzik minőségi
sokféleségüket. A minősegi különbségek az egymástól különböző logikai-szemantikai értelmezések
alalpját kepezik. Ezekben csak a kijelentések "bemeneti" igazságértékei fontosak, mivel ezek
kizárólagosan határozzák meg az összetett kijelentés "kimerneti" igazságértékét. És itt az elemi
kijelentések igazságértékeinek megállapítása teljesen lényegtelen, léven hogy ez nem a logika
feladata. Ha így lenne, akkor a logika elvesztené sajátosságát és feloldódna a megismerés többi
formáiban. A logika csak akkor léphet közbe, amikor a kijelentések igazságértékét már
meghatározták. Ha az összetett kijelentést alkotó kijelentések igazságértékei ismertek, akkor logikai
úton biztosan kiszámítható az összetett kijelentés kimeneti igazságértéke.15
Mutassuk be a mondottakat a konjunkció (&) segítségével. Meghatározó igazságérték
táblázata a következeő:
p q &
1 1 1
1 0 0
0 1 0
0 0 0
106
Példánk eleget tesz az összetett kijelentésben szereplő állítások közötti releváns kapcsolat
feltételének. Igy a kialakult konjunktív kapcsolat természetesnek tűnik. Ellenben mi történik, ha e
releváns kapcsolat hiányzik? Peldául a következő két kijelentés:
konjunktív kapcsolata más ertelmű. Logikailag e két kijelentés közötti kapcsolat is leírható a
konjunkció meghatározó értéktáblázatának első vonalával (p & q), sőt igaznak is tekinthetjük, mivel
mindkét tagja igaz. Csakhogy furcsának tűnhet a felhők és a zsebszámológépek, valamint a
vízcseppek és az aritmetikai műveletek egymáshoz kapcsolása. A kijelentéskalkulus eszközeinek
segítségével nem kezelhető ez a helyzet.
Következésképpen nyilvánvalová válik az igazságfüggvény és a mondatfüggvény
alkalmazásának hrátrárnya a természetes nyelvi kifejezések kezelésében. Az előttünk álló
lehetséges alternatíva az lehetne, hogy új értelemmel lássuk el a konkrét kijelentések közötti állandó
kapcsolatokat. Erre használjuk a logikai művelet fogalmát. Eddig is használtuk, anélkül hogy
pontos értelmét tisztáztuk volna. Bevezetjük tehát a következő meghatározással:
A logikai műveletek egyik azonosítható forrása a dologi világban van. A dolog fogalmán itt
minden valamilyen formát öltött lételemet értünk.
A dologi világ szűkebb területén, a tárgyi világban probálta meg azonosítani a logikai
műveletek forrását Jean Piaget. Episztemológiájában, amit o genetikainak nevez, a megismerés
létrejöttét kíséri figyelemmel. A létrejövést az egyénre vonatkoztatja, ami miatt episztemologiája
genetikus. A genézisnek van viszont egy más értelme is. Piaget meg volt győződve róla, hogy a
megismerés formái, még a legfejlettebbek is (matematika, tizika stb.) az egyéni kognitív
struktúrákban gyökereznek. Mivel az egyéni kognitív struktúráknak adaptációs szerepük van,
megragadhatóak az intelligencia fogalmával. Emiatt az intelligencia individuális fejődésének
megértése maga után vonja a rnegismerés megértését is.
Az adaptáció folyamata Piaget szerint két különálló folyamatra bontható: az asszimilációra
és az akkomodáicióra.16 Az asszimiláició folyamán a gyermek interiorizálja környezetét (elsősorban
a tárgyit). Az akkomodáció útjún a gyermek exteriorizálódik, válaszol környezete kihívásaira.
Igy a gyermek evolúciós folyamata elvezet a szenzorio-motoros intelligenciától egészen a
hipotetiko-deduktív, formális logikai műveletek elvégzésének képességéig. Intelligenciája
konkrétból formálissá válik, ami a kijelentéskalkulus és predikátumok logikájával írható le. A
folyamat egy önkonstrukciós folyamat, ami a benne részt vevő kognitív eszköztár állandó
módosulásával jár. A valóság önkonstrukciójának kognitív sémái szűrik ki és rendezik az
asszimilációt és az akkomodációt.17 Az intelligencia ontogenézisének evolúciós folyamatában
külonböző szakaszok azonosíthatók. A szakaszok vegigjárása a hipotetiko-deduktív műveletek
16
V.ö. J. Piaget: Biologie şi cunoaştere, Cluj, 1971.
17
V.ö. M. Piatelli-Palmarini: Teorii ale limbajului. Teorii ale învăţării, Buc., 1988.
107
képességét hozza magával, ahol a gondolkodás már reverzibilis és tranzitív. A kognitív fejlődes
vége, illetve közbeeső szakaszai is leírhatók a logika eszközeivel.
Piaget a logikai műveletekre mint a kognitív semák alapelemeire irányuló tanulmányait
1949-ben kezdi el közölni, amikor megírja a Traité du logique opratoire című munkátját.18 A könyv
központi fogalmai a művelet, mondatközi művelet és rnondaton belüli művelet. Ime a
meghatározásai:
"10. Meghatározas. “Műveletnek” nevezzük egy struktúra reverzibilis átalakulását egy
más struktúrába vagy a “forma” módosulásával, vagy “tartalmának” helyettesítésével.”19
Mint látjuk, a l0. definíció a struktúra fogalmához küld. Ime a meghatározása:
,,5. Meghatározás. “Struktúrának” nevezzünk minden olyan logikai kapcsolatot, amely
felváltva vagy egyidőben játszhatja a forma és a tartalom szerepét.”20
Piaget tehát a logikai műveleteken azon formai és tartalmi tényezőket érti, amelyek képesek
a struktúirák megváltozását előidézni. Igy konstruktivista álláspontja folytán az értelem azon
elemeit hangsúlyozza ki, amelyek képesek önmagukat módosítani.
Piaget formális logikain egy "állandó formalizációs folyamatot" 21 ért amelynek forrása
egyéni-térgyi és végső szintje meghatározatlan. Az egyéni-tárgyi forrás is logikai cselekvés
eredménye. Ez az a "végső" nem logikai tartalom, amelyre a logikai forma hat. Igy a strukturált és
strukturáló logikai formák egy egyéni-tárgyi, a logikai formák által megkonstruált "alsó" és egy
meghatározatlan "felső" szint között mozognak.
A forma és a tartalom ennyire szigorú megkülönböztetése a Piaget-i felfogásban azt
eredményezi, hogy a változó tartalmak közötti állandó logikai kapcsolat kétértelművé válik. E
lényegében arisztotelészi kérdést a szimbolikus logika a függvény fogalmának bevezetésével
oldotta meg. Habár a megoldásnak megvannak az említett hátrányai, a hagyományos logika régi
kérdése fogalmazódott át.
Tanulmányában Piaget az igazságfüggvény fogalmát "mondatközi műveletnek", a
rnondatfüggvényt "mondaton belüli műveletnek" nevezi. Ime a definíciók:
"2. Meghatározás. “Mondatközi műveletnek” nevezünk minden olyan összetételt,
amelyben a p, q, r mondatokkal, melyeknek nem ismerjük csak igazságértékeit, újabb összetett
mondatok képezhetők az igazságértékek kombinációs lehetőségeinek függvényében."22 És tovább:
"3. Meghatározás. “Mondaton belüli műveleteknek” nevezzük azokat a rnűveleteket,
amelyek lehetővé teszik a mondat alkotóelemeire való bontását (a felbontás különböző mélységű
lehet) és újabb mondatok nyerését az alkotoelemek átalakítása révén; az így nyert mondatok
igazságértéke az átalakított elemek kombinálasából adódik.”23
Mindkét meghatározás hiányos. Sem a 2., se a 3. definíció nem alkalmazza következetesen a
függvény fogalmát. A 2. definíció nem adja meg az igazságfüggvény értékkészletét, a 3. defínició
pedig értékkészletként az igazságértékeket jelöli meg. Mindkét defínició a függvény fogalmának
elemeit konstruktivista módon fogja fel, anélkül hogy figyelembe venné: ennek szerepe a
kapcsolatteremtés és nem hierarchiák tételezése. Az evolúcióként való értelmezés itt nem helytálló.
Vegül pedig egyik definícióban sem világos a változó értelme.
A műveleti logikára vonatkozó tanulmányt Piaget munkásságában a kíserletekre alapozott
genetikus episztemológia kidolgozása követte. Az első kíserletsorozat eredményeit A gyermek
logikájától az ifjú logikájáig 24 című könyvben foglalta össze. A vizsgálódás tárgya itt a logikai
műveletek megjelenése a különböző korú gyermekeknél, strukturálódásuk és a kialakult struktúrák
közötti összefüggés. A kísérletek elméleti feldolgozása alapján a mondatközi és a mondatokon
belüli logikai műveletek forrását a tárgyak és jelenségek közötti kapcsolatok kognitív asszimilációja
képezi. A kíserletek folyamán a tények egyszerű szimbolizálás útján jutnak át a logika területére.
18
A mű románul is mejelent. J. Piaget: Tratat de logică operatorie, E.D.P., Buc, 1991.
19
I.m. 55.
20
U.o. 44.
21
Uo.
22
U.o.
23
U.o.
24
B. Inhelder, J. Piaget: A gyermek logikájától az ifjú logikájáig, Akadémiai kiadó, Bp., 1967.
108
Igy a szimbólumok átveszik a tények helyét, azaz Piaget azonosítja a tényeket nyelvi
kifejezéseikkel. Ha a tények azonosak nyelvi kifejezéseikkel, és ha rendelkezésünkre áll a már
előzőleg kidolgozott logikaelméletünk (a műveleti logika), akkor nem marad más hátra, mint
azonosítani azt, ami logikaelméletünkben jelen van a tények és a jelenségek terén. Emiatt
elkerülhetetlenül oda jutunk, hogy a dolgokban és jelenségekben az előzőleg kidolgozott logikánkat
keressük és találjuk meg. Ime, miként válunk konstruktivista racionalistából a teleológia híveivé!
E végső következményt velémenyünk szerint a következők vonják maguk után: Piaget nem
veszi figyelembe, komolyan és alapvetően a logikai és a nyelvi elválaszthatatlan kapcsolatát, a
logikusság nyelvi jelenlétét és az innen adódó bonyolult szemantikai kapcsolatokat. Ha a formális-
logikai megkonstruálodik, akkor szinte érthetetlen, hogy miért egységes, állandó és egyetemes. A
dologi-tárgyi kapcsolatok azonosak a mondatközi és mondatokon belüli kapcsolatokkal. Ha a
logikus és a nyelvi ennyire szorosan kapcsolódik egymáshoz, akkor a nyelvi a kultúra -
általánosítva a társadalmi - megszámlálhatatlan elemét hozza magával. Igy maga a társadalmi is a
logikusság forrásává válik. A kérdésnek ezt az oldalát Piaget teljesen figyelmen kívül hagyja.
25
Sills D.L. (ed):International Encyclopedia of Social Sciences, The Macmillan Co. And The Free Press, 8. Köt.
26
Émile Durkheim: Les formes élémentaires de la vie réligieuse, P.U.F., Paris, 1985.
27
R. Merton: Social Theory and Social Structure, The Free Press, New York, 1964, XII.fej.
109
A. Eraly is hasonlóan azonosítja a tudásszociológia feladatát: "A tudásszociológia feladata
tehát rekonstruálni az adott feltételek között egy bizonyos gondolkodásforma (rasszizmus,
merkantil ésszerűség, a szabad kezdeményezés kultusza, ortodox marxizmus stb.) elfogadását uraló
szándékot."28
Mindhárom idézett szerző a tudásszociológiai kérdésfeltevéssel választ próbál találni a
társadalom legelterjedtebb fogalmainak és eszméinek problemájára, adott társadalmi struktúrák által
determinált létrejöttükre, esetleg az igazságok egyén- és kultúrközi érvényesítésére. Emiatt a logikai
formák kérdése, a következtetések érvényesítésének társadalmi oldala, az új ismeretek nyerésének
formája meg sem jelenik. Számukra a tartalom és a társadalmi meghatározottság a lényeges.
Egy érdekes tanulmányaban A. Gellaty eredeti módon teszi fel a társadalmi közbejátszátsát
a logikai formák létrejöttében. Elemzésének központjában azok a hatások vannak, amelyek a
társadalom részéről érkeznek a logika és a szellem fele.29
Véleménye szerint a logikai formák forrása szempontjából két álláspont azonosítható: egyik
a relativizmus álláspontja, amelyet az edinburghi tudásszociológiai iskola képvisel (B. Barnes, D.
Bloor), a másik a kognitív pszichológia álláspontja (J. Piaget, J. Fodor). A relativista álláspont azt
állítja, hogy amennyiben léteznek egyetemesen elfogadott következtetési formák, annyiban ezek
oksági és nem empirikus magyarázatnak vetődnek alá. Az ok pedig kultúrspecifikus. A kognitív
pszichológia álláspontját egy mentális logika elfogadása határozza meg. Igy a szellem
strukturálódása határozza meg az érvényes következtetések végrehajtásának képességét. Éppen a
strukturálodás e módját nevezi "mentális logikának". A Piaget és Fodor közötti különbség a
mentális logika keletkezésének felfogásában áll. Piaget-nél ez megkonstruálódik, Fodornál
veleszületett. Viszont mindkettőnél empirikus teszteknek vetődik alá.
Gellaty végső álláspontja szerint a következtetési sémák nem lelhetőik fel a természetben.
De ha társadalmi kategóriák, akkor a kommunikáció és a tanulás társadalmi eszközein keresztül
juthatunk birtokukba.
Ime mit ír ebben az értelemben W.O. Quine: "A logikai igazságok lingvisztikai elméletéről a
következőket mondhatjuk: mi a logikát a nyelvvel együtt sajátítjuk el. De e körülmény nem
különbözteti meg a mindennapi tudás azon hatalmas mennyiségétől, amit altalában empirikus
ismereteknek nevezünk. Nincs lehetőségünk arra, hogy nagyon világosan elválasszuk a nyelvtudást
attól, ami mögötte rejtőzik."30 És tovább: "A logika igazságai igazságukat a valóság meghatározott
tulajdonságainak köszönhetik. Ezen tulajdonságok pedig egyféleképpen tükröződnek a mi
nyelvünkben, másképpen egy más nyelvben és megint másképpen egy harmadik nyelvnek
megfelelő grammatikában és szókészletben."31
A nyelvész E. Benveniste megjegyzései egy antropológus kezében alahúzzák Quine
állításait. Ime az antropológus szavai: “És nem letezik-e vajon, amint ezt Émile Benveniste
aláhúlzza, egy elszakíthatatlan kapcsolat a nyelv és a gondolkodás között? A francia nyelvész
pontosan e kérdésfeltevés felé vezérli lépéseinket. Az általános nyelvészet kérdései című
munkájának (Párizs, 1966, I. köt., V. fej.) A gondolkodás kategóriái és a nyelv kategóriái címet
viselő híres fejezetében. Kommentálva Arisztotelész Kategóriáinak negyedik könyvét, Benveniste
rávilágít az arisztotelészi logika nyelvi (tehát kulturális) irreduktibilitására, ami következésképpen
nem is tekinti magát egyetemesnek, amennyiben analitikussága a görög grammatikára
szorítkozik.”32
Az eddigiek alapján kiderül, hogy a logikusság forrásait nem kereshetjük sem kizárólagosan
a logikai műveletek önkonstrukciójának gondolatában (a Piaget-i „mentális logikában”), sem az
emberi szellem veleszületett adottságaiban (a Fodor-féle „mentális logikában”), sem az eszmék
kulturális sajátosságaiban, sem pedig a társadalmi kommunikáció nyelvi formáiban. Ez amiatt van,
mert a következtetési formák önkonstrukciója inkább kivétel, mint szabály, ontogenetikus
kialakulásukban. A gyermek számára sokkal hozzáférhetőbbek a társadalomból készen kapott
28
A. Eraly: La sociologie de la connaisance, Press Universitaire de Bruxelles, 1988/1989, 113.
29
A. Gellaty: A logika és a szellem fejlődésében érvényesülő társadalmi hatások, Filozófiai Figyelő, 1985, 3. Sz.
30
W.O. Quine: Philosophy of Logic, Prentice Hall Inc., London, 1970, 100.
31
I.m. 95.
32
Cl. Karnoouh: Adio diferenţei, Editura Dacia, Cluj-Nappoca, 1994, 113.
110
„következtetési modellek”. Továbbá a szellem veleszületett következtetési képességeit nehéz, ha
nem lehetetlen megragadni. Az eszmék kultúrspecifikus megközelítése teljesen figyelmen kívül
hagyja a logikai-formai szempontot. Végül a grammatikai struktúrák logikai formageneráló
szerepének álláspontja egyrészt ellentmondásos (Quine, Benveniste), másrészt leszűkíti a társadalmi
közrejátszását a logikus mivolt kialakulásában.
Próbáljuk most végigkövetni ama sajátos felfogás elemeit, amely a logikusra és a létezőre, a
logikusra és a nyelvire vonatkozik. E felfogás megalkotója Stanislaw Lesniewski, a varsói logikai
és filozófiai iskola kimagasló alakja.
Lesniewski három elméletet dolgozott ki: a mereológiát (1914-1917), az ontológiát (1919-
1921) és a prothotetikát (1923).
A mereológiát mint a rész és az egész elmélete nem feltételezi az absztrakt entitások
meglétét. Lesniewski az osztályokat és az osztályok osztályait a rész és az egész viszonyaként fogja
fel. Az osztály az individuumok egy sokasága. Az osztály tulajdonságai határozzák meg és nincs
kölünbség az osztály és elemei tulajdonságai között. Emiatt a halmazelmélet paradoxonai sem
jelentkeznek többé.33
A prothotetika valószinüleg a legkomprehenzívebb kijelentéskalkulus, amit valaha
kidolgoztak. Magában foglalja a klasszikus kijelentéskalkulus nagy részét. A prothotetika
funktorváltozóinak helyét átvehetik a kijelentéskalkulus álllandói. Itt a funktor fogalma logikai
állandókat (ha....akkor, és, vagy stb.) és matematikai műveleteket (+, -, x stb.) is jelölhet.34
Az ontológia a prothotetikára épül. Az ontológia az egyik legkomprehenzívebb névkalkulus.
Magában foglalja a hagyományos logika modernizált változatát, a predikátumok logikájának
részeit, az osztály és a relációkalkulust, valamint az identitáselméletet. Megnevezése mentes a
fogalom metafizikai értelmétől. Emiatt J. Slupecki és C. Lejewski megfelelőbbnek tekinti a
névkelkulus megnevezést. Már amiatt is, mert legjellegzetesebb kifejzései a nevek szemantikai
kategóriájába sorolhatók.
A prothotetika és az ontológia alapfogalmai a szemantikai kategória és a funktor.35A nevek
attól függetlenül, hogy egy dolgot, egy osztályt vagy semmit sem jelölnek, ugyanazon szemantikai
kategóriába sorolhatók. Lesniewski elmélete ebben különbözik a Frege-Russell típusú elméletektől.
Ebben a tulajdonnevek (határozott leírások) individuális kifejezések, az általános nevek pedig
predikátumok. Lesniewski rendszereinek egy másik sajátossga, hogy a név használata a
kijelentésekben nem feltételezi letének elismerését. Más szóval Lesniewski rendszerei nincsenek
alávetve az egzisztenciális import következményeinek. Innen adódik, hogy:
a) Lehetővé válik logikai tárgyak és a dolgokbó1 álló halmazok megkülönböztetése. Mivel a
logikai tárgyak köre tágabb, mint a dolgok köre, és mivel a logikai tárgyak körébe minden letező és
elképzelhető besorolódik, eltűnik a már az ókori görögök óta fennálló kérdés, a lét megállapításának
kérdése. A logikai tárgyak fogalmának szempontjából eltűnik tehát a létező és a nem létező
megkülönböztetése.
b) Az állítások megfelelése a tényeknek és az igazság ez úton való nyerése átfogalmazódik a
jelentés kérdésévé. Ezt a lehetőséget használta fel Alfred Tarski szemantikai igazságelméletében.36
Ami a funktorokat illeti, ezek nem sorolhatók egyetlen szemantikai kategóriába sem. Tehát e
nyelv a következő elemeket tartalmazza: a szemantikai kategóriákat, a funktorokat és a kvantorokat.
A funktorok száma korlátlan. Bevezetésük feltétele meghatározásuk. Lesniewski ontologiájának
legjellegzetesebb kifejezései a nevek szemantikai kategóriájába sorolhatók, a prothotetikáe pedig a
mondatokéba. Más szóval a funktorok argumentumai nevek vagy mondatok. A legfontosabb
funktorkategoriák tehát a következők:
33
G. Havas Katalin: Gondolkodás, nyelv és valóság a logikában, Akadémiai Kiadó, Bp., 1983, 255-261.
34
C. Lejewski: On Lesniewski’s Ontology, Ratio, 1958, vol.I, nr.2.
35
J. Slupecki: S. Lesniewski’s Calculus of Names, Studia Logica, 1955.
36
A. Tarski: Bizonyítás és igazság, Gondolat, Bp., 1990.
111
1 . Névképző funktorok, nevekből neveket képeznek. Peldául: apa, apja.
2. Mondatképző funktorok:
- mondatokat képeznek egyetlen névből. Például: dolog, dolgozik;
- mondatokat képeznek két névből. Például: ... nagyobb, mint...;
- mondatokat képeznek két más mondatból. Peldául: és, vagy.
A funktorok segítségével tehát mind neveket, mind mondatokat képezhetünk.
A funktorok hierarchizálódnak. A hierarchia szintjeinek meghatározására J. Slupecki 37
bevezette a funktorok rendjének fogalmát. Az elsőrendű funktor argumentumai a nevek szemantikai
kategoriájához tartoznak. Két funktor ugyanazon rendű, ha ugyanazon szemantikai kategóriához
tartozik, és azonos argumentumszámú.
A funktonok jelentésének meghatározása végett C. Lejewski 38 egy ötletes megoldáshoz
folyamodott. Eszköze az úgynevezett ontológiai táblázat, amely hasonlít az igazságfüggvényekhez.
Lejewski megkülönbözteti:
I. a nem elosztott neveket, amelyek egyedi dolgokat jelölnek (például Hold, Nap);
II. az elosztott neveket, amelyek több mint egy dolgot jelölnek (például nehéz test, ló);
III. fiktív neveket, amelyek elosztottként vagy nem elosztottként viselkednek, és nem
jelölnek semmit (például Pegazus, kentaur).
Az I-gyel jelölt ábrák szemléltetik az egyedi nevek szemantikai statusát, a II-vel (1-16) jelölt
ábrák pedig a névpárokét. Az Euler-diagramokban a sötét körök az egyedi dolgokat jelölik, a
fehérek az elosztott neveket, a fiktív neveket körök nélkül jelölik.
Lejewski az ontológiai táblázatból kiválasztott néhány funktort, hogy meghatározza
jelentését. Ime a bennfoglalás funktora:
37
V.ö. J. Slupecki: i.m.
38
V.ö. C. Lejewski: i.m.
112
Az ontológiai táblázat
1 . Az egyedi bennfoglalás funktora az "a b" (olvasata: a,b). Az ilyen típusú mondat akkor
és csakis akkor igaz, ha a II.1 vagy a II.3 ábrák szemléltetik az "a" és a "b" neveinek szemantikai
státusát. Ellenkező esetben hamis.
2. Az erős bennfoglalás funktora az olyan kifejezésekben jelenik meg, mint "a b"
(olvasata: mindenik a, b). Az ilyen típusú mondatok akkor és csakis akkor igazak, ha a II.1, II.3,
II.8, II.9, II.lO, II.15, II.l6 ábrák illusztrálják az "a" és "b" neveinek szemantikai státusát. Ellenkező
esetben hamis.
3. A gyenge bennfoglalás funktora az olyan kifejezésekben jelenik meg, mint "a b"
(olvasata: minden a, b). Az ilyen típusú mondatok akkor és csakis akkor igazak, ha a II.l, II.3, II.8,
II.9, II.10, II.l5, II.l6 ábrák illusztrálják az "a" és a "b" neveinek szemantikai státusát. Ellenkező
esetben hamis.
Lesniewski rendszereinek rövid elemzése nehány következmény levonasára ösztönöz.
l. E rendszerek nem szenvedik el az egzisztenciális import következményeit. Ez bizonyítja a
lét és a nyelv különbözőségét vagy azt, hogy a lét és a nyelv között semmi közöset sem találhatunk.
2. Léven 1., ontológiát csakis egy nyelvben elhelyezkedve építhetünk fel, és ez egy más
nyelvre vonatkozik.
3. Ahhoz, hogy az ontológiai diskurzus egyértelmű legyen, egyetlen alternatívánk van: a
szigorú, nem tautológikus meghatározások. A nem tautológikus jelleg szükségessé teszi egy másik
nyelv kidolgozását, mivel magáról a dologi valóságról nem tudunk mondani semmit.
113
4. Elkerülhető-e a szolipszizmus? Lehet, hogy csak egy módon: elfogadva a wittgensteini
tautológikust.
5. Az így léltrejövő ontológia formális.39
6. Következmények
Origins of logicality. In this article the author searches for the content origin of logicalily
and comes to the conclusion that it can neither be exclusively found in the idea of self-construction
of logical operations (in the mental logic of Piaget), nor in the inborn aptitudes of the spirit (in
Fodor's.mental logic), nor in the cultural peculiarities of ideas, nor in the language patterns of social
conununication. Following this comes the examination of the form origin of logicality based on the
theory of a prominent figure of the Warsaw school of thoughts S. Lesniewski and it is shown that
the genesis of names and aftirmations is undiscovered here too. But in the author's opinion it is
nevertheless worthwhile surveying these points of view, as genetic epistemology points it out, that
things can possibly contribute to the universal ability of drawing conclusions, the sociology of
knowledge discovers that the social plays an important role in the development of logicality and
finally the formal point of view makes logicality be distinguishable from objective existence. Not
that logicality cannot be part of existence but because this has an outstanding position among forms
of existence.
Ajánlott könyvészet
114
Ruzsa, Imre, Máté, (1997) Bevezetés a modern logikába, Osiris-Századvég, Budapest
András
Ruzsa, Imre, Pólos (1988) Bevezetés a logikába, Tankönyvkiadó, Budapest
László
Seech, Zachary (é.n.) Logika a mindennapi életben, B.M.E., Budapest
115