LudwigWittgenstein

Logikaifilozfiairtekezs
(TRACTATUSLOGICOPHILOSOPHICUS)

A Tractatus vilga nem vals vilg. Sivr logikaigeometriai tjk,

melynekhatraitalogikacvekeliki.Anyelvhinytalanullerja,mintegy
meddn megktszerezi a vilgot: a geometriai pontok, idomok lettelen
vilga flbe a nyelvilogikai formk nma vilga borul. Hasonmsok:
rnyvilgstkrkpe.
Alogikakitltiavilgot,sezrtavilgbannincssemmi,amiesetleges,s
alogikbannincssemmi,amimeglepets.Alogikaisteni;Isten,havan,a
logikbanrejtzkdik.
A Tractatus egy vilgtl menekl misztikus logikai aszkzise.
Wittgensteinolyanvilgotpt,aholalnynkegsztrintkrdseknek
semmisemfeleltethetmeg,ezrtetikaikijelentseksemltezhetnek.Az
etiktkimondaninemlehet,csakmutatni;ahallgatssagesztusetikja
ez. A Tractatus az etika zrkve: Amirl nem lehet beszlni, arrl
hallgatnikell.

LudwigWittgenstein

Logikaifilozfiairtekezs
(TRACTATUSLOGICOPHILOSOPHICUS)

Msodik,javtottkiads

AkadmiaiKiad,Budapest1989

HermszKnyvek

KszlazAkadmiaiKiad
TrsadalomtudomnyiSzerkesztsgnekmhelyben

Asorozatotszerkeszti
E.BrtfaiLszl

Afordtsazalbbikiadsalapjnkszlt:LudwigWittgenstein:Tractatuslogicophilosophicus
RoutledgeandKeganPaul,London,1956.FordtottasafogalommutattsszelltottaMrkusGyrgy
Afordtstamsodikkiadsszmraazeredetivelegybevetette
E.BrtfaiLszl
MegjelentaKereskedelmiBankRt.tmogatsval.ISBN9630555468
KiadjaazAkadmiaiKiad,Budapest
Elskiads:1963
RoutledgeandKeganPaul,London,1956HungariantranslationMrkusGyrgy
Mindenjogfenntartva,belertveasokszorosits,anyilvnoselads,ardistelevziads,valamintafordtsjogt,
azegyesfejezeteketilletenis.
PrintedinHungary

Elsz
Ezt a knyvet taln csak az fogja megrteni, aki egyszer mr maga is vgiggondolta az itt kifejtett
gondolatokatvagylegalbbisezekhezhasonlkatgondolt.Tehteknyvnemtanknyv.Cljtakkorrnel,
halennelegalbbegyrtolvasja,akineklvezetetokozna.
Aknyvafilozfiaproblmivalfoglalkozik,sgyhiszemkimutatja,hogyazamd,ahogye
problmkatmegfogalmazzuk,nyelvnklogikjnakflrertsnalapul.Aknyvegszrtelmtakvetkez
szavakbanlehetmegkzeltlegsszefoglalni:Amitegyltalnmeglehetmondani,aztmeglehetmondani
vilgosan;amirlpedignemlehetbeszlni,arrlhallgatnikell.
Aknyvtehthatrtkvnszabniagondolkodsnak,helyesebben:nemagondolkodsnak,hanema
gondolatokkifejezsnek.Mertahhoz,hogyagondolkodsnakhatrtszabjunk,tudnunkkellenegondolnie
hatrmindktoldalt(azaztudnunkkellenegondolniazt,aminemgondolhat).
Ahatrttehtcsakanyelvbenlehetmegvonni,saz,amiehatrontlfekszik,egyszerenrtelmetlensg
lesz.
Nemakarommegtlni,mennyireesnekegybeazntrekvseimmsfilozfusoktrekvseivel.Amirlitt
rtam,rszleteibenegyltalbannemlpfelazeredetisgignyvel.Ezrtnemhivatkozomforrsokrasem,
mivelszmomramindegy,vajonazt,amitelgondoltam,gondoltaemrelttemvalaki.
Csakaztakarommegemlteni,hogyFregenagyszermunkisbartom,BertrandRussellrrsai
nagymrtkbensztnztkgondolataimat.Haemunknakvanvalamirtke,akkorezktdologbltevdik
ssze.Elszrabbl,hogygondolatokatfejezki,sezazrtkannlnagyobblesz,minljobbanvannak
kifejezveegondolatok.Minljobbanfejntalljkaszget.Etekintetbentudatbanvagyokannak,hogy
messzeelmaradtamalehetsgekmgtt,egyszerenazrt,mertkevsazermefeladatmegoldshoz.
Jjjenekmsok,svgezzkeljobban.
Amiviszontazittkzltgondolatokigazsgtilleti,azmegdnthetetlenneksbizonyosnaktetszik
szmomra.Tehtazonavlemnyenvagyok,hogyaproblmklnyegilegvglegesmegoldstnyertek.sha
ebbennemtvedek,akkoremunkartkemsodsorbanppenabbanll,hogymegmutatjamilyenkevs
intzdttelezeknekaproblmknakamegoldsval.
Bcs,1918
L.W.

Logikaifilozfiairtekezs
(TRACTATUSLOGICOPHILOSOPHICUS)
Bartom,DavidH.Pinsentemlknek
smindazt,mittudazember,
snemcsakreszajaflben,
hromszbanlehetelmondani.
Krnberger

1
1.1
1.11
1.12
1.13
1.2
1.21
2
2.01
2.011
2.012

2.0121

2.0122

2.0123

2.01231

Avilgmindaz,aminekesetefennll.1
Avilgtnyeksnemdolgoksszessge.
Avilgotatnyekhatrozzkmegsaz,hogyezazsszestny.
Mert a tnyek sszessge hatrozza meg azt, minek az esete ll fenn, s
gyszintnmindazt,aminekesetenemllfenn.
Atnyekalogikaitrbenezavilg.
Avilgtnyekreoszlik.
Vagy fennllhat valaminek az esete, vagy nem llhat fenn, s ugyanakkor
mindenegybmaradazonosan.
Aminekesetefennll,atny,nemms,mintakrlmnyekmeglte.
Akrlmnytrgyak(objektumok,dolgok)kapcsolata.
Mindendologlnyegheztartozik,hogykrlmnyalkotrszelehet.
Alogikbansemmisemvletlen:halehetsges,hogyadologakrlmnyben
elforduljon,akkorekrlmnylehetsgnekmreleveeldntvekelllenniea
dologban.
Ha egy olyan dolog szmra, amely egyedl nmagban kpes ltezni,
utlagosan egy hozzill tnyllst lehetne ltrehozni, akkor ez, gyszlvn,
vletlennektnne.
Haadolgokelfordulhatnak akrlmnyekben,akkorennekalehetsgnek
mrbennkkellrejlenie.
(Amilogikai,aznemlehetcsupnlehetsges.Alogikavalamennyilehetsggel
foglalkozik;tnyeiazsszeslehetsgek.)
Ahogyegyltalnnemgondolhatjukelmagunknakatrbelitrgyakatatren,az
idbelitrgyakatazidnkvl,gynemgondolhatunkelegyetlentrgyatsem
mstrgyakkalvalkapcsolatnaklehetsgnkvl.
Ha elgondolhatom a trgyat egy krlmny kapcsolatban, akkor nem
gondolhatomelezenkapcsolatlehetsgnkvl.
Adolognll,amennyibenminden lehetsges tnyllsbanelfordulhat, az
nllsgnakezaformjaazonbanegybenakrlmnnyelvalkapcsolatnak,
az nlltlansgnak is formja. (Lehetetlen, hogy a szavak kt klnbz
mdonszerepeljenek:egymagukbansamondatokban.)
Haismerematrgyat,akkorismeremakrlmnyekbenvalelfordulsnak
sszeslehetsgtis.
(Mindenegyesilyenlehetsgnekatrgytermszetbenkellrejlenie.)
Nemlehetutlagosanjlehetsgettallni.
Ahhoz, hogy ismerjem a trgyat, nem kls tulajdonsgait kell ismernem,
hanemvalamennyibelstulajdonsgt.

Atizedesszmok.amelyekazegyesttelekrendszmaikntszerepelnek,atteleklogikaislyt,akifejtsembenrjuk
helyezettnyomatkotjelzik.Azn.1,n.2,n.3,stb.szmozsttelekazn.szmttelheztettmegjegyzsek;azn.m1,n.m2,
stb.szmozsttelekmegjegyzsekazn.m.szmttelhezsgytovbb.
1

2.0124
2.013
2.0131

2.014
2.0141
2.02
2.0201

2.021
2.0211
2.0212
2.022
2.023
2.0231

2.0232
2.0233
2.02331

2.024
2.025
2.0251
2.026
2.027
2.0271
2.0272
2.03
2.031
2.032
2.033
2.034
2.04

Ha az sszes trgy adva van, akkor ezzel adva van valamennyi lehetsges
krlmnyis.
Az egyes dolgok, gyszlvn, a lehetsges krlmnyek terben lteznek.
Elgondolhatom,hogyetrres,denemgondolhatomeladolgokatetrnlkl.
Atrbelitrgynakavgtelentrbenkellhelyetfoglalnia.(Atrbelipontegy
argumentumhely.)
Altmezbenlevfoltnaknemkellugyanvrsneklennie,derendelkeznie
kell valamilyen sznnel; gyszlvn szntr veszi krl. A hangnak rendel
keznie kell valamilyen magassggal, a tapintrzk trgynak valamilyen
kemnysggelstb.
Atrgyakvalamennyitnyllslehetsgttartalmazzk.
Akrlmnyekbenvalelfordulsnaklehetsgeezatrgyformja.
Atrgyegyszer.
Minden olyan lltst, amely komplexusokrl szl, fel lehet bontani egy, az
alkotrszeikrlszllltsrasolyankijelentsekre,amelyekteljesenlerjke
komplexusokat.
Atrgyakalkotjkavilgszubsztancijt.Ezrtnemlehetneksszetettek.
Haavilgnaknemlenneszubsztancija,akkoraz,hogyvanertelmevalamely
kijelentsnek,attlfggne,vajonigazeegymsikkijelents.
Akkorlehetetlenlennevalamiflekpet(igazatvagyhamisat)alkotniavilgrl.
Nyilvnval,hogybrmennyireklnbzzkisavalsgtlegygondolativilg,
valaminekegyformnakkzsnekkelllenniebennk.
Ezaszilrdformappenatrgyakblll.
A vilg szubsztancija csak formt hatrozhat meg, s nem anyagi
tulajdonsgokat.Azutbbiakatugyanisakijelentsekjelentikmegelszra
trgyakkonfigurciihozzkelszrltreket.
Hozzvetlegesenmondva:atrgyakszntelenek.
Ktazonoslogikaiformvalbrtrgyklstulajdonsgaitleltekintvecsak
abbanklnbzikegyikamsiktl,hogyklnbzek.
Vagyvannakadolgoknakolyantulajdonsgai,amelyekkelegyetlenmsiktrgy
sem rendelkezik, s akkor, minden tovbbi nlkl, lers tjn meg lehet
klnbztetni a tbbitl, s r lehet mutatni, vagy ellenkezleg, tbb olyan
dologltezik,amelynekvalamennyitulajdonsgaazonos,sakkoregyltaln
nemlehetrmutatniezekkzlazegyikre.
Mert ha a dolog semmi ltal sincs megklnbztetve, akkor n sem tudom
megklnbztetni,hiszenegybkntmeglenneklnbztetve.
Aszubsztanciaaz,aminekltezsenemfggattl,hogyminekazesetellfenn.
Aszubsztanciaformastartalom.
Tr,idsszn(sznessg)atrgyakformi.
Csakhalteznektrgyak,lehetszilrdformjaavilgnak.
Aszilrd,afennllsatrgyegysugyanaz.
Atrgyaszilrd,afennll;akonfigurciavltoz,anemlland.
Atrgyakkonfigurcijaalkotjaakrlmnyt.
Akrlmnybenatrgyakgykapcsoldnakegymshoz,mintalncszemeka
lncban.
Akrlmnybenatrgyakmeghatrozottmdonviszonyulnakegymshoz.
Azamd,ahogyatrgyaksszefggnekakrlmnyben,alkotjaakrlmny
szerkezett.
Aformaaszerkezetlehetsge.
Atnyszerkezeteakrlmnyekszerkezeteibltevdikssze.
Afennllkrlmnyeksszessgeavilg.

2.05
2.06

2.061
2.062
2.063
2.1
2.11
2.12
2.13
2.131
2.14
2.141
2.15

2.151
2.1511
2.1512
2.15121
2.1513
2.1514
2.1515
2.16
2.161
2.17

2.171
2.172
2.173
2.174
2.18

2.181
2.182
2.19
2.2

Afennllkrlmnyeksszessgehatrozzamegaztis,milyenkrlmnyek
llanakfenn.
Akrlmnyekfennllsasfennnemllsaavalsg.
(Akrlmnyekfennllstpozitv,fennnemllstpedignegatvtnynekis
nevezzk.)
Akrlmnyekfggetlenekegymstl.
Egykrlmnyfennllsblvagyfennnemllsblnemlehetkvetkeztetni
egymsikkrlmnyfennllsravagyfennnemllsra.
Avalsgsszessgeavilg.
Mikpeketalkotunkmagunknakatnyekrl.
Akpatnyllst,akrlmnyekfennllstvagyfennnemllstalogikai
trbenjelentimeg.
Akpavalsgmodellje.
Atrgyaknakakpbenakpelemeifelelnekmeg.
Akpelemekatrgyakatkpviselikakpben.
A kp nem ms, mint elemeinek meghatrozott mdon val viszonya
egymshoz.
Akptny.
Az,hogyakpelemeimeghatrozottviszonybanllnakegymssal,aztjelenti
meg,hogyadolgokgyviszonyulnakegymshoz.
Akpelemeknekeztazsszefggstnevezemakplekpezsiformjnak.
Alekpezsiformaazalehetsg,hogyadolgokgyviszonyulnakegymshoz,
mintakpelemei.
Akpgyvankapcsolatbanavalsggal;elrhozz.
Avalsgraalkalmazottmrchezhasonl.
Csakazosztvonalaklegklsbbpontjairintikamegmrendtrgyat.
Efelfogsszerinttehthozztartozikakphezazalekpezsiviszonyis,amely
kppteszi.
A lekpezsi viszony nem ms,mint a kp elemeinek s az objektumoknak
egymshozrendelse.
Ezenhozzrendelsekmintegycspjaiakpelemeknek,amelyekkelakprinti
avalsgot.
Atnynekahhoz,hogykplegyen,kellvalamikzsettartalmazniaazzal,amit
lekpez.
A kpben s a lekpezettben kell lennie valami azonosnak, hogy az egyik
egyltalnamsikkpelehessen.
Aminekkzsnekkelllennieakpbenavalsggal,hogyaztamagamdjn
helyesen vagy hamisan lekpezhesse, az nem ms, mint a kp lekpezsi
formja.
Akpmindenolyanvalsgotlekpezhet,amelynekformjvalrendelkezik.
Atrbelikpmindentrbelit,asznesmindensznesetstb.
Lekpezsiformjtazonbanakpnemkpezhetile,eztcsakmegnyilvntja.
Akpamagaobjektumtkvlrlbrzolja(nzpontjaalkotjaazbrzols
formjt).Ezrtbrzoljaakphelyesenvagyhamisanamagaobjektumt.
Deakpnemhelyezhetimagtsajtbrzolsiformjnkvlre.
Aminek minden kpben brmilyen formj is kzsnek kell lennie a
valsggal avgett, hogy azt egyltaln akr helyesen, akr hamisan
lekpezhesse,azalogikaiforma,azazavalsgformja.
Haalekpezsiformalogikaiforma,akpetlogikaikpneknevezzk.
Mindenkplogikaiis.(Ezzelszembenpldulnemmindenkptrbeli.)
Alogikaikplekpezhetiavilgot.
Akpbenalekpezslogikaiformjakzsalekpezettel.

2.201
2.202
2.203
2.21
2.22
2.221
2.222
2.223
2.224
2.225
3
3.001
3.01
3.02
3.03
3.031

3.032

3.0321

3.04
3.05
3.1
3.11

3.12

3.13

3.14

Akpavalsgotkpezileazltal,hogykrlmnyekfennllsnakvagyfenn
nemllsnaklehetsgtbrzolja.
Akplehetsgestnyllstbrzolalogikaitrben.
Akptartalmazzaannakatnyllsnakalehetsgt,amelyetbrzol.
Akpvagymegegyezikavalsggal,vagynem;helyesvagyhelytelen,igaz
vagyhamis.
Akpfggetlenligazvagyhamisvolttlaztbrzolja,amitbrzol a
lekpezsiformnkeresztl.
Amitakpbrzol,azakprtelme.
rtelmnekavalsggalvalmegegyezsbenvagymegnemegyezsbenlla
kpigazsgavagyhamissga.
Ahhoz,hogymegllaptsuk,igazeavagyhamisakp,sszekellhasonltanunk
avalsggal.
Csupnakpblegymagblnemllapthatjukmeg,igazevagyhamis.
Nincsolyankp,amelyaprioriigazlenne.
Atnyeklogikaikpeagondolat.
Egy krlmny elgondolhat azt jelenti, hogy kpet alkothatunk rla
magunknak.
Azigazgondolatoksszessgeavilgegykptalkotja.
A gondolat tartalmazza azon tnylls lehetsgt, amelyet gondol. Ami
gondolhat,azlehetsgesis.
Minemgondolhatunkelsemmialogikusat,mertebbenazesetbenalogikusan
kellenegondolkodnunk.
Valamikoraztmondtk,hogyIstenbrmitmegteremthet,csakaztnem,amia
logika trvnyeinek ellentmondana. Valjban egy alogikus vilgrl nem
tudnnkelmondani,milyenislenneaz.
Azt,amiellentmondalogiknak,ppolykevsslehetanyelvbenkifejezni,
mint a geometriban koordinti ltal brzolni egy olyan alakzatot, amely
Ellentmond a tr trvnyeinek, vagy pedig megadni egy nem ltez pont
koordintit.
Lehet trbelileg brzolni egy olyan krlmnyt, amely ellentmond a fizika
trvnyeinek,delehetetlenolyat,amelyageometriatrvnyeinekmondanael
lent.
Azaprioriigazgondolatazlenne,amelyneklehetsgebiztostanigazsgt.
Csak akkor tudhatnnk a priori, hogy egy gondolat igaz, ha magbl a
gondolatbl(azsszehasonltsobjektumanlkl)fellehetneismerniigazsgt.
Akijelentsbenagondolatrzkilegfelfoghatmdonjutkifejezsre.
Akijelentsrzkilegfelfoghatjeleit(hangvagyrsjeleketstb.)alehetsges
tnyllsvetleteiknthasznljuk.
Avettsimdszerakijelentsrtelmnekelgondolsa.
A jelet, amelyen keresztl a gondolatot kifejezzk, kijelentsjelnek
(Satzzeichen)nevezem.sakijelentsnemms,mintakijelentsjelavilghoz
valvetletiviszonyban.
A kijelentshez hozztartozik mindaz, ami a vetlethez tartozik, de az, amit
vettnk,mrnem.
Tehtavettettneklehetsgeigen,demagaavettettnem.
Teht a kijelents mg nem tartalmazza sajt rtelmt, de tartalmazza a
lehetsget,hogyeztkifejezze.
(Akijelentstartalmnakazrtelemmelbrkijelentstartalmtnevezzk.)
Akijelentstartalmazzartelmnekformjt,tartalmtazonbannem.
Akijelentsjelabbanll,hogybenneelemei,aszavak,meghatrozottmdon
viszonyulnakegymshoz.
Akijelentsjeltny.

3.141
3.142
3.143

3.1431

3.1432

3.144

3.2
3.201
3.202
3.203
3.21
3.22
3.221

3.23
3.24

3.25
3.251
3.26
3.261

Akijelentsnemszavakhalmaza.(Ahogyazeneitmasemhangokhalmaza.)
Akijelentstagolt.
Csak tnyek fejezhetnek ki rtelmet; a nevek egy osztlya nem fejezhet ki
rtelmet.
Az rs vagy nyomtats szokvnyos kifejezsformja eltakarja azt, hogy a
kijelentsjeltny.
Mertpldulakinyomtatottkijelentsbenakijelentsjelnemltsziklnyegesen
klnbznekasztl.
(EzrtnevezhetteFregesszetettnvnekakijelentst.)
A kijelentsjel lnyege igen vilgoss vlik, ha rsjelek helyett trbeli
trgyakbl (olyanokbl, mint asztalok, szkek, knyvek) sszetettnek
gondoljuk.
Edolgokklcsnstrbelihelyzetefejezikiekkorakijelentsrtelmt.
Helytelen azt mondani: Az aRb sszetettjel azt mondja, hogy a az R
viszonybanll bvel.Helyesen: Az,hogya meghatrozott viszonyban ll
bvel,mondjaazt,hogyaRb.
Atnyllstcsaklernilehet,nempedigmegnevezni.
(A nevek a pontokhoz, a kijelentsek a nyilakhoz hasonlk; a kijelentsek
rtelemmelbrnak.)
Akijelentsbengyfejezdhetikkiagondolat,hogyagondolattrgyainaka
kijelentsjelelemeifelelnekmeg:
Ezeketazelemeketegyszerjelekneknevezem,akijelentstpedigteljesen
elemzettnek.
Akijelentsbenalkalmazottegyszerjeleketneveknekhvjk.
Anvatrgyatjelenti.Atrgyajelentse.(Augyanazajel,mintA.)
Az egyszer jelek konfigurcijnak a kijelentsjelben megfelel a trgyak
konfigurcijaatnyllsban.
Anvatrgyatkpviseliakijelentsben.
Atrgyakatcsakmegnevezhetem.Ajelekkpviselikket.ncsakbeszlhetek
rluk,denemtudom ket kimondani.Akijelents csakazt mondhatjameg,
milyenegytrgy,denemmondhatjamegazt,hogymi.
Az egyszer jelek lehetsgnek kvetelmnye az rtelem meghatro
zottsgnakkvetelmnye.
Az a kijelents, amely egy komplexusrl szl, bels viszonyban ll azzal a
kijelentssel,amelyekomplexusnakvalamelyalkotrszrlszl.
A komplexust csak lersa tjn lehet megadni, e lers pedig helyes vagy
helytelenlehet.Azakijelents,amelyegykomplexusrlszl,nemvlikrtel
metlenn,haezakomplexusnemltezik,hanemegyszerenhamislesz.
Az,hogyakijelentsegyikelemevalamelykomplexustjell,kitnikazoknaka
kijelentseknekameghatrozatlansgbl,amelyekbenezazelemelfordul.Mi
tudjuk,hogyazilyenkijelentsltalmgnincsmindenmeghatrozva.(Hiszen
azltalnossgjellsetartalmazegyprototpust.)
Valamely komplexus szimblumnak egy egyszer szimblumm val
sszevonsameghatrozsrvnfejezhetki.
Egykijelentsnekegyscsakegyteljeselemzseltezik.
A kijelents meghatrozott, vilgosan megadhat mdon fejezi ki azt, amit
kifejez.Akijelentstagolt.
A nevet semmifle meghatrozs ltal sem lehet tovbbelemezni: a nv
alapjel.
Mindenmeghatrozstjnnyertjelazonjelekenkeresztljell,amelyekltal
meghatroztuk,sameghatrozsokmutatjkazutat.

3.262
3.263

3.3
3.31

3.311

3.312

3.313

3.314

3.315

3.316
3.317

3.318
3.32
3.321
3.322

Ktjel,egyalapjelsegyalapjelekltalmeghatrozott,nemjellhetegys
ugyanazonmdon.Aneveketnemlehetmeghatrozsokltalrszekrebontani.
(Egyetlenolyanjeletsem,amelyegymagban,nllanrendelkezikjelentssel.)
Azt,amiajelbennemjutkifejezsre,alkalmazsamutatjameg.Amitajelek
elhallgatnak,aztkimondjaalkalmazsuk.
Azalapjelekjelentstmagyarzatoktjnlehetmegvilgtani.Amagyarzatok
olyankijelentsek.amelyekazalapjelekettartalmazzk.Tehtezeketcsakakkor
rthetjkmeg,haajelekjelentstmrismerjk.
Csak a kijelentsnek van rtelme; csak a kijelents sszefggsben van a
nvnekjelentse.
A kijelents minden olyan rszt, amely rtelmt jellemzi, kifejezsnek
(szimblumnak)nevezem.
(Magaakijelentsiskifejezs.)
Kifejezs mindaz,amiakijelentsrtelmeszempontjbllnyeges,samia
kijelentsekbenkzslehet.
Akifejezsformtstartalmatjellmeg.
A kifejezs eleve flttelezi mindazon kijelentsek formjt, amelyekben
elfordulhat. A kifejezs a kijelentsek egy osztlynak kzs, jellemz
ismertetjegye.
Teht a kifejezst azon kijelentsek ltalnos formja brzolja, amelyeket
jellemez.
Mgpedigeformbanakifejezskonstans,mindenegybpedigvltozlesz.
Akifejezst teht egyolyanvltozbrzolja, amelynek rtkei akifejezst
tartalmazkijelentsek.
(Ahatresetbenavltozkonstanss,akifejezspedigkijelentssvlik.)
Azilyenvltoztkijelentsvltoznaknevezem.
Akifejezsnekcsakakijelentsbenvanjelentse.Brmelyvltozfelfoghat
kijelentsvltozgyannt.
(Avltoznevetisbelertve.)
Haegykijelentsvalamelyalkotrsztvltozvalaktjuk,akkorakijelentsek
egyosztlyhozjutunk,amelyekazgynyertvltozkijelentssszesrtkei.
Ez az osztly ltalnossgban fgg mg attl, mit tartunk mi, nknyes
megllapodsalapjn,ekijelentsrszeinek.Haazonbanvltozvalaktunk
minden olyan jelet,amelynek jelentse nknyesen lett meghatrozva, akkor
mg mindig egy ilyen osztlyhoz jutunk. Ez utbbi azonban mr nem fgg
semmifle megegyezstl, hanem csakis magnak a kijelentsnek a
termszettl.Ezegylogikaiformnakegylogikaiprototpusnakfelelmeg.
Az,hogymilyenrtkeketvehetfelegykijelentsvltoz,megvanllaptva.
Azrtkekmegllaptsamagaavltoz.
Akijelentsvltozrtkeinekmegllaptsanemms,mintazon kijelentsek
megadsa,amelyeknekkzsismertetjegyeavltoz.
Emegllaptslersaezeknekakijelentseknek.
Emegllaptstehtcsakaszimblumokrasnemjelentskrevonatkozik.
scsakezalnyegesamegllaptsszmra. Az,hogypusztnszimblumok
lersa,ssemmitsemlltarrl,amitezekjellnek.
Hogyantrtnikakijelentseklersaeznemlnyeges.
A kijelentst ppgy mint Frege s Russell a benne foglalt kifejezsek
fggvnyekntfogomfel.
Ajelaz,amirzkilegfelfoghataszimblumbl.
Ktklnbzszimblumtehtrendelkezhetkzsjellel(rsvagyhangjellel)
akkorviszontklnbzmdonjell.
Sohasemmutathatkttrgykzsismertetjegyreaz,hogyugyanazonjellel,
de kt klnbz jellsmdot alkalmazva jelljk ket. Hiszen a jel meg

3.323

3.324
3.325

3.326
3.327
3.328

3.33

3.331

3.332
3.333

3.334
3.34

vltoztatsanknyes.Tehtakrktklnbzjeletisvlaszthatnnk,shov
lenneakkoraz,amikzsajellsben.
Akznyelvbenigengyakranelfordul,hogyegysugyanazonszklnbz
mdon jell teht klnbz szimblumokhoz tartozik , vagy hogy kt
klnbz mdon jell sz klsleg azonos mdon nyer alkalmazst a
kijelentsben.
gyavanszelfordulmintkopula,mintazegyenlsgjelesmintaltezs
kifejezje; a ltezni viszont a jnnihez hasonl intranzitv igeknt; az
azonospedigmintmellknv.Beszlnk valamirl,deugyanakkorarrlis,
hogyvalamitrtnik.
(Ekijelentsben:Azldazzldmelybenazelssztulajdonnv,amsodik
viszontmellknv,eszavaknaknemcsupnjelentskaklnbz,hanemk
magukisklnbzszimblumok.)
gyaztnknnyenjnnekltreslyosabbnlslyosabbtvedsek(amelyekkel
telvevanazegszfilozfia).
Hogy elkerljk az ilyen hibkat, olyan szimbolikt (Zeichensprache) kell
alkalmaznunk, amely kizrja ezeket azltal, hogynem alkalmaz azonos jelet
klnbzszimblumokban,azolyanjeleketpedig,amelyekklnbzmdon
jellnek,nemhasznljaklslegazonosmdon.Tehtolyanszimboliktkell
alkalmaznunk,amelyalogikaigrammatikaalogikaiszintaxisszablyainak
engedelmeskedik.
(IlyennyelvaFregesRussellflelogikaiszimbolika[Begriffsschrift],brez
mgnemzrkimindenhibt.)
Hogy a jelrl felismerjk a szimblumot, az rtelmes hasznlatot kell
figyelembevennnk.
A jel csak logikaiszintaktikai alkalmazsval egytt hatroz meg valamely
logikaiformt.
Haegyjelet nemalkalmazunk,akkornincsjelentsesem.EzOccamttelnek
rtelme.
(Ha a szimbolikban minden gy mkdik, mintha a jelnek volna jelentse,
akkorvanisjelentse.)
Alogikaiszintaxisbanajeljelentsneksohasemszabadszerepetjtszania.A
logikaiszintaxisnakfelpthetnekkelllennieanlkl,hogyajel jelentsrl
szesnk,nemszabadmstfeltteleznie,csakakifejezseklerst.
EmegjegyzsblkiindulvabetekintstnyernkRusselltpuselmletbe:Russell
hibjaabbanmutatkozikmeg,hogyajelhasznlatiszablyokmegllaptsakora
jelekjelentsrlkellettbeszlnie.
Egyetlenkijelentssemllthatsemmitsajtmagrl,mivelakijelentsjelnem
tartalmazhatjasajtmagt.(Ezazegsztpuselmlet.)
Fggvny azrt nem lehet nmaga argumentuma, mert a fggvny jele mr
tartalmazza argumentumnak prototpust, mrpedig sajt magt nem tartal
mazhatja.
Ttelezzk fel pldnak okrt, hogy az F(fx) fggvny nmagnak
argumentumalehetne.gylenneegyF(F(fx))kijelents is,sebbenaz F
klsfggvnysazFbelsfggvnyklnbzjelentsselbrnnak,mivela
belsfggvny (fx),aklsviszont ( (fx))formj.Ektfggvnyben
csakazFbetakzs,ezazonbanegymagbannemjellsemmitsem.
Ezrgtnkivilglik,haazF(F(u))helyberjuk,hogy( ):F( u). u=
Fu.
EzltalkikszbldikaRussellfleparadoxon.
Mihelyt tudjuk, mi mdon jell minden egyes jel, a logikai szintaxis
szablyainaknmaguktlrthetvkellvlniuk.
Akijelentsneklnyegisvletlenvonsaivannak.

3.341

3.3411

3.342

3.3421

3.343

3.344

3.3441

3.3442

3.4

3.41
3.411
3.42

3.5
4
4.001
4.002

Vletlenszerekazokavonsok,amelyekakijelentsjelellltsnaksajtos
mdjbl szrmaznak. Lnyegiek azok, amelyek egymaguk teszik lehetv,
hogyakijelentskifejezzertelmt.
Teht az a lnyegi a kijelentsben, ami kzs valamennyi azonos rtelmet
kifejeznitudkijelentsben.
s hasonlkpp, egy szimblumban ltalban az a lnyegi, ami kzs
mindazokban a szimblumokban, amelyek egy s ugyanazon clra
szolglhatnak.
Teht azt lehetne mondani: a tulajdonkppeni nv nem ms, mint az, ami
valamennyi,atrgyatjellszimblumbankzs.Ebblszukcesszveazadd
na,hogysemmiflesszettelsemtartozikanvlnyeghez.
Jllehet jellseinkben (Notation) van valami nknyes, az azonban nem
nknyes,hogyhavalamitnknyesenmeghatroztunk,akkorvalamimsese
tnekfennkellllnia.(Ezajellslnyegblkvetkezik.)
Egyegysajtos jellsi mdlnyegtelen lehet,azazonban mindiglnyeges,
hogyezajellsimd lehetsges.sezltalbangyvanafilozfiban.Az
egyedi jramegjralnyegtelennek bizonyul,azegyedi lehetsgeazonban
mindenegyesesetbenfeltrneknkvalamitavilglnyegbl.
A meghatrozsok az egyik nyelvrl egy msikra val fordts szablyai.
Mindenhelyesszimboliknakbrmelymsikralefordthatnakkelllennieilyen
szablyokszerint:Ezaz,amikzsvalamennyikben.
Az, ami jell a szimblumban, nem ms, mint ami kzs mindazokban a
szimblumokban, amelyekkel az emltett szimblum a logikai szintaxis
szablyaiszerinthelyettesthet.
Pldulazt,amikzsazigazsgfggvnyekvalamennyijellsben,gylehet
kifejezni:kzsbennkaz,hogyvalamennyipl.a~p(nemp)sp q
(pvagyq)jellsselhelyettesthet.
(Ezzel jellemeztk annak mdjt, miknt nyjthat egy specilis lehetsges
jellsltalnosfelvilgoststszmunkra).
Akomplexusjeleazelemzssornnemnknyesenbomlikfel,azaznemoly
mdon, hogy felbontsa minden egyes kijelentsszerkezetben ms s ms
volna.
A kijelents egy helyet hatroz meg a logikai trben. E logikai hely ltt
egymagaazalkotelemekltezse,azrtelemmelbrkijelentsltezsebizto
stja.
Akijelentsjelsalogikaikoordintkezekalkotjkalogikaihelyet.
Ageometriaisalogikaihelyabbanmegegyeznekegymssal,hogymindkett
valamelyltezslehetsge.
Habrakijelentscsakegyhelyethatrozhatmegalogikaitrben,egybenaz
egszlogikaiteretismegkelladnia.
(Klnben a tagads, a logikai sszeg, a logikai szorzat stb. llandan j
koordinltelemeketvezetnnekbe.)
(Akpkrlilogikaillvnyzathatrozzamegalogikaiteret.Akijelentsaz
egszlogikaiteretthatja.)
Azalkalmazott,agondoltkijelentsjelagondolat.
Agondolatrtelemmelbrkijelents.
Akijelentseksszessgeanyelv.
Az ember rendelkezik azzal a kpessggel, hogy nyelveket hozzon ltre,
amelyeksegtsgvelkifejezhetbrmelyrtelmetanlkl,hogysejtelmelenne
arrl,mikntsmitjelentmindenegyessz.Aminthogyazemberekbeszlnek,
habrnemismerikazegyeshangokellltsnakmikntjt.
Akznyelvrszeazemberiszervezetnek,snemkevsbbonyolultennl.
Emberiervellehetetlenkzvetlenformbankiemelniakznyelvblanyelv
logikjt.

4.003

4.0031

4.01
4.011

4.012
4.013

4.014

4.0141

4.015
4.016

4.02

Anyelvlruhbaltzteti agondolatot.Mgpedig gy,hogyazembernem

kvetkeztethetazltzetklsformjblafelltztetettgondolatformjra,
mertazltzetklsformjaegyltalnnemabblaclblkszlt,hogyatest
formjnakmegismerstlehetvtegye.
Akznyelvmegrtstszablyozmegllapodsokszerfelettbonyolultak.
A legtbb kijelents s krds, amelyet filozfiai problmkrl lertak, nem
hamis, hanem rtelmetlen. Az ilyen jelleg krdsekre teht egyltaln nem
tudunk vlaszt adni, mindssze rtelmetlensgket llapthatjuk meg. A
filozfusokkijelentseinekskrdseinektbbsgeabblszrmazik,hogynem
rtjknyelvnklogikjt.
(Hasonltanakezekazolyankrdsekre,mint:Vajonajtbbvagykevsb
azonoseaszppel?)
snincsmitcsodlkozniazon,hogyalegmlyebbproblmktulajdonkppen
nemproblmk.
Azegszfilozfiaanyelvkritikja.(Denemamauthnerirtelemben.)Russell
rdemeannakmegmutatsa,hogyaltszlagoslogikaiformanemfelttlenla
kijelentsvaldiformja.
Akijelentsavalsgegykpe.
Akijelentsmodelljeavalsgnak,ahogyaztmimagunknakelgondoljuk.
Els pillantsra gy ltszik, hogy a kijelents mondjuk, ahogy le van
nyomtatvaapaprranemkpeavalsgnak,amelyrlszl.melspillantsra
a kotta sem ltszik a zene kpnek, sem pedig hangjel (bet) rsunk a
hangnyelvkpnek.
Mgis,eszimbolikkrlkiderl,hogykznsgesrtelembeniskpeiannak,
amitbrzolnak.
Nyilvnval,hogyvalamelyaRbformjkijelentstkpgyanntfogunkfel.
Ittajelnyilvnvalanhasonlatosahhoz,amitjell.
s ha behatolunk ezen kpbelisg lnyegbe, akkor megltjuk, hogy a
ltszlagosrendellenessgek (minta # s b hasznlataakottban)nemsrtik
ezt.
Ugyanisezekarendellenessgekistkrzikazt,amitkikellfejeznik,csak
mskppen.
Ahanglemez,azeneigondolat,akotta,ahanghullmokugyanabbanabels
lekpzsiviszonybanllnakegymssal,mintaminyelvsvilgkzttfennll.
Valamennyiknekkzsalogikaifelptse.
(Mint a kt ifj, kt lovuk s liliomaik a mesben. Mindezek bizonyos
rtelembenegyek.)
Abbanatnyben,hogyvanolyanltalnosszably,amelynekrvnazensza
partitrbl kiolvashatjaaszimfnit,samelynekrvn ahanglemezen lev
rovsbl a szimfnia, majd ebbl az elbbi szably szerint a partitra
helyrellthatebbenrejlikeltszlagolyteljesenklnbzjelensgekbels
hasonlsga. s az emltett szably annak a vettsnek a trvnye, amely a
szimfnit a hangjegyek nyelvbe vetti ki. Ez a hangjegyek nyelvbl a
hanglemeznyelvrevalfordtsszablya.
Mindenflehasonlsg,kifejezsmdunkbrmiflekpbelisgneklehetsgea
lekpezslogikjnalapul.
Hogymegrtskakijelentslnyegt,gondoljunkahieroglifarsra,amelyik
lekpeziazltalalerttnyeket.
sebblalakultkianlkl,hogyalekpezslnyegeveszendbemennea
betrs.
Ezt abbl ltjuk, hogy a kijelentsjel rtelmt felfogjuk anlkl, hogy azt
neknkelzlegmegmagyarztkvolna.

4.021

4.022

4.023

4.024

4.025

4.026

4.027
4.03

4.031

4.0311

4.0312

4.032

4.04

Akijelentsavalsgegykpe.Mert,hartemakijelentst,akkorismeremaz
ltalabrzolttnyllst.Viszontakijelentstmegrtemanlkl,hogyrtelmt
megmagyarztkvolna.
Akijelentsmutatjaazrtelmt.
Akijelentsmutatja,hogyanllnakadolgok,haigaz.saztmondja,hogygy
sgyllnak.
Akijelentsnekavalsgotigenrevagynemrekellmeghatroznia.2
Tehtteljesenlekellrnia.
Akijelentsegykrlmnylersa.3
Ahogyatrgylersaatrgyatklstulajdonsgaiszerint,gyakijelentsa
valsgotannakbelstulajdonsgaiszerintrjale.
A kijelents logikai llvnyzat segtsgvel hoz ltre egy vilgot, s gy a
kijelentsblazislthat,milyenmindenlogikai,haigazakijelents.4Kvet
keztetsekhamiskijelentsblislevonhatk.
Megrteniegykijelentstannyittesz:tudniazt,minekazesetellfenn,haigaz
akijelents.
(Tehtakijelentstmegrthetjkakkoris,hanemtudjuk,igaze.)
rtjkakijelentst,hartjkalkotrszeit.
Egynyelvnek egymsikra vallefordtsa nem gytrtnik,hogyaz egyik
mindenegyes kijelentstamsikegykijelentsbefordtjukle;hanemcsake
kijelentsekalkotrszeitfogjuklefordtani.
(s a sztr nemcsak a fneveket, hanem az igket, a mellkneveket s a
ktszavakatislefordtja,steljesenazonosmdonkezelivalamennyit.)
Az egyszer jelek (a szavak) jelentst meg kell magyarzni neknk, hogy
megrtskket.
Demikijelentseksegtsgvelrtetjkmegmagunkat.
Akijelentslnyegheztartozik,hogykpesjrtelmetkzlnivelnk.
Akijelentsnekrgikifejezsekkelkelljrtelmetkzlnie.
A kijelents egy tnyllst kzl velnk, teht lnyegi sszefggsben kell
llniaetnyllssal.
sezazsszefggsppenabbanll,hogyakijelentsetnyllslogikaikpe.
Akijelentscsakannyibanlltvalamit,amennyibenkp.
Akijelentsmintegyprbaszerensszelltegytnyllst.
Ahelyett: Ez a kijelents ezt s ezt az rtelmet fejezi ki egyenesen azt
mondhatjuk:Ezakijelentseztseztatnyllstbrzolja.
Azegyiknvkpviselegytrgyat,egymsiknvegymsiktrgyat.se
neveksszevannakktveegymssal.gyazegszgyszlvnlkpmdjra
megjelentiakrlmnyt.
Akijelentslehetsgeatrgyakjelekkelvalkpviseletnekelvnalapul.
Alapgondolatomaz,hogyalogikaillandk(konstansok)nemkpviselnek.
Hogyatnyeklogikjanemkpviselhet.
Akijelentscsakannyibankpeegytnyllsnak,amennyibenlogikailagtagolt
(Mg az ambulo5 kijelents is sszetett, mivel tve ms vgzdssel,
vgzdsepedigvalamelymstvelmrmsrtelmeteredmnyez.)
Akijelentsbenpontosanannyimegklnbztethetrsznekkelllennie,mintaz
ltalabrzolttnyllsban.

Azauthorizltangolfordtsehelyettakvetkezszvegetkzli:Akijelentsolymrtkbenhatrozzamegavalsgot,
hogyelgsgesigen"tvagynem"etmondani,hogyavalsggalmegfelelsbehozzuk.Aford.
3
Azangolfordtsbanemondatakvetkez,helyesbtettalakbanszerepel:Akijelentsegytnylersa.Aford.
4
Azangolfordtsbanemondatakvetkezkppszerepel:Akijelentslogikaillvnyzatsegtsgvelhozltreegy
vilgot,sgytnylegesenlthatkbennemindazokalogikaivonsok,amelyekkelevilgrendelkezik,haigazakijelents.
Aford.
5
Ambulo(lat.)jrok.Aford.
2

4.041
4.0411

4.0412

4.05
4.06
4.061

4.062

4.0621

4.063

Mindkettnek ugyanazon logikai (matematikai) sokasggal (Mannigfaltigkeit)

kellrendelkeznie.(LsdHertzMechanikjtadinamikusmodellekrl.)
Magt ezt a matematikai sokasgot termszetesen nem lehet lekpezni. A
lekpezssornnemlehetkijutnibelle.
Hapldnakokrtazt,amit(x)fx"szelfejeznkki,valamely,azfxelrand
indexhasznlatvalakarnnkkifejeznipldulgy:lt.fx,ez
nemlennekielgt,mivelnemtudnnk,mitltalnostottunk.Haeztvalamely
aindexhasznlatvalakarnnkmegmutatnipldulgy:f(xa),azmegint
csak elgtelen lenne, mivel nem ismernnk az ltalnossg jellsnek
terjedelmt.
Amennyiben valamely jelnek az argumentum helybe val bevezetsvel
akarnnkeztmegksrelnipldulgy:(A, A). F(A, A),ezszintnelg
telenlenne:nemlehetnemegllaptaniavltozkazonossgt.sgytovbb.
Mindezekajellsimdokelgtelenek,mivelnemrendelkeznekaszksges
matematikaisokasggal.
Ugyanezenokblnemmegfelelatrbeliviszonyokltsnakatrszemveg
rvnvalidealistamagyarzata,mivelnemkpesmegmagyarznieviszonyok
sokasgt.
Avalsgotakijelentsselhasonltjukssze.
Csakazltallehetigazvagyhamisakijelents,hogykpeavalsgnak.
Ha az ember nem veszi figyelembe, hogy a kijelents a tnyektl fggetlen
rtelemmelbr,akkorknnyenazthiheti,hogyazigazsahamisegyenjog
viszonyokajeleksajellttrgyakkztt.
Ezesetbenpldulaztmondhatnvalaki,hogypigazmdonjelliazt,amit
~phamismdonjell.
Vajonahamiskijelentseksegtsgvelnemrtethetjkmegppgymagunkat,
minteddigazigazaksegtsgveltettk,amennyibenperszetudjukazt,hogy
hamisakkntrtendk?Nem!Akijelentscsakakkorigaz,haadologgyll,
ahogymiaztltalalltjuk;shapnmi~ptgondolunk,shaadologgy
ll,ahogymigondoljuk,gypezenjfelfogsbanigaz,snemhamis.
Azazonbanfontos,hogyapsa~pjelekkpesekugyanaztkifejezni.Mert
ezmutatja,hogya~jelnekavalsgbansemmisemfelelmeg.
Az,hogyegykijelentsbentagadsfordulel,mgnemjellemzirtelmt
(~~p=p).
Ap s~p kijelentsekellenttesrtelemmelbrnak,deegysugyanazon
valsgfelelmegnekik.
Egyillusztrciazigazsgfogalommagyarzathoz:Feketefoltafehrpapron.
A folt alakjt lerhatjuk olykpp, hogy a fellet minden egyes pontjra
vonatkozlagmegadjuk,fehrevagyfekete.Annakatnynek,hogyvalamely
pontfekete,egypozitv,annak,hogyfehr(nemfekete)egynegatvtnyfelel
meg.Hanrmutatokafelletegypontjra(egyigazsgrtkreaFregefle
terminolgiban),akkorezamegtlsrebocstottfeltevsnekfelelmegs
gytovbb.
De ahhoz, hogy megmondhassam, fehre vagy fekete egy adott pont, mr
elzlegtudnomkell,mikorneveznekegypontotfeketneksmikorfehrnek.
Ahhoz, hogy azt mondhassam: p igaz (vagy hamis), elzleg meg kell
hatroznom, milyen felttelek kzt nevezem pt igaznak, s ezltal mr
meghatrozomakijelentsrtelmt.
Ahasonlatazonbanakvetkezpontbansntt:
Miatregypontjrarmutathatunkanlkl,hogytudnk,miafehr,smia
fekete. Egy rtelemnlkli kijelentsnek azonban egyltaln nem felel meg
semmi, mert a kijelents nem jell semmi olyan dolgot (igazsgrtket),
amelynek tulajdonsgait igaznak vagyhamisnak neveznnk. Akijelents

4.064
4.0641

4.1
4.11
4.111

4.112

4.1121

4.1122
4.113
4.114
4.115
4.116
4.12

4.121

igjenemazigazaz,hogy...vagyahamisaz,hogy...aminteztFregehitte
,hanemazt,amiigaz",mrtartalmazniakellazignek.
Mindenkijelentsnek mr rtelemmelkellbrnia;azlltsnemklcsnzhet
rtelmetneki,minthogyppenazrtelmtlltja.Ugyanezllatagadsrastb.
Aztlehetnemondani:atagadsmrvonatkozsbanllazzalalogikaihellyel,
amelyetatagadottkijelentsmeghatroz.
Atagadkijelentsmslogikaihelyethatrozmeg,mintatagadottkijelents.
Atagadkijelentsatagadottkijelentslogikaihelyneksegtsgvelhatroz
megegylogikaihelyet,mivelhogyeztazelbbinkvllevnekrjale.
Azatny,hogyatagadottkijelentstovbbtagadhat,mrmutatja,hogyaz,
amit tagadunk, mr kijelents, s nem csupn elksztse valamely kije
lentsnek.
Akijelentsakrlmnyekfennllstvagyfennnemllstbrzolja.
Azigazkijelentseksszessgeazegsztermszettudomny(vagyatermszet
tudomnyoksszessge).
Afilozfianemtartozikatermszettudomnyokkz.
(Esznak:filozfia,valamiolyatkelljelentenie,amiatermszettudomnyok
felettvagyalatt,denemmellettkll.)
Afilozfiacljaagondolatoklogikaitisztzsa.
Afilozfianemtants,hanemtevkenysg.
Egyfilozfiaimlnyegbenmagyarzatokblll.
Afilozfiaeredmnyenemfilozfiaikijelentsekbennyerkifejezst,hanem
kijelentsekvilgossttelben.
A filozfinak meg kell vilgtania s lesen krl kell hatrolnia a
gondolatokat,amelyekegybknt,gyszlvn,homlyosakselmosdottak.
Apszicholgianincskzelebbirokonsgbanafilozfival,mintbrmelymsik
termszettudomny.
Azismeretelmletapszicholgiafilozfija.
Vajon nem felele meg a szimbolika ltalam vgzett vizsglata a gondolat
folyamatokamavizsglatnak,amelyetafilozfusokolyfontosnaktartottaka
logika filozfija szmra? Csakhogy k tbbnyire lnyegtelen pszicholgiai
vizsgldsokbabonyoldtakbele,shasonlveszlyfennllaznmdszerem
esetbenis.
Adarwinielmletneknincstbbkzeafilozfihoz,mintatermszettudomny
brmelymsikhipotzisnek.
Afilozfiaatermszettudomnyvitathatterletthatroljael.
Krlkellhatrolniaagondolhattsezltalanemgondolhattis.
Anemgondolhattbellrlkellelhatrolnia,agondolhatnkeresztl.
Afilozfiajeleznifogjaakimondhatatlantazltal,hogyvilgosanbrzoljaa
megmondhatt.
Mindazt, amit egyltaln gondolni lehet, vilgosan lehet gondolni. Mindazt,
amitkilehetfejezni,vilgosanlehetkifejezni.
Akijelentsbrzolhatjaazegszvalsgot,denembrzolhatjaazt,aminek
kzsnekkelllenniebenneavalsggal,hogyannakbrzolsalehessena
logikaiformt.
Ahhoz,hogyalogikai formt brzolhassuk, kpesnek kellenelennnkarra,
hogymagunkatakijelentsselegyttalogiknkvlre,azazavilgonkvlre
helyezzk.
Akijelentsnembrzolhatjaalogikaiformt,eformatkrzdikbenne.
Amitkrzdikanyelvben,aztanyelvnembrzolhatja.
Amimagafejezdikkianyelvben,aztminemfejezhetjkkianyelvltal.
Akijelentsmutatjaavalsglogikaiformjt.Megnyilvntjaazt.

4.1211

4.1212
4.1213
4.122

4.1221
4.123

4.124

4.1241

4.125
4.1251
4.1252

gyvalamelyfakijelentsmutatjaazt,hogyrtelmbenszerepelazatrgy,az
fasgakijelentsekazt,hogymindkettejkbenegysugyanazontrgyrl
vansz.
Ha kt kijelents ellentmond egymsnak, akkor ezt struktrjuk mutatja;
ugyangy,haazegyikkvetkezikamsikbl.sgytovbb.
Amitmutatnilehet,aztnemlehetmondani.
Most megrtjk azt is, mirt rezzk magunkat helyes logikai felfogs
birtokosainak,mihelytszimboliknkbanmindenrendbenvan.
Bizonyos rtelemben beszlhetnk a trgyak s a krlmnyek formlis
tulajdonsgairl,illetveatnyekstruktrjnaktulajdonsgairl,sugyanebben
azrtelembenbeszlhetnkformlisviszonyokrlsastruktrkviszonyairl.
(Astruktratulajdonsgahelyettbelstulajdonsgrlisbeszlek;astruktrk
viszonyahelyettpedigbelsviszonyrl.
Azrtvezetembeekifejezseket,hogymegmutassamabelsviszonyoksa
tulajdonkppeni, azaz kls viszonyok filozfusok kzt igen elterjedt
sszetvesztsnekalapjt.)
Azilyenbelstulajdonsgoksviszonyokfennllstazonbannemllthatjk
kijelentsek,hanemezmegmutatkozikazokbanakijelentsekben,amelyeka
szbanforgkrlmnyeketbrzoljksaszbanforgtrgyakrlszlnak.
Valamelytnybelstulajdonsgtatnyvonsnakisnevezhetjk.(Abbanaz
rtelemben,ahogypldularcvonsokrlbeszlnk.)
Atulajdonsgbelsakkor,haelgondolhatatlan,hogyatrgynerendelkezzk
vele.
(Ezakksznsegymsikeoipsoavilgosabbssttebbbelsviszonyban
llnak. Nem lehet elgondolni, hogy ez a kt trgy ne llna ebben a bels
viszonybanegymssal.)
(Itt a tulajdonsg s viszony sz ingadoz hasznlatnak a trgy sz
ingadozhasznlatafelelmeg.)
Egylehetsgestnyllsbelstulajdonsgnakfennllstnemkijelentsfejezi
ki, hanem az maga fejezi ki magt a tnyllst brzol kijelentsben, e
kijelentsvalamelybelstulajdonsgnkeresztl.
ppolyrtelmetlenvolnaegykijelentsnekvalamilyenformlistulajdonsgot
tulajdontani,mintmegtagadniezttle.
Aformkatnemlehetazltalmegklnbztetni egymstl,hogykijelentjk
azegyiknekez,a msiknakpedigazatulajdonsga; ugyanisezfelttelezn,
hogyrtelmelehetneannak,hamindkttulajdonsgotmindktformrllltjuk.
Adolgoklehetsgestnyllsaikztibelsviszonyfennllsanyelvilegazillet
tnyllstbrzolkijelentsekkztibelsviszonybanjutkifejezsre.
Argvitatottkrds: vajonbelseavagy kls mindenviszony,most itt
vlasztnyer.
Azolyansorokat,amelyekbelsviszonyokrvn rendezettek,formasoroknak
nevezem.
Aszmsornemkls,hanembelsviszonyszerintrendezett.
ppgyakvetkezkijelentseksora:aRb
( x):aRx.xRb,
( x,y):aRx.xRy.yRbstb.

4.126

(Habeviszonyokegyikbenllaval,akkorbtautdjnaknevezem.)
Abbanazrtelemben, amelyben aformlis tulajdonsgokrl beszlnk, most
formlisfogalmakrlisbeszlhetnk.
(Azrtvezetembeeztakifejezst,hogymegvilgtsamaformlisfogalmaksa
tulajdonkppenifogalmaksszetvesztsnekalapjt,amiazegszrgilogikt
thatja.)

4.127
4.1271

4.1272

4.12721

4.1273

Hogy valami egy formlis fogalom al tartozik, annak trgyaknt, ezt nem
fejezhetikikijelents,hanemezmagnakatrgynakajelbenmutatkozikmeg.
(Anvmutatja,hogytrgyatjell,aszmjel,hogyszmotjellstb.)
Hiszen a formlis fogalmakat, a tulajdonkppeni fogalmaktl eltren, nem
brzolhatjafggvny.
Ugyanisismertetjegyeiket,aformlistulajdonsgokatnemfggvnyekfejezik
ki.
Aformlistulajdonsgmintbizonyosszimblumvonsajutkifejezsre.
Aformlisfogalomismertetjegyeinekjeletehtmindazoknakaszimblumok
nakjellegzetesvonsa,amelyeknekjelentseefogalomaltartozik.
Tehtaformlisfogalomolyankijelentsvltozbannyerkifejezst,amelyben
csakezajellegzetesvonskonstans.
Akijelentsvltozjelliaformlisfogalmat,rtkeipedigazokatatrgyakat,
amelyekefogalomaltartoznak.
Mindenvltozvalamelyformlisfogalomjele.
Ugyanis minden egyes vltoz azt a konstans formt jelenti meg, amellyel
valamennyi rtke rendelkezik, s amelyik ezen rtkek formlis tulajdons
gakntfoghatfel.
gyazxvltoznvatrgyltszatfogalmnaktulajdonkppenijele.
Aholcsakatrgy(dolog,objektumstb.)szthelyesenhasznljk,otta
logikaiszimbolikbaneztavltoznvvelfejezzkki.
Pldulavanolyankttrgy,hogy...kijelentsbeneztaz( x, y)...fogja
kifejezni.
Ahol csak mskppen, azaz tulajdonkppeni fogalomszknt hasznljk, ott
rtelmetlenltszatkijelentsekjnnekltre.
gynemlehetpldulugyangymondaniazt: Vannaktrgyak,mintahogy
mondjukazt:Vannakknyvek.ppilykevssbeszlhetnkarrl,hogy100
trgyvanvagyarrl,hogy 0trgyvan.
sltalbanrtelmetlenarrlbeszlni,hnytrgyvansszesen.
Ugyanezvonatkozikakomplexus",tny,fggvny,szmstb.szavakra.
Mindezekformlis fogalmakat jellnek,s alogikaiszimbolikbanvltozk,
nempedigfggvnyekvagyosztlyokjelentikmegket.(AhogyeztFreges
Russellhitte.)
Azolyankifejezsek, mint:Az 1egyszm Csakegynullaltezik s a
hozzjukhasonlkmindrtelmetlenek.
(Azt mondani: Csak egy 1 ltezik ppen olyan rtelmetlen, mintha azt
mondannk:2+2hromrakoregyenl4gyel.)
Haadvavanegyaljatartoztrgy,mradvavanaformlisfogalomis.Teht
nem lehetalapfogalmakkntbevezetni valamelyformlis fogalomtrgyaits
magt aformlis fogalmat is.Teht nem lehet,pldnak okrt, afggvny
fogalmtsegyesspecilisfggvnyeketisbevezetnialapfogalmakknt(amint
eztRussellteszi);vagyaszmfogalmtsmeghatrozottszmokat.
Ha mi a b az a utda ltalnos kijelentst logikai szimbolikban akarjuk
kifejezni, gy ehhez szksgnk van az aRb, ( x):aRx.xRb, ( x, y):
aRx.xRy.yRb,...formasor ltalnos tagjnak kifejezsre. Valamely formasor
ltalnostagjacsakvltozsegtsgvelfejezhetki,mivelaformasortagjnak
fogalmaformlisfogalom.
(EztnemvetteszreFregesRussell,ezrt tves az,ahogyankafentihez
hasonlltalnoskijelentseketkiakarjkfejezni;eljrsukcirculusvitiosust
tartalmaz.)
Aformasorltalnostagjtgyhatrozhatjukmeg,hogymegadjukazelstagot
s annak a mveletnek az ltalnos formjt, amelyik a kvetkez tagot a
megelzkijelentsblellltja.

4.1274

4.128

4.2
4.21
4.211
4.22
4.221

4.2211

4.23
4.24

4.241

4.242
4.243

4.25
4.26

A formlis fogalom ltre vonatkoz krds rtelmetlen. Mert nincs olyan

kijelents,amelyazilyenkrdsrevlasztadhatna.
(Teht nem lehet pldul azt krdezni: Ltezneke olyan szubjektum
prediktumtpuskijelentsek,amelyeknemelemezhetek?")
Alogikaiformkszmnlkliek(Zahllos).
Ezrtnincsenekkitntetettszmokalogikban,snincssefilozfiaimonizmus,
sedualizmusstb.
A kijelents rtelme a krlmnyek fennllsnak s fenn nem llsnak
lehetsgeivelvalmegegyezsben,illetvemegnemegyezsbenll.
A legegyszerbb kijelents, az elemi kijelents, egy krlmny fennllst
lltja.
Azelemikijelentsegyikjeleaz,hogyegyetlenelemikijelentssemmondhat
ellenneki.
Azelemikijelentsnevekblll;neveksszefggse,lncolata.
Nyilvnval, hogy a kijelentsek elemzse sorn elemi kijelentsekhez kell
jutnunk,amelyekkzvetlenkapcsolatbanlevnevekblllanak.
Ittmerlfel,hogyanjnltreakijelentskapcsolat.
Mg akkor is, ha a vilg vgtelenl bonyolult, gyhogy minden egyes tny
vgtelen sok krlmnybl ll, az egyes krlmnyek pedig vgtelen sok
trgybl vannak sszetve mg akkor is kell lennik trgyaknak s
krlmnyeknek.
Anvakijelentsbencsakazelemikijelentskontextusbanfordulel.
Anevekazegyszerszimblumok;negyesbetkkel(x,y,z)jelzem
ket.
Az elemi kijelentst anevek fggvnyben rom fel, akvetkez formban:
fx, (x,y)stb.
Vagypedigp,q,rbetkkeljelzem.
Haegysugyanazonjelentsselhasznlokktjelet,akkoreztazzalfejezemki,
hogykzjkaz=jeletteszem.
a=btehtaztjelenti:azajelbjellelhelyettesthet.
Ha egy j jelet, bt egyenlet segtsgvel vezetek be azltal, hogy
meghatrozom:egymrismertajeletkellhelyettestenie,akkorazegyenletet
ameghatrozst(Russellhezhasonlan)akvetkezformbanrom:a=
bDef.Ameghatrozsszimbolikaiszably.
Tehtaza=bformjkifejezsekcsupnazbrzolssegdeszkzei.Ezek
semmitsemmondanakazasbjeljelentsrl.
Lehetsgese,hogyrtnkktnevet,anlkl,hogytudnnkvajonugyanazta
dolgot jellike,avagy kt klnbz dolgot? Lehetsgese, hogymegrtnk
egykijelentst,amelybenktnvfordulel,anlkl,hogytudnnk vajona
nevekugyanaztjelentikevagyklnbzket?
Hapldulismeremegyangolsegyveleazonosjelentsnmetszjelentst,
akkorlehetetlen,hogynetudnm:ezekazonosjelentsek;lehetetlen,hogyne
tudnmketklcsnsenlefordtani.
Azolyankijelentsek,mintaz a=a vagyaz ebbllevezetettek,nemelemi
kijelentsek, sem pedig rtelemmel br jelek. (Ez a ksbbiekbl fog kide
rlni.)
Haazelemikijelentsigaz,akkorakrlmny fennll;haazelemikijelents
hamis,gyakrlmnynemllfenn.
Azsszesigazelemikijelentsmegadsateljesenlerjaavilgot.Teljesenlerja
avilgot,ha megadjukazsszeselemikijelentst,sezenfell megadjukazt,
melyekkzlkazigazak,smelyekahamisak.

4.27

Ami n szm krlmny fennllst, illetve fenn nem llst illeti, ennek
n

K n=

v=0

4.28
4.3
4.31

n lehetsgevan.
v

Akrlmnyeksszeskombincijafennllhat,mspedignemllhatfenn.
E kombinciknak n elemi kijelents igazsgnak illetve hamissgnak
ugyanannyilehetsgesesetefelelmeg.
Azelemikijelentsekigazsglehetsgeiakrlmnyekfennllsnak,illetve
fennnemllsnaklehetsgeitjelentik.
Az igazsglehetsgeket a kvetkez tpus sma segtsgvel brzolhatjuk
(Ijelentiazigazat,Hahamisat.AzelemikijelentseksoraalattiIt
s Ht tartalmaz sorok knnyen rthet szimbolika segtsgvel e
kijelentsekigazsglehetsgeitjelentik):
p
I
H
I
I
H
H
I
H

4.4
4.41
4.411

4.42

q
I
1
H
1
H
I
H
H

r
I
I
1
H
I
H
H
H

p
I
H
I
H

q
I
I
H
H

d
I
H

A kijelents az elemi kijelentsek igazsglehetsgeivel vl megegyezs,

illetvemegnemegyezskifejezse.
Az elemi kijelentsek igazsglehetsgei a kijelentsek igazsgnak s
hamissgnakfelttelei.
Elevevalsznnekltszik,hogyazelemikijelentsekbevezetsemindenegyb
kijelentsfajta megrtsnek szempontjbl alapvet. St az ltalnos
kijelentsekmegrtserezhetenfggazelemikijelentsekmegrtstl.
Ami valamely kijelentsnek n elemi kijelents igazsglehetsgeivel val
Kn

megegyezst, illetve meg nem egyezst illeti, ennek

=0

4.43

4.431

4.44
4.441

Kn
=L n

lehetsgellfenn.
Azigazsglehetsgekkelvalmegegyezstgyfejezhetjkki,hogyasmban
ezekhez az I (igaz) jelzst rendeljk hozz. E jelzs hinya a meg nem
egyezstjelenti.
Azelemikijelentsekigazsglehetsgeivelvalmegegyezs,illetvemegnem
egyezskifejezseakijelentsigazsgfeltteleitfejeziki.
Akijelentssajtigazsgfeltteleinekkifejezse.
(Fregetehtteljesenhelyesentette,hogyelrebocstottaazigazsgfeltteleket
logikai szimbolikja jeleinek magyarzataknt. Csakhogy az igazsgfogalom
ltalaadottmagyarzatahamis:haazigazsahamisvalbantrgyaksa
~p stb.kifejezsekargumentumailennnek,akkorazameghatrozs,amelyet
Fregeadott,egyltalnnemhatroznmeg~prtelmt.)
AzIjelzsneksazigazsglehetsgeknekegymshozrendelsblszrmaz
jelakijelentsjel.
Vilgos, hogy az I s H jelek komplexusnak semmifle trgy (vagy
trgyak komplexusa) sem felel meg; ppen gy, ahogy a vzszintes s
fgglegesvonalaknakvagyazrjelekneksem.Nincseneklogikaitrgyak.
Termszetesenugyanezllmindazonjelekre,amelyekugyanaztfejezikki,mint
azIksHksmi.

4.442

4.45

4.46

4.461

4.4611
4.462

4.463

Pldnakokrtakvetkezsma:
p Q
I
I
I
H
I
I
I
H
H
H
I
egykijelentsjel.
(AFregefletletjel[Urteilstrich]:|logikailagmindenjelentstnlklz.
Fregenl (s Russellnl) ez csak azt jelzi, hogy a szerzk az gy jellt
kijelentseketigaznaktartjk.Ezrta|ppolykevsstartozikakijelents
szerkezethez,mintpldulakijelentsszmozsa.Lehetetlen,hogyegykije
lentsmagallthassamagrlazt,hogyigaz.)
Habizonyoskombincisszablyrvnegyszersmindenkorrargztettkaz
igazsglehetsgeksorrendjtasmban,akkorazutolsoszlopmregymaga
kifejezi az igazsgfeltteleket. Ha ezt az oszlopot sorknt rjuk le, akkor a
kijelentsjelakvetkezlesz:
(III)(p,q)vagyvilgosabban(IIHI)(p,q).
(Abaloldalizrjelbenlevhelyekszmtajobboldalizrjelbenlevtagok
szmahatrozzameg.)
nelemikijelentsesetbenalehetsgesigazsgfelttelcsoportokszmaLn.
Egy bizonyos szm elemi kijelents igazsglehetsgeinek megfelel
igazsgfelttelcsoportokatsorbalehetrendezni.
Azigazsgfeltteleklehetsgescsoportjaikztktszlssgesesetvan.
Azegyikesetbenakijelentsazelemikijelentsekvalamennyiigazsglehet
sgeesetbenigaz.Ilyenkoraztmondjuk,hogyazigazsgfelttelek tautologi
kusak.mondjuk,ahogylevannyomtatvaapaprranemkpeavalsgnak,
amelyrlszl.melspillantsraakottasemltszikazenekpnek,sempedig
hangjel(bet)rsunkahangnyelvkpnek.
Mgis,eszimbolikkrlkiderl,hogykznsgesrtelembeniskpeiannak,
amitbrzolnak.
A msik esetben a kijelents az sszes igazsglehetsg esetben hamis: az
igazsgfelttelekellentmondsosak.
Azelsesetbenakijelentsttautolginak,amsodikesetbenellentmondsnak
nevezzk.
Akijelentsmutatjaazt,amitmond;atautolgiasellentmondsmutatjaazt,
hogynemmondsemmit.
Atautolginaknincsenekigazsgfelttelei, minthogyfelttel nlkligaz; az
ellentmondspedigsemmiflefelttelmellettsemigaz.
Atautolgiasazellentmondsrtelemnlkli.
(Mintapont,amelyblktellenttesirnynylindulki.)
(Pldul:semmitsemtudokazidjrsrl,haannyittudok,hogyvagyesikaz
es,vagynemesik.)
De a tautolgia s az ellentmonds nem rtelmetlenek; a szimbolikhoz
tartoznak,mintahogya0isbeletartozikazaritmetikaszimbolikjba.
Atautolgiasazellentmondsnemkpeiavalsgnak.Semmiflelehetsges
tnyllst sem brzolnak. Ugyanis az egyik minden lehetsges tnyllst
megenged,amsikegyetsem.
Atautolgibanavilgnakvalmegfelelsfeltteleiazbrzolsiviszonyok
klcsnsenmegszntetikegymst,gyhogyatautolgianemllsemmifle
brzolsiviszonybanavalsggal.
Azigazsgfelttelekmeghatrozzkaztamozgsteret,amelyetakijelentshagy
atnyekszmra.

4.464

4.465

4.466

4.4661

4.5

4.51

4.52

4.53
5
5.01
5.02

(A kijelents, a kp,a modell negatv rtelemben olyan, mint a szilrdtest,

amelyegymsiktestmozgsszabadsgtkorltozza;pozitvrtelembenviszont
olyan,mintaszilrdszubsztancialtalelhatrolttr,amelybentesthelyezkedik
el.)
Atautolgiameghagyjaavalsgnakazegszvgtelenlogikaiteret;az
ellentmondsazegszlogikaiteretbetlti,segypontotsemhagyavalsg
szmra.Ezrtegyikksemhatrozhatjamegvalamiflekppenavalsgot.
A tautolgia igazsga bizonyos, a kijelents lehetsges, az ellentmonds
lehetetlen.
(Bizonyos,lehetsges,lehetetlen:Ittjelentkeznekazokafokozatok,amelyekrea
valsznsgelmletbenvanszksgnk.)
Egy tautolgia s egy kijelents logikai szorzata ugyanazt mondja, amit a
kijelents.Tehteszorzatazonosakijelentssel.Mertaszimblumlnyegt
nemlehetmegvltoztatnirtelmnekmegvltoztatsanlkl.
Ajelekmeghatrozottlogikaikapcsolatnakjelentseikmeghatrozottlogikai
kapcsolatafelelmeg; brmelytetszleges kapcsolat csakakapcsolatbannem
levjeleknekfelelmeg.
Vagyis az olyan kijelentsek, amelyek igazak, brmi legyen is a tnylls,
egyltalnnemlehetnekjelkapcsolatok,merthaazokvolnnak,akkorcsaka
trgyakbizonyoskapcsolataifelelhetnnekmegnekik.
(snincsolyanlogikaikapcsolat,amelynekatrgyaksemmiflekapcsolatase
felelnemeg.)
A tautolgia s az ellentmonds a jelkapcsolatok hatresetei; tudniillik ezek
felbomlsai.
Termszetesen mg a tautolgiban s az ellentmondsban is kapcsolatban
vannakajelekegymssal,azazviszonyokllnakfennkzttk,eviszonyok
azonbanjelentsnlkliek,aszimblumszempontjbllnyegtelenek.
Mostlehetsgesnekltszikalegltalnosabbkijelentsformamegadsa:vagyis
brmelyszimbolikusnyelvsszeskijelentsneklersa,mgpediggy,hogy
mindenlehetsges rtelemolyanszimblumltallegyenkifejezhet,amelyre
rillik a lers, s minden egyes szimblum. amelyre a lers rillik,
kifejezhessen valamely rtelmet, ha a nevek jelentst megfelel mdon
vlasztjkmeg.
Nyilvnval,hogyalegltalnosabbkijelentsformalersnakcsakaztszabad
lernia, ami annak lnyeghez tartozik hiszen mskpp nem lenne a
legltalnosabb.
Azt, hogy ltezik ltalnos kijelentsforma, bizonytja az a tny, hogy nem
lehetsgesolyankijelents,amelynekformjtnelehetettvolnaelreltni(azaz
megszerkeszteni).Akijelentsltalnosformjaakvetkez:Ezmegezazeset
llfenn.
Ttelezzkfel,hogyadvavolnaaz sszes elemikijelents.Akkoregyszeren
megkrdezhetnnk:milyenkijelentsekettudokbellkfelpteni?sezleszaz
sszeskijelents,sgylesznekelhatrolvaegymstl.
A kijelentsek nem msok, mint mindaz, ami valamennyi elemi kijelents
sszessgbl kvetkezik (termszetesen abbl is, hogy ez valamennyik
sszessge). (gy bizonyos rtelemben azt mondhatni, hogy valamennyi
kijelentsazelemikijelentsekltalnostsa.)
Azltalnoskijelentsformaegyvltoz.
Mindenkijelentsazelemikijelentsekigazsgfggvnye.
(Azelemikijelentsnmagnakigazsgfggvnye.)
Azelemikijelentsekakijelentsekigazsgargumentumai.
Knnyenmegtrtnik,hogyazembersszetvesztiafggvnyekargumentu
maitanevekindexeivel.

5.1
5.101

5.11

5.12
5.121
5.122
5.123

5.124

Ugyanisazargumentumot,illetveindexettartalmazjeljelentstegyarntaz
argumentumrl,illetveazindexrlismerifel.
PldnakokrtaRussellfle+cbenacindex,amelyaztmutatja,hogyaz
egszjel akardinlisszmokkztisszeads jele.Deezajellsnknyes
megegyezsenalapul,sa+chelyettegyegyszerjeletisvlaszthatnnk;a
~pbenazonbanapnemindex,hanemargumentum:a~prtelmt nem
lehetmegrtenianlkl,hogyaprtelmtelzlegmegnertettkvolna.(A
Julius Caesar nvben a Julius index. Az index mindig rsze azon trgy
lersnak, amelynek nevhez hozzfzdik. Pldul: A Caesar a Juliusok
nemzetsgbl.)
AkijelentseksfggvnyekjelentsnekFregeltaladottelmlete,hanem
tvedek, azargumentum s az index sszetvesztsn alapul.Fregealogika
kijelentseitnevekkntfogtafel,ekijelentsekargumentumaitpedigenevek
indexeiknt.
Azigazsgfggvnyeketsorokbalehetrendezni.
Ezazalapjaavalsznsgelmletnek.
Adott szm elemi kijelents igazsgfggvnyeit a kvetkez tpus smba
lehetlerni:
(IIII)(p,q)
(HIII)(p,q)

Tautolgia(Hap,akkorp;shaq,akkorq.)(pp.qq)
szavakban:Nemegyttpsq.(~(p.q))

(IHII)(p,q)

"

Haq,akkorp.(qp)

(IIHI)(p,q)

"

Hap,akkorq.(pq)

(IIIH)(p,q)
(HHII)(p,q)
(HIHI)(p,q)

"
"
"

pvagyq.(p9)
nemq.(~q)
nemp.(~p)

(HIIH)(p,q) "
pvagyq,denemmindkett.(p.~q: :q.~
p)
(IHHI)(p,q) "
hap,akkorq;shaq,akkorp.(p=q)
(IHIH)(p,q) "
p
(IIHH)(p,q) "
q
(HHHI)(p,q) "
semp,semq.(~p.~q)vagy(p|q)
(HHIH)(p,q) "
psnemq.(p.~q)
(HIHH)(p,q) szavakban:
qsnemp.(q.~p)
(IHHH)(p,q) "
qsp.(q.p)
(HHHH)(p,q) Ellentmonds (psnemp;sqsnemq.)(p.~p.q.~q)
Akijelents igazsgalapjainak fogom nevezni igazsgargumentumainak azon
igazsglehetsgeit,amelyekigazoljkakijelentst.
Ha bizonyos szm kijelents kzs igazsgalapjai valamennyien egy adott
kijelents igazsgalapjait is alkotjk, akkor azt mondjuk, hogy e kijelents
igazsgakvetkezikazelbbikijelentsekigazsgbl.
Klnskppen akkor kvetkezik p kijelents egy msik kijelents, q
igazsgbl,haazutbbisszesigazsgalapjaazelbbinekisigazsgalapja.
Az egyik (q) igazsgalapjait tartalmazzk a msik (p) igazsgalapjai: p
kvetkezikqbl.
Hapkvetkezikqbl,akkorqrtelmetartalmazzaprtelmt.
Haegyistenmegteremt egyvilgot,amelybenigazak bizonyos kijelentsek,
akkorezzelegybenolyanvilgotisteremt,amelybenigazvalamennyiezekbl
kvetkezkijelents.shasonlkpp:nemteremthetneolyanvilgot,amelyben
p kijelents igaz lenne anlkl, hogy ennek valamennyi trgyt meg ne
teremten.
Akijelentslltjamindazonkijelentseket,amelyekbellekvetkeznek.

5.1241

5.13
5.13I

5.1311

5.132

5.133
5.134
5.135
5.136
5.1361
5.1362

5.1363

5.14
5.141
5.142
5.l43

5.15

p.q egyike azoknak a kijelentseknek, amelyek pt, lltjk, s egyttal

egyikeazoknak,amelyekqtlltjk.
Ktttelellenttesegymssal,hanincsolyanrtelemmelbrkijelents,amely
mindkettjketlltan.
Brmelykijelents,amelyellentmondegymsiknak,tagadjaazt.
Az,hogyegykijelents igazsga kvetkezikms kijelentsek igazsgbl, a
kijelentsekstruktrjbllthat.
Haegykijelentsigazsgakvetkezikmskijelentsekigazsgbl,akkorez
kifejezsre jut azokban a viszonyokban, amelyek a kijelentsek formi kzt
fennllnak.Mgpedignincsszksgarra,hogymilltsukketelszrilyen
viszonyokba azltal, hogy egyetlen kijelentsbe kapcsoljuk ssze ket, mert
ezekaviszonyokbelsk,gyhogyfennllnak,mihelytfennllnakekijelentsek,
smrazltal,hogyfennllnak.
Amikorp qs~pblmi qrakvetkeztetnk,akkorittap qs~p
kijelentsformkviszonytajellsmdeltakarja.Dehapldulp qhelyett
p|q.|.p|qt, ~p helyett p|pt (p|q=sem p, sem q) runk, akkor e bels
kapcsolatnyilvnvalvvlik.
(Az,hogy(x).fxblfaralehetkvetkeztetni,mutatja,hogyazltalnossgmr
az(x).fxszimblumbanisjelenvan.)
Hapkvetkezikqbl,akkorqbllevonhatomapkvetkezmnyt,qbl pre
kvetkeztethetek.
Akvetkeztetsmdjacsakaktkijelentsblrthet.
Egyedlcsakezekigazolhatjkakvetkeztetst.Akvetkeztetstrvnyei,
amelyeknek mint Fregnl s Russellnl igazolniok kellene a kvet
keztetseket,rtelemnlklieksfeleslegesekisvolnnak.
Mindenkvetkeztetsaprioritrtnik.
Elemikijelentsblnemlehetmsikelemikijelentsrekvetkeztetni.
Semmiflekppen sem lehet egy meghatrozott tnylls fennllsbl egy
msik,tleteljesenklnbztnyllsfennllsrakvetkeztetni.
Nincsolyanoksgikapcsolat,amelyigazolnailyenkvetkeztetst.
Azeljvendesemnyeketnemlehetkikvetkeztetniajelenlegiekbl.
Azoksgikapcsolatbavetetthitatvhit.
Az akaratszabadsg abban ll, hogy nem tudhatunk most a jvbeli
cselekedetekrl.Csakakkortudhatnnkrluk,haazoksgalogikaikvetkezte
tsszksgszersghezhasonlanbelsszksgszersglenne.Atudssa
tudottkapcsolatanemms,mintalogikaiszksgszersgkapcsolata.
("Atudja,hogypesetefennllrtelemnlkli,haptautolgia.)
Haabblatnybl,hogyakijelentsszmunkranyilvnval,nem kvetkezik
az, hogy igaz, akkor nyilvnvalsga semmikppen sem igazolja igazsgba
vetetthitnket.
Haegykijelentskvetkezikegymsikbl,akkorazutbbitbbetmond,mint
azelbbi;azelbbikevesebbet,mintazutbbi.
Hapkvetkezikqbl,qpedigpbl,akkorekettegysugyanazonkijelents.
Atautolgiamindenkijelentsblkvetkezik:atautolgianemmondsemmit.
Az ellentmonds nem ms, mint az a kzs valami a kijelentsekben, ami
egyetlenkijelentsbensemkzsegymsikkal.Atautolgianemms,mintami
kzsmindazonkijelentsekben,amelyekkztsemmikzssincsen.
Az ellentmonds, gyszlvn, az sszes kijelentsen kvl, a tautolgia az
sszeskijelentsenbelltnikel.
Az ellentmonds a kijelentsek klshatra, atautolgiapedig szubsztancia
nlklikzppontjuk.
HaIrazrkijelentsigazsgalapjainakszma,Irspedigazskijelents
azon igazsgalapjainak szma, amelyek egyben r igazsgalapjai is, gyaz

5.151

5.1511
5.152

5.153
5.154

5.155

5.156

5.2
5.21

5.22
5.23
5.231
5.232

Irs:Ir viszonytazrkijelentsltalskijelentsnekklcsnzttvalsznsg
mrtkneknevezzk.
Vegynk egy olyan smt, mint amilyet fentebb, az 5.101 alatt kzltnk.
LegyenesmbanIrazIkszmarkijelentsben;IrspedigazonIkszmas
kijelentsben,amelyek r kijelentsIjeivelazonososzlopbanllnak.gy r
kijelentsIrs:Irvalsznsgetklcsnzskijelentsnek.
Nincsolyanklnlegestrgy,amelyavalsznsgikijelentseksajtostrgya
lenne.
Azokat akijelentseket,amelyekegyetlenkzsigazsgargumentummal sem
rendelkeznek,egymstlfggetlenekneknevezzk.
Ktelemikijelents1/2valsznsgetklcsnzegymsnak.
Ha p kvetkezik qbl,gyaq kijelents1valsznsgetklcsnzap
kijelentsnek.Alogikaizrttelbizonyossgaavalsznsgegyikhatresete.
(Alkalmazsatautolgiasazellentmondsesetre.)
A kijelents nmagban sem nem valszn, sem nem valszntlen. Egy
esemnybekvetkezik,vagynemkvetkezikbe,ittnincskzpt.
Legyenegyurnbanazonosszmfehrsfeketegoly(msflepedigegy
sem).Kihzomazegyikgolytamsikutn,sismtvisszateszemazurnba.
Akkor ksrletileg megllapthatom, hogy a kihzott fekete s fehr golyk
szmakzeledikegymshoz,haahzsokfolytatdnak.
Tehteznemmatematikaitny.
Hamostaztmondom:egyformaavalsznsgeannak,hogyfehrvagyfekete
golyt fogok kihzni, akkor ez azt jelenti: az sszes szmomra ismeretes
krlmny (a felttelesen elfogadott termszeti trvnyeket belertve) nem
klcsnztbbvalsznsgetazegyikesemnybekvetkezsnek,mintam
sik bekvetkezsnek. Ez azt jelenti, hogy amint ez a fentebbi
magyarzatokbl knnyen megrthet mindegyiknek 1/2 valsznsget
klcsnz.
Aksrletltalncsakaztigazolom,hogyaktesemnybekvetkezsenem
fggazoktlafelttelektl,amelyeketnemismerekkzelebbrl.
A valsznsgi kijelentsek egysge a kvetkez: A felttelekamelyeket
egybknt nem ismerek bvebben egy meghatrozott esemny bekvet
kezsnekavalsznsgilyensilyenfoktklcsnzik.
Avalsznsgtehtltalnosts.
Egykijelentsformaltalnoslerstfoglaljamagban.
Csakabizonyossghinybanvanszksgnkavalsznsgre.Amikornem
ismerjkteljesenatnyt,devalamittudunkformjrl.
(Lehetsgesugyan,hogyakijelentsnemteljeskpeegybizonyostnyllsnak,
demindigvalamifleteljeskp.)
Avalsznsgikijelentsgyszlvnmskijelentsekkivonata.
Akijelentsstruktrkbelsviszonybanllnakegymssal.
Ebelsviszonyokatamikifejezsmdunkbangydomborthatjukki,hogya
kijelentstegymveleteredmnyekntbrzoljuk,amelymskijelentsekbl(a
mveletbzisaibl)ellltja.
A mvelet kifejezse azon viszonynak, amely eredmnynek s bzisainak
struktrikzttllfenn.
Amvelet nem ms,mintaminekegykijelentssel trtnniekell,hogyegy
msikkijelentstcsinljunkbelle.
s ez, termszetszeren, fgga kijelentsek belstulajdonsgaitl, formjuk
belshasonlsgaitl.
Abelsviszony,amelyegysortelrendez,egyenrtkazzalamvelettel,amely
ltrehozzaazegyiktagotamsikbl.

5.233

5.234

5.2341

5.24

5.241
5.242

5.25

5.251
5.252

5.2521

5.2522

5.2523
5.253
5.254
5.3

Mveletcsakottlphetfel,ahollogikailagjelentsgteljesmdonkijelentsjn
ltreegymsikkijelentsbl.Tehtott,aholakijelentslogikaikonstrukcija
megkezddik.
Az elemi kijelentsek igazsgfggvnyei olyan mveletek eredmnyei,
amelyeknek bzist az elemi kijelentsek alkotjk. (Ezeket a mveleteket
igazsgmveletekneknevezem.)
pegyigazsgfggvnynekrtelmeprtelmnekfggvnye.
Atagads,alogikaisszeg,alogikaiszorzatstb.stb.mindmveletek.
(Atagadsmegfordtjaakijelentsrtelmt.)
A mvelet egy vltozban mutatkozik meg; a vltoz mutatja azt, hogyan
juthatunkelakijelentsekegyadottformjtlegymsikformjukhoz.
Kifejezsrejuttatjaaformkklnbsgt.
(saz,amikzsamveletbzisaiseredmnyekzt,nemms,mintmaguka
bzisok.)
Amveletnemaformt,hanemcsakisaformkklnbsgtjellemzi.
Ugyanazamvelet,amelypblqtcsinl,csinlqblrtstb.Ezcsak
azltalfejezhetki,hogyp,q,rstb.vltozk,amelyekbizonyosformlis
viszonyokatjuttatnakltalnosankifejezsre.
Egymveletelfordulsanemjellemziakijelentsrtelmt.
Hiszenmagaamveletsemmitsemllt,csakazeredmnye,ezpedigfgga
mveletbzisaitl.
(Nemszabadsszetveszteniegymssalamveletetsafggvnyt.)
Afggvnynemlehetsajtmagnakargumentuma,deegymveleteredmnye
emveletbzisvvlhat.
Csakgylehetsgestagrltagraelrehaladniegyformasorban(tpusrltpusra
elrehaladni a Russell s Whiteheadfle hierarchikban). (Russell s
Whiteheadnemismertkelennekazelrehaladsnakalehetsgt,demgis
folytonfelhasznltk.)
Egy mveletnek sajt eredmnyre val ismtelt alkalmazst szukcesszv
alkalmazsnaknevezem.
(M'M'M'anemms,mintM' nekaravalhromszorosszukcesszv
alkalmazsa.)
Hasonl rtelemben beszlek tbb mveletnek kijelentsek meghatrozott
szmravalszukcesszvalkalmazsrl.
Valamelya,M'a,M'M'a,...formasorltalnostagjttehtgyrom:[a,x,M'
x]. Ez a zrjeles kifejezs egy vltoz. A zrjeles kifejezs els tagja a
formasorkezdete,amsodikasortetszleges x tagjnakformja,aharmadik
pedigasorkzvetlenlxutnkvetkeztagjnakformja.
Amveletszukcesszvalkalmazsnakfogalmaazsgytovbbfogalmval
egyenrtk.
Egymvelethatlytalanthatjaegymsikhatst.
Amveletekmegsemmisthetikegymst.
Amveleteltnhet(pldulatagadsa~~pben;~~p=p).
Valamennyi kijelents az elemi kijelentseken vgzett igazsgmveletek
eredmnye.
Az igazsgmvelet nem ms, mint annak tja s mdja, ahogy az elemi
kijelentsekblazigazsgfggvnyltrejn.
Az igazsgmvelet lnyegnek megfelelen, ahogy az elemi kijelentsekbl
ltrejnazokigazsgfggvnye,ugyangykeletkezikazigazsgfggvnyekbl
egy j igazsgfggvny. Mindenegyes igazsgmvelet azelemi kijelentsek
igazsgfggvnyeibl megint az elemi kijelentsek egy igazsgfggvnyt
lltja el, azaz egy kijelentst. Az elemi kijelentsekkel vgzett
igazsgmveletek eredmnyeivel vgrehajtott brmely igazsgmvelet

5.31

5.32
5.4
5.41

5.42

5.43

5.44

5.441

5.442
5.45

5.451

eredmnyetehtazelemikijelentsekkelvgzettegyetlenigazsgmveletered
mnynekistekinthet.
Minden egyes kijelents az elemi kijelentsekkel vgzett igazsgmveletek
eredmnye.
A4.31alattismknakakkorisvanjelentsk,hap,q,rstb.nemelemi
kijelentsek. s knnyen belthat, hogy a 4.442 alatt tallhat kijelentsjel
akkorisazelemikijelentsekegyigazsgfggvnytfejeziki,hap sq
elemikijelentsekigazsgfggvnyei.
Mindenigazsgfggvnyazigazsgmveletekelemikijelentsekrevalvges
szmszukcesszvalkalmazsnakeredmnye.
Ittmutatkozikmeg,hogylogikaitrgyak",logikaikonstansok(aFreges
Russellflertelemben)nincsenek.
Mert: az igazsgfggvnyekkel vgzett igazsgmveletek mindazon
eredmnyei, amelyek az elemi kijelentsek egy s ugyanazon
igazsgfggvnynekfelelnekmeg,azonosakegymssal.
Nyilvnval,hogya ,stb.nemviszonyokabbanazrtelemben,mintajobb
sabalstb.
Az a krlmny, hogy Frege s Russell logikai alapjeleit keresztbe lehet
meghatrozni,mrmutatja,hogyezeknemalapjelek,smgkevsbjellnek
viszonyokat.
Azpedignyilvnval,hogyaz",amita~ssegtsgvelhatrozunk
meg,azonosazzal,amita~velegyttameghatrozsrahasznlunk,s
hogyezaazonosazelsvel.sgytovbb.
Valban,elevealighihet,hogyegyetlenptnyblvgtelensokmstnynek,
mrmint ~ ~pnek, ~ ~ ~ ~pnek stb. kell kvetkeznie. s nem kevsb
csodlatos, hogy a logika (a matematika) vgtelen szm ttele fltucat
alaptrvnyblkvetkezik.
Dealogikavalamennyikijelentseugyanaztmondja.Mrmintsemmit.
Azigazsgfggvnyeknemmaterilisfggvnyek.
Ha pldul egy llts ketts tagads segtsgvel llthat el, akkor
tartalmazzaevalamilyenrtelembenatagadst?Tagadjaea~~ p ~ pt,
avagylltjapt,vagymindakett?
A ~ ~ p kijelents nem szl a tagadsrl mint trgyrl, hanem a tagads
lehetsgemreleveelvandntveazlltsban.
Hapediglenneegyolyantrgy,amelyet ~ nekhvnak,gy~~ pnek
valami mst kellene mondania, mint pnek. Ugyanis ebben az esetben az
egyikkijelentsa~rlszlna,amsikviszontnem.
Altszlagoslogikaikonstansoknakezazeltnsekvetkezikbeakkoris,ha
~( x).~fxugyanaztmondja,amit(x).fxvagyha( x).fx.x=augyanazt,
mintfa.
Ha adva van egy kijelents, akkor vele egytt mr adva vannak mindazon
igazsgmveletekeredmnyeiis,amelyeknekbzistalkotja.
Havannaklogikaialapjelek,akkoregyhelyeslogiknakmegkellvilgtania
ezekklcsnshelyzett,sigazolniakellltket.Alogikaalapjelekblval
felptettsgnekvilgosskellvlnia.
Haalogiknakvannakalapfogalmai,akkorezeknekegymstlfggetleneknek
kell lennik. Ha bevezetnk egy alapfogalmat, akkor be kell vezetnnk
mindazonkapcsolatokban, amelyekben egyltaln elfordul.Teht nem lehet
elszr az egyik, azutn ismt egy msik kapcsolat szmra bevezetni. Ha
pldul bevezettk a tagadst, akkor mr a ~ p formj kijelentsekben
ugyangykellrtennk,mintazolyankijelentsekben,amilyena~(p q)",
( x).~fx stb.Nemvezethetjkbeelszrazesetekegyik,azutnegymsik
osztlyaszmra,mertakkorktsgesmaradna,azonoseajelentsemindakt

5.452

5.453

5.454

5.4541

5.46

5.461

5.4611
5.47

esetben; s semmi alapunk sem lenne arra, hogy mindkt esetben a

jelkapcsolatokugyanazonfajtjthasznljuk.
(Egyszval,azalapjelekbevezetsre,mutatismutandis,ugyanazll,mintamit
Frege [Grundgesetze der Arithmetik] a jelek meghatrozs rvn trtn
bevezetsrlelmondott.)
Mindig kvetkezmnyekkel jr esemnynek kell lennie annak, ha a logika
szimbolizmusbajsegdeszkztvezetnkbe.Egyetlenjsegdeszkzt(szim
blumot)semszabadzrjelbenvagyajegyzetekkztthogygymondjam,
teljesenrtatlankppelvezetnibealogikba.
(gy Russell s Whitehead Principia Mathematicjban szavakban
megfogalmazott meghatrozsoks alapelvek fordulnakel.Mitkeresnek itt
hirtelenszavak?Ezigazolstignyelne.Azigazolshinyzikshinyozniais
kell,mertvaljbanezazeljrsnemmegengedett.)
Haazonbanjsegdeszkzkbevezetseegyhelyenszksgesnekbizonyult,
akkorazonnalfelkelltenniakrdst:Holkellmostmr mindig hasznlnie
segdeszkzt?Megkellvilgtaniahelytalogikban.
Alogikbanelfordulszmoknakigazolhataknakkelllennik.
Vagyinkbb:kikellderlnieannak,hogyalogikbannincsenekszmok.
Nincsenekkitntetettszmok.
Alogikbannincsegymsmellettisg,nemlehetsgessemmifleosztlyozs.
A logikban nem lehetsges, hogy valami ltalnosabb, illetve klnsebb
legyen.
A logikai krdsek megoldsainak egyszereknek kell lennik, mivel ezek
szabjkmegazegyszersgstandardjt.
Mindigsejtettkaz emberek: lteznie kell akrdsek egyolyanterletnek,
hogyazerreadottvlaszokaprioriszimmetrikusaklegyenek,segyzrt,
szablyosalakulatbanegyesljenek.
Kell lteznie egy olyan terletnek, amelyre igaz a megllapts: simplex
sigillumveri.6
Ha a logikai jeleket helyesen vezetnnk be, akkor ezltal mr valamennyi
kombincijukrtelmtisbevezetnnk;tehtnemcsakap qt,hanemmr
a ~(p ~q)t is stb. stb. S ezltal mr a zrjelek valamennyi lehetsges
kombincijnakhatstisbevezettkvolna.sezltalvilgossvlnk,hogya
tulajdonkppeni ltalnos alapjeleket nem p q, ( x).fx stb. alkotjk,
hanemejelekkombinciinaklegltalnosabbformja.
Nagy jelentsge van annak a ltszlag lnyegtelen tnynek, hogy a logikai
ltszatviszonyok,mintasa,avaldiviszonyokkalellenttbenzrjeleket
ignyelnek.
Azrjelekhasznlataeltszlagosalapjelekmellettmrutalarra,hogyezek
nemavaldialapjelek.
Hiszenfeltehetlegsenkisemfogjaazthinni,hogyazrjeleknlljelentssel
rendelkeznek.
Alogikaimveletekjeleiinterpunkcik.
Vilgos, hogy mindannak, ami valamennyi kijelents formjrl egyltaln
elmondhat,elresegyszerreelmondhatnakiskelllennie.
Mertmrazelemikijelentstartalmazzaazsszeslogikaimveletet.Ugyanis
Faugyanaztmondja,mint( x).fx.x=a.
Aholsszettelleltallkozunk,ottfggvnysargumentumisvan,aholpedig
ezekvannak,ottmrjelenvannakalogikaikonstansokis.
Aztmondhatnnk:azegyedlilogikaikonstansaz,amikzs,termszetknek
megfelelen,valamennyikijelentsben.
Ezviszontnemms,mintazltalnoskijelentsforma.

Azegyszersgazigazsgjele.Aford.

5.471
5.4711
5.472
5.473

5.4731

5.4732
5.47321

5.4733

5.474
5.475
5.476
5.5

5.501

Azltalnoskijelentsformaakijelentslnyege.
Megadniakijelentslnyegtannyittesz,mintmegadnimindenlerslnyegt,
tehtavilglnyegt.
Alegltalnosabbkijelentsformalersaalogikaegyetlensegyedliltalnos
alapjelneklersa.
Alogiknakmagnakkellgondoskodniamagrl.
Egylehetsgesjelnekjellniiskelltudniavalamit.
Mindaz, ami alogikban lehetsges, egyben megengedett is.(ASzkratsz
azonosazrtnemjelentsemmit,mertnincsolyantulajdonsg,amelyetazo
nosnakneveznnek.Akijelentsazrtrtelmetlenmertelzlegnemvezettnk
be egy nknyes meghatrozst, de nem azrt, mintha a szban forg
szimblumnmagbanvvelennenemmegengedett.)
Alogikban,bizonyosrtelemben,nemtvedhetnk.
A nyilvnvalsg (evidencia), amelyrl Russell oly sokat beszlt, csak gy
vlhat nlklzhetv a logikban, hogy a nyelvmaga minden logikai hibt
megakadlyoz. A logika a priori volta abban ll, hogy nem lehet nem
logikailaggondolkodni.
Ajelneknemadhatunkhibsrtelmet.
Occam tteletermszetesennemnknyesvagygyakorlatisikerltaligazolt
szably:egyszerenaztmondja,hogyanemszksgesjelegysgeksemmitsem
jelentenek.
Azokajelek,amelyekegyclt szolglnak,logikailagegyenrtkek; azoka
jelek,amelyeksemmiflecltsemszolglnak,logikailagjelentsnlkliek.
Frege azt mondja: minden szablyszeren felptett kijelentsnek rtelemmel
kell rendelkeznie; n pedig azt mondom: minden lehetsges kijelents sza
blyszerenvanfelptve,shanincsrtelme,akkorezcsakazonmlhat,hogy
valamelyikalkotrsznekmisemmiflejelentstsemklcsnztnk.
(Mgakkorsem,hagyhisszk,hogymegtettkezt.)
TehtaSzkratszazonosazrtnemmondsemmit,mertsemmiflejelentst
semklcsnztnkazazonossznakmint mellknvnek.Mertamikoresz
az azonossg jeleknt szerepel, akkor teljesen ms mdon szimbolizl a
jellsi viszony ms , teht a szimblum is mindkt esetben teljesen
klnbz;csupnajelaz,amiaktszimblumbanvletlenlkzs.
Aszksgesalapmveletekszmakizrlagjelrendszernktlfgg.
Ezpusztnegybizonyosszmdimenzival bizonyosmatematikaisokasggal
rendelkezjelrendszerfelptsnekkrdse.
Vilgos,hogyittnembizonyosszmalapfogalomrlvansz,amelyeketmeg
kellenejellni,hanemegyszablykifejezsrl.
Mindenegyesigazsgfggvnya(I)( ,.....)mveletelemikijelen
tsekrevalszukcesszvalkalmazsnakeredmnye.
Ezamvelettagadjaajobboldalizrjelbenlevsszeskijelentst,sne
kijelentsektagadsnaknevezem.
Aztazrjeleskifejezst,amelynektagjaikijelentsekhaazrjelbenlev
tagoksorrendjekzmbs,( )formjjelleljelzem.A egyvltoz,
amelynekrtkeiazrjeleskifejezstagjai,afelettelevvonalpedigaztjelzi,
hogyavltozazrjelbenszereplsszesrtketkpviseli.
(Hateht nekpldul3rtkevan:P,Q,R,akkor( )=(P,Q,R).
Avltozrtkeitmegllaptjuk.
Emegllaptsazonkijelentseklersa,amelyeketavltozkpvisel.
Hogyazrjeleskifejezstagjainaklersamiknttrtnik,azlnyegtelen.
Alershromflemdjt lehet megklnbztetni:1.Akzvetlenfelsorols.
Ebbenazesetbenavltozhelybeegyszerenakonstansrtkeittehetjk.2.
Egyolyanfxfggvnymegadsa,amelynekrtkeixmindenrtkeszmraa

lerand kijelentsek lesznek. 3. Olyan formlis trvny megadsa, amely

szerintekijelentsekfelpltek.Ebbenazesetbenazrjeleskifejezstagjai
egynormasorsszestagjailesznek.
5.502

gy(I)( ,.....)helyettN( )trok.

5.503

N( ) kijelentsvltozsszesrtknekegyttestagadsa.
Mivelnyilvnvalanknnyenkifejezhet,hogyanlehetemveletsegtsgvel
kijelentseket kpezni, s hogyan nem szabad kijelentseket kpezni vele,
szksges,hogyerreszabatoskifejezstisnyerhessnk.

5.51
5.511

5.512

5.513

5.514

5.515

5.5151

5.52
5.521

Ha nekcsakegyrtkevan,gyN( )=~p(nemp),haktrtke,akkor
N( )=~p.~q(semp,semq).
Hogyanlhetazegyetemes,egszvilgotvisszatkrzlogikailyenspecilis
fogsokkal s manipulcikkal? Csak azrt, mert mindezek egy vgtelenl
finomhlba,abbaahatalmastkrbekapcsoldnakssze.
~ p'igaz,hap hamis.Tehta~ p igazkijelentsbenap egyhamis
kijelents.Hogyankpesmrmosta~vonseztavalsggalmegfelelsbe
hozni?
Deaz,amia~pbenatagadstvgzi,aznema~,hanemazavalami,ami
kzsejelrendszermindenolyanjelben,amelytagadjaapt.
Tehtazakzsszably,amelyszerint~p,~~~p,~p ~p,~p.
~pstb.stb.(adinf.)felpl.sezakzsvalamitkrzivisszaatagadst.
Azt mondhatnnk: Mindazon szimblumokban, amelyek mind pt, mind qt
lltjk,ap.q kijelentsakzs.Mindazonszimblumokban,amelyekvagy
pt,vagyqtlltjk,ap qkijelentsakzs.
shasonlkppaztmondhatjuk:Ktkijelentsakkormondellentegymsnak,
ha semmi sem kzs bennk. Tovbb: Minden kijelentsnek csak egy
negatvumavan,minthogycsakegyolyankijelentsltezik,amelyikteljesen
rajtakvlfekszik.
gy a Russellfle jellsben is megmutatkozik, hogy q:p ~ p ugyanazt
mondja,mintq,shogyp ~psemmitsemmond.
Haajelrendszerrgztvevan,akkortartalmazegyszablyt,amelyszerintaz
sszespttagadkijelentstkellkpezni,tovbbegyszablyt,amelyszerintaz
sszes pt vagy qt llt kijelentst kell kpezni stb. E szablyok a
szimblumokkalegyenrtkek,sezekrtelmetkrzdikvisszabennk.
Szimblumainkbanmegkellmutatkoznia,hogymindannak,amita ",.
stb.sszektegymssal,kijelentsnekkelllennie.
Svalbanezazesetllfenn,hiszenap sq szimblumokmrmaguk
felttelezika "t,a~=tstb.Hap qbanapjelnemsszetettjelet
helyettest,akkornem lehetrtelmeegymagban;deakkorapvelazonos
rtelmp p,p.p stb.jelekneksemlehetsemmiflertelme.Haviszont
p pneknincsrtelme,gyp qnaksemlehetsemmiflertelme.
Vajonelkerlhetetlen,hogyanegatvkijelentsjeltapozitvkijelentsjelnek
segtsgvelkpezzk?Mirtnelehetneanegatvkijelentstegynegatvtny
segtsgvel kifejeznnk? (Valahogy gy: Ha a nem ll bvel egy adott
viszonyban,akkorezkifejezhetnazt,hogyaRbesetenemllfenn.)
Dehiszenkzvetveittispozitvkijelentssegtsgvelkpezzkanegatvat.
Apozitvkijelentsnekfelkelltteleznieanegatvkijelentsltt,sfordtva.
Ha rtkei megegyeznek valamely fx fggvny x sszes rtke ltal
meghatrozottmindenrtkvel,akkorN( )=~( x).fx.
Amindenfogalmtelvlasztomazigazsgfggvnytl.
FregesRussellazltalnossgotalogikaiszorzattalvagyalogikaisszeggel
kapcsolatbanvezettebe.Ilymdonnehezenlehetettmegrtenia( x).fxsa
x.fxkijelentseket,amelyekmindakteszmtmagukbafoglaljk.

5.522
5.523
5.524

5.525

5.526

5.5261

5.5262

5.53
5.5301

5.5302

5.5303

5.531
5.532

Az ltalnossg jellsnek sajtossga elszr is az, hogy egy logikai

prototpusrautal,msodszorpedigaz,hogykonstansokatemelki.
Azltalnossgjeleargumentumkntszerepel.
Ha adva vannak a trgyak, akkor ezltal mr az sszes trgy is adva van
szmunkra.
Ha adva vannak az elemi kijelentsek, akkor ezltal mr az sszes elemi
kijelentsisadvavanszmunkra.
Helytelen a( x).fxkijelentst ahogyazt Russellteszi gyadni vissza
szavakban:fxlehetsges.
Valamely helyzet bizonyossgt, lehetsgt vagy lehetetlensgt nem
kijelentsfejeziki,hanemaz,hogytautolgia,rtelemmelbrkijelentsavagy
ellentmondseamegfelelkifejezs.
Annakaprecedensnek,amelyremindighivatkozniszeretnek,mrmagbana
szimblumbankelljelenlennie.
A vilgot hinytalanul le lehet rni teljesen ltalnostott kijelentsek
segtsgvel,azazanlkl,hogyelzetesenvalamilyennevetegymeghatrozott
trgyhozhozzrendelnnk.
Hogy azutn eljussunk a szoksos kifejezsmdhoz, egyszeren hozz kell
tennnkvalamelyegyscsakegyolyanxvan,hogy...kifejezsutn:sezaz
xnemms,minta.
A teljesen ltalnostott kijelents, az sszes tbbi kijelentshez hasonlan,
sszetett. (Ez abban ltszik, hogy ( x, ). xben kln kell
megemltennk tsxet.Ezekkettenegymstlfggetlenlllnakjellsi
viszonybanavilggal,akrcsakanemltalnostottkijelentsben.)
Az sszetett szimblum jellemzje: van benne valami, ami kzs ms
szimblumokkal.
Minden kijelentsigazsgavagyhamissgavltoztatvalamitavilgltalnos
felptsn. s az a mozgstr, amelyet az elemi kijelentsek sszessge e
felpts szmra meghagy, azonos azzal, amelyet a teljesen ltalnos
kijelentsekelhatrolnak.
(Haigazegyelemikijelents,akkorezltalmindenesetreeggyeltbbkijelents
igaz.)
Atrgyakazonossgtajelazonossgvalfejezemki,nempedigazonossgjel
segtsgvel.Atrgyakklnbzsgtajelekklnbsgvel.
Nyilvnval,hogyazazonossgnemtrgyakkztiviszony.Ezigenvilgoss
vlik,haszemgyrevesszkpldula(x):fx..x=akijelentst.Ekijelents
egyszerenaztmondja,hogykizrlagaelgtikiazffggvnyt,snemazt,
hogycsakazokadolgokelgtikkiazffggvnyt,amelyekavalmeghatrozott
viszonybanllnak.
Valakiperszemostaztmondhatn,hogykizrlagallebbenaviszonybana
val,deennekkifejezshezmrmagraazazonossgjelrelenneszksgnk.
Az=Russellflemeghatrozsanemkielgt,mertemeghatrozsszerint
nemlehetaztmondani,hogykttrgyvalamennyitulajdonsgakzs.
(Smghaekijelentssohasemhelyes,akkorisvanrtelme.)
Hozzvetlegesen mondva: Kt trgyrl azt mondani, hogy azonos
rtelmetlensg; s egytrgyrl mondani azt,hogyazonos nmagval, annyi,
mintsemmitsemmondani.
Tehtnemf(a,b).a=btrok,hanemf(a,a)t,(vagyf(b,b)t).snemf(a,
b).~a=bt,hanemf(a,b)t.
shasonlkpp:Nem( x,y).f(x,y).x=y,hanem( x)f(x,x),snem( x,
y).f(x,y).~x=y,hanem( x,y).f(x,y).
(TehtaRussellfle( x,y)f(x,y)helyett:( x,y).f(x,y). .( x).J(x,x).)

5.5321

5.533
5.534

5.535

5.5351

Teht(x)fxx=ahelyettpldulakvetkeztrjuk:( x).fx..fa:~( x,
y).fx.fy.
s a csak egy x elgti ki f( )t kijelents gy hangzik: ( x).fx: ~ ( x,
y).fx.fy.
Tehtazazonossgjelnemlnyegialkotrszealogikaiszimboliknak.
smostmrltjuk,hogyazolyanltszatkijelentsek,mint:a=a,a=b.b=
c. a=c,(x).x = x, ( x).x =a stb.,ahelyes logikaiszimbolikban
egyltalnlesemrhatk.
Ezzel egyben elintzst nyernek mindazok a problmk, amelyek az ilyen
ltszatkijelentsekhezfzdtek.
Mrittmegkellolddniokmindazoknakaproblmknak,amelyeketaRussell
fle axiom of infinity maga utn von. Az, amit a vgtelensgi axima
kifejezni szndkozik, azltal nyerne kifejezst a nyelvben, ha vgtelen sok,
eltrjelentsselbrnvlteznk.
Vannakbizonyosesetek,amikorazemberksrtsbejn,hogya=avagyp
p s ms hasonl formj kifejezseket hasznljon. Mgpedig olyankor,
amikoraprototpusrl:kijelentsrl,dologrlstb.szeretnebeszlni.gyRussell
a Principles of Mathematicsben ezt az rtelmetlensget: p egy kijelents
szimbolikusan a pp kifejezs segtsgvel adta vissza, s hipotzisknt
bizonyos kijelentsek el helyezte, hogy ezeknek argumentumhelyeit csak
kijelentsekkellehessenbetlteni.
(A p p hipotzist egykijelents elhelyezni abbl aclbl,hogyezltal
megfelel formj argumentumokat biztostsunk szmra, mr csak azrt is
rtelmetlensg, mert a hipotzis egy argumentumknt fellp nemkijelents
esetbennemhamiss,hanemrtelmetlennvlik,smertmagaakijelentsa
nemmegfelelfajtjargumentumokrvnszintnrtelmetlennvlik.Teht
magaakijelentsppolyjlvagyppolyrosszulvjamagtanemmegfele
largumentumoktl,mintazeclblhozzcsatolt,rtelemnlklihipotzis.)

5.5352

5.54
5.541

5.542

5.5421

5.5422

5.5423

HasonlkppenakartkegyesekaNincsenek dolgokata~( x).x= xltal

kifejezni.Demghaezkijelentslenneis,vajonnemlenneigazakkoris,ha
ugyanlennnekdolgok,deezeknemlennnekazonosaknmagukkal?
Az ltalnos kijelentsformban kijelents csak igazsgmveletek bzisaknt
fordulhatelkijelentsben.
Elspillantsragyltszik,minthaakijelentsmsflekppeniselfordulhatna
egymsikkijelentsben.
Kivltkppen a pszicholgia egyes kijelentsformiban: A azt hiszi,hogy p
esetellfenn,vagyAaztgondolja,hogypstb.
Mert felletesen nzve, itt gy ltszik, mintha a p kijelents valamifle
viszonybanllnaazAtrggyal.
(samodernismeretelmletbenRussell,Moorestb.gyisfogtkfelezeket
akijelentseket.)
Devilgos,hogyazAazthiszi,hogy p,Aaztgondolja,hogy p,A azt
mondja,hogypolyanformjak,mintpaztmondja,hogyp:sittnem
tny s trgy egymshoz rendelsrl van sz, hanem tnyek egymshoz
rendelsrltrgyaikegymshozrendelsnkeresztl.
Ezegybenmutatja,hogyallekaszubjektumstb.,ahogyamaifelsznes
pszicholgibanfelfogjk,kptelensg.
Mertegysszetettllekegyltalnnemlennellektbb.
AzA gytli,hogy p kijelentshelyesmagyarzatnakmegkellmutatnia,
hogyrtelmetlensgrlnemlehettletetmondani.(Russellelmletenemtesz
elegetennekafelttelnek.)
Egykomplexustszlelniannyi,mintszlelniazt,hogyalkotrszeigysgy
viszonyulnakegymshoz.

Ezalkalmasintmegmagyarzzaaztis,hogyeztazbrt:

5.55

5.551

5.552

5.5521

5.553

5.554
5.5541
5.5542

5.555

ktflemdonlehetkocknakltni;megmagyarzzatovbbazsszeshasonl
jelensget.Ugyanisvaljbanktklnbztnytltunk.
(Haelszrazacscsokranzek,scsakfutlagabcscsokra,gyaltszikaz
eltrbenllnak,sfordtva.)
Most a priori vlaszt kell adnunk az elemi kijelentsek sszes lehetsges
formjravonatkozkrdsre.
Az elemi kijelentsek nevekbl llnak. Minthogy azonban a klnbz
jelentsselrendelkeznevekszmtnemtudjukmegadni,nemtudjukmegadni
azelemikijelentseksszetteltsem.
Alapelvnk a kvetkez: Mindazon krdseknek, amelyek egyltaln
eldnthetekalogikasegtsgvel,mindentovbbinlkleldntheteknekkell
lennik.
(shaabbaahelyzetbekerlnk,hogyegyilyenproblmtavilgszemgyre
vtelvel kell megvlaszolnunk, gy ez azt mutatja, hogy alapjban hibs
nyomonjrunk.)
Atapasztalat,amelyrealogikamegrtshezszksgnkvan,nemaz,hogy
gysgyllvalami,hanemaz,hogyvalami van:ezazonban egytalnnem
tapasztalat.
Alogikamindentapasztalatotmegelz.mrmintazt,hogyvalamigyvan.
AHogyanelttvan,nemaMieltt.
Shaeznemgylenne,hogyanalkalmazhatnnkalogikt?gyismondhatnnk:
halennelogika,mghanemltezikisavilg,akkorhogyanlehetnelogika,
amikorltezikavilg.
Russell azt mondta, hogy egyszer viszonyok llnak fenn klnbz szm
dolgok(egyedek)kztt.
De milyen szmak kzt? s hogyan kell ezt eldnteni? A tapasztalat
segtsgvel?
(Nincskitntetettszm.)
Brmelyikspecilisformtadnnkmeg,ezteljesennknyeslenne.
A priori megadhatnak kell lennie annak, vajon juthatoke pldul abba a
helyzetbe,hogyegy27jegyviszonyjelvelkelljenjellnmvalamit.7
Deszabadeegyltalngykrdeznnk?Felllthatunkeegyjelformtanlkl,
hogytudnnk,megfelelhetenekivalami?
Vane rtelme a krdsnek: Minek kell lennie, hogy valaminek az esete
fennllhasson?
Vilgos,hogysajtoslogikaiformjtleltekintvevanfogalmunkazelemi
kijelentsrl.
Viszontaholegyrendszernekmegfelelenpthetekfelaszimblumok,ottez
arendszeraz,amilogikailagfontos,nempedigazegyesszimblum.

Azangolfordtsakvetkez:Hogyandnthetnmelaprioriazt,hogyjuthatokepldulabbaahelyzetbe.hogyegy27
jegyviszonyjelvelkelljenjellnmvalamit.Aford.
7

5.556
5.5561

5.5562

5.5563

5.557

5.5571
5.6
5.61

5.62

5.621
5.63
5.631

5.632
5.633

5.6331

Shogyanlennelehetsges,hogyalogikbanolyanformkkallegyendolgom,
amelyeketmagamtallhatokfel.Kellhogyvalamiolyasmivellegyendolgoma
logikban,amilehetvtesziszmomra,hogyfeltalljamaszimblumokat.
Azelemikijelentsekforminakhierarchijanemltezhetik.Csakaztlthatjuk
elre,amitmagunkkonstrulunk.
A tapasztalati valsgot a trgyak sszessge korltozza. A hatr az elemi
kijelentseksszessgbenmutatkozikmegismt.
Ahierarchikfggetlenekavalsgtl,sfggetleneknekiskelllenniktle.
Ha tisztn logikai alapokbl kiindulva tudjuk, hogy lteznik kell elemi
kijelentseknek,akkorezttudniakellmindenkinek,akielemzetlenformjukban
megrtiakijelentseket.
Kznapi nyelvnk valamennyi kijelentse tnylegesen, gy ahogy van,
logikailag teljesen rendezett Az a legegyszerbb valami, amit neknk itt
kzlnnkkell,nemhasonmsaazigazsgnak,hanemateljesigazsgmaga.
(A mi problmink nem absztraktak, hanem taln valamennyi kzt a
legkonkrtabbak.)
Alogikaalkalmazsadntarrl,milyenelemikijelentsekvannak.
Azt,amiazalkalmazsbanrejlik,alogikanemlthatjaelre.
Vilgos:alogikanemjuthatsszetkzsbeasajtalkalmazsval.
Dealogiknakrintkezniekellalkalmazsval.
Tehtalogikasalkalmazsanemfedhetiktegymst.
Ha nem lehet a priori megadnom az elemi kijelentseket, gy nyilvnval
rtelmetlensghezkellvezetnieannak,hogymegakaromadniket.
Nyelvemhatraivilgomhatraitjelentik.
Alogikabetltiavilgot;avilghatraiazhatraiis.
Tehtalogikbannemmondhatjuk:ezsezvanavilgon,azpedignincs.
Ez ugyanis ltszlag felttelezn, hogy kizrunk bizonyos lehetsgeket, s
ennekesetenemllhatfenn,mertegybkntalogiknaktlkellenejutniaa
vilg hatrain tudniillik, hogy ezeket a hatrokat a msik oldalrl is
szemllhesse.
Amit nem tudunk elgondolni, azt nem tudjuk gondolni; teht mondani sem
tudjukazt,amitnemtudunkelgondolni.
Ezamegjegyzsakulcsaazonkrdseldntsnek,milyenmrtkbenigazsg
aszolipszizmus.
Ugyanisaz,amireaszolipszizmusutal,teljesenhelyes,csakhogyeztnemlehet
mondani,hanemezmegmutatkozik.
Az,hogyavilgaznvilgom,abbanmutatkozikmeg,hogyanyelvhatrai(a
nyelv,amelyetegyedlnrtek)aznvilgomhatraitjelentik.
Avilgsazletegyek.
nvagyokaznvilgom.(Amikrokozmosz.)
Agondolkod,kpzelszubjektumilyennincs.
Haegyknyvetrnk:Avilg,ahogyntalltam,akkorebbenbekellene
szmolnom testemrl, s meg kellene mondanom, mely tagok engedelmes
kednek akaratomnak, s melyek nem stb. Ez ugyanis mdszer a szubjektum
elklntsre,vagyinkbbannakmegmutatsra,hogybizonyoslnyegesrte
lembennincsszubjektum:ugyanisegyedlrlanemlehetneszeknyvben.
Aszubjektumnemtartozikavilghoz,deavilghatra.
Holfigyelhetmegavilgbanmetafizikaiszubjektum?
Aztmondod,ugyangylladolog,mintaszemmelsalttrrel.Deaszemet
valbannemltod.
salttrbennincssemmi,amiarraengednekvetkeztetni,hogyvalamilyen
szemblltszik.

Mertalttrnemilyenalak:

5.634

5.64

5.641

Ezazzalfggssze,hogytapasztalatunkegyetlenrszesemaprioriegyben.
Mindaz,amitltunk,mskppenislehetne.
Mindaz,amitegyltalnlerhatunk,mskppenislehetne.
Adolgoknaknincsapriorirendjk.
Itt ltszik meg, hogy a szigoran vgigvitt szolipszizmus egybeesik a tiszta
realizmussal.Aszolipszizmusnjekiterjedsnlkliponttzsugorodikssze,
ahozzkoordinltvalsgpedigmegmarad.
Tehtvalbanvanolyanrtelem,amelybennempszicholgiailagbeszlhetnk
aznrlafilozfiban.
Aznazltallpbeafilozfiba,hogyavilgaznvilgom.
A filozfiai n nem az ember, nem az emberi test vagy az emberi llek,
amellyel a pszicholgia foglalkozik, hanem a metafizikai szubjektum, ami
hatra,nempedigrszeavalsgnak.

Azigazsgfggvnyltalnosformjaakvetkez:[p, .N( )].

Ezakijelentsltalnosformja.

6.001
6.002

Ez nem mond semmi mst, csupn azt, hogy minden kijelents az N'( )
mveletelemikijelentsekrevalszukcesszvalkalmazsnakeredmnye.
Haakijelentsfelptsnekltalnosformjaadott,akkorezzelmradvavan
annak ltalnos formja is, ahogy az egyik kijelentsbl valamely mvelet
segtsgvelegymsikkijelentstelllthatunk.

6.01

Tehtaz '( )mveletltalnosformjaakvetkez:

6.02

[ ,N( )]'( )(=[ , ,N( )]).

Ezazegyikkijelentsrlamsikravaltmenetlegltalnosabbformja.
sgyjutunkelaszmokhoz:Meghatrozom:
x= 0'xDef.s
' v'x= v+1'xDef.
Eszimbolikaiszablynakmegfelelenazx, 'x, ' 'x, ' ' 'x,...sortgy
rhatjuk: 0'x, 0+1'x, 0+1+1'x, 0+1+1+1'x,...
Teht[x, , ' ]helyetteztrom:

6.021
6.022

6.03
6.031

6.1

[ 0'x, v'x, v+1'x]smeghatrozom:

0+1=1Def.
0+1+1=2Def.
0+1+l+l=3Def.stb.
Aszmegymveletkitevje.
A szmfogalom semmi ms, mint az, ami kzs minden szmban, a szm
ltalnosformja.
Aszmfogalomavltozszm.
Aszmokegyenlsgnekfogalmapedigvalamennyiklnsszmegyenlsg
ltalnosformja.
Azegszszmltalnosformjaakvetkez:[0, , +1].
Azosztlyokelmleteteljesenfeleslegesamatematikban.
Ez sszefgg azzal, hogy az ltalnossg, amelyre neknk a matematikban
szksgnkvan,nemvletlenjelleg.
Alogikakijelentseitautolgik.

6.11
6.111

6.112
6.113

6.12

6.1201

6.1202
6.1203

Tehtalogikakijelentseisemmitsemmondanak.
(Ezekazanalitikuskijelentsek.)
Azokazelmletek,amelyekmegengedik,hogyalogikavalamelykijelentse
tartalmasnaktnjk,mindighamisak.Pldulvalakiazthihetn,hogyazigaz
shamisszavakkttulajdonsgotjellnekmstulajdonsgokkzt,sakkor
figyelemremlt tnynek tnne fel, hogy minden kijelents rendelkezik ezen
tulajdonsgok egyikvel. Mrpedig ez egyltaln nem ltszik magtl
rtetdnek.ppolykevssmagtlrtetd,ahogynemazpldulaMinden
rzsa vagy fehr, vagy piros kijelents, mg ha igaz lenne is. Valjban
kijelentsnkgymrteljesenolyanjellegetlt,mintegytermszettudomnyos
kijelents,sezabiztosismertetjeleannak,hogyhamisanrtelmeztk.
A logikai kijelentsek helyes magyarzatnak egyedlll helyet kell
biztostaniaszmukramindenmskijelentskztt.
A logikai kijelentsek sajtos ismertetjele, hogy igazsguk egymagbl a
szimblumblfelismerhet,sezatnyalogikaegsz filozfijt magban
rejti.sgyalegfontosabbtnyekegyikeazis,hogyanemlogikaikijelentsek
igazsgtvagyhamissgtnemlehetegymagblakijelentsblfelismerni.
Azakrlmny,hogyalogikakijelentseitautolgik,anyelv,avilgformlis
logikaitulajdonsgaitmutatja.
Az, hogy alkotrszei gy sszektve tautolgit eredmnyeznek, jellemzi
alkotrszeineklogikjt.
Ahhoz, hogy bizonyos mdon sszekapcsolt kijelentsek tautolgit
eredmnyezzenek,bizonyosstrukturlistulajdonsgokkalkellrendelkeznik.
Az, hogy gy sszektve tautolgit eredmnyeznek, mutatja teht, hogy
valbanrendelkeznekezekkelastrukturlistulajdonsgokkal.
Pldul az, hogy a p s ~ p kijelentsek a ~(p.~ p) kapcsolatban
tautolgiteredmnyeznek,mutatjaazt,hogyezekellentmondanakegymsnak.
Az,hogyap q,p sq kijelentsek(p q).(p): :(q)formba
sszektvetautolgiteredmnyeznek,mutatjaazt,hogyqkvetkezikpsp
qbl. Az, hogy (x).fx: : fa tautolgia, mutatja azt, hogy fa kvetkezik
(x).fxblstb.stb.
Vilgos, hogy ugyanerre a clra tautolgik helyett ellentmondsokat is
alkalmazhatnnk.
Hogy egy tautolgit mint olyat felismerjnk, a kvetkez, szemlletes
mdszertalkalmazhatjuk,haatautolgibanazltalnossgjelenemfordulel:
p,q,rstb.helyettIpHt,IqHt,IrHtstb.rok.Azigazsgkombi
ncikatzrjelekkelfejezemki.Pldul:

Azegszkijelentsigazsgnakvagyhamissgnl azigazsgargumentumok
igazsgkombinciihoz val hozzrendelst pedig vonalakkal jellm, a
kvetkezkppen:

Ezajelpldula p q kijelentstbrzolja.Mostennekalapjnaztakarom
pldulvizsglni,vajona~(p .~p)kijelents(azellentmondstrvnye)tau
tolgiae.Amijellsnkbena~ formtakvetkezkppenrjuk:

a . formtpediggy:

Ennlfogvaa~(p.~q)kijelentsgyfest:

6.121

6.122

6.1221

6.1222

6.1223

Ha most q helybe pt tesznk, s megvizsgljuk a legklsbb I s H

kapcsolattalegbelsbbekkel,akkorkiderl,hogyazegszkijelentsigazsga
argumentumai sszes igazsgkombinciihoz van hozzrendelve, hamissga
pedigegyikigazsgkombincihozsem.
Alogikakijelentseiakijelentseklogikaitulajdonsgaitdemonstrljkazltal,
hogy olyan kijelentsekk kapcsoljk ssze ket, amelyek nem mondanak
semmit.
E mdszert nullmdszernek is lehetne nevezni. A logikai kijelentsben a
kijelentsekegyenslybakerlnekegymssal,sekkorazegyenslyllapota
jelziazt,hogyankellekijelentseketlogikailagmegalkotni.
Ebblkvetkezik,hogymeglehetnklogikaikijelentseknlklis,mivelhaa
jellsmegfelelakijelentsekformlistulajdonsgaitakijelentsekpuszta
szemgyrevteleltalfelismerhetjk.
Ha pldul kt kijelents, p s q, a p q kapcsolatban tautolgit
eredmnyez,akkorvilgos,hogyqpblkvetkezik.
Pldulazt,hogyqkvetkezikp q.pbl,magblaktkijelentsbl
ltjuk,eztazonban gy ismegmutathatjuk,hogyp q . p: : qvkap
csoljuksszeket,smostmegmutatjuk,hogyeztautolgia.
Ez fnyt vet arra a krdsre, mirt nem lehet a logikai kijelentseket
tapasztalatilag igazolni,ppgy,ahogytapasztalatilag cfolni sem lehet ket.
Nemcsak az szksges, hogy a logika valamely kijelentst semmifle
lehetsgestapasztalatnecfolhassameg,hanemazis,hogyneisigazolhassa
semmiflelehetsgestapasztalat.
Most mr vilgoss vlik, mirt reztk gyakran gy, mintha a logikai
igazsgokatneknkkelleneposztullnunk.Valjbanolyanmrtkbenposz
tullhatjukket,amennyireegyelgsgesjelrendszertposztullhatunk.

6.1224
6.123

6.1231

6.1232

6.1233

6.124

6.125
6.1251
6.126

6.1261
6.1262
6.1263

Most az is vilgoss vlik, mirt neveztk a logikt a formrl s

kvetkeztetsrlszltantsnak.
Vilgos:magukalogikaitrvnyeknemtartozhatnaktovbbilogikaitrvnyek
al.
(Nincs minden egyes tpusnak", amint ezt Russell) felttelezte, sajt
ellentmondstrvnye, hanem egyetlentrvnyis elgsges, hiszenezt sajt
magranemalkalmazzuk.)
Nemazltalnosrvnysgazismrvealogikaikijelentseknek.
Hiszen ltalnosnak lenni csak annyit jelent: Vletlenszeren valamennyi
dolograrvnyesneklenni.Egynemltalnostottkijelentsppgylehettauto
logikus,mintegyltalnostott.
A logikai ltalnosrvnysget lnyeginek lehetne nevezni, szemben a
vletlenszerltalnosrvnysggel,amilyenpldulaMindenemberhalan
d kijelents. Az olyan ttelek, mint pl. Russell n. reduklhatsgi
aximja",nemlogikaikijelentsek,sezmagyarzzaazonrzsnket,hogyha
igazakettelek,akkoriscsakkedvezvletlenkvetkeztbenlehetnekazok.
Elkpzelhet egy olyan vilg, amelyben a reduklhatsgi axima nem
rvnyes. Az azonban vilgos, hogy a logiknak semmi kze sincs ahhoz a
krdshez,hogyvalbanilyeneamivilgunk,avagysem.
A logikai kijelentsek a vilg llvnyzatt (Gerst) rjk le, vagy jobban
mondva,aztjelentikmeg.Nemszlnaksemmirl.Felttelezik,hogyane
veknekjelentsk,azelemikijelentseknekrtelmkvan:sezakapcsolatuka
vilggal.Nyilvnvalanmutatniakellvalamitavilgrlannak,hogyaszim
blumok bizonyos kapcsolatai amelyek lnyegien meghatrozott jelleggel
brnaktautolgik.Ezittadnt.Miaztmondjuk,hogyazltalunkhasznlt
szimblumokbanvanolyasmi,aminknyes,svanolyasmi,aminemaz.A
logikbancsakezutbbifejezkivalamit.Ezazonbanaztjelenti,hogyalogi
kban nem mi fejezzk ki jelek segtsgvel azt, amit akarunk, hanem a
logikbanatermszetilegszksgszerjelektermszetemaganyilvnulmeg:
Haismerjkegyadottjelnyelvlogikaiszintaxist,akkormralogikaminden
kijelentseadvavan.
Lehetsgesmgalogikargifelfogsaszerintiselevemegadniazsszes
igazlogikaikijelentslerst.
Ezrtalogikbansohasemaddhatnakmeglepetsek.
Azt,hogyegykijelentsalogikbatartozike,kiszmthatjukazltal,hogya
szimblumlogikaitulajdonsgaitvesszkszmba.
sezttesszkmiakkor,amikoregylogikaikijelentstbizonytunk.Ugyanis
anlkl,hogyrtelmvelsjelentsveltrdnnk,alogikaikijelentstegyedl
aszimbolikaiszablyoksegtsgvellltjukelmslogikaikijelentsekbl.
Alogikaikijelentsekbizonytsaabbanll,hogyellltjukketmslogikai
kijelentsekbl, meghatrozott mveletek szukcesszv alkalmazsval, amely
mveletekazelskblismttautolgikathoznakltre.(stautolgiblcsak
tautolgikkvetkeznek.)
Termszetesen a logika szmra teljesen lnyegtelen, milyen mdszer
segtsgvelmutatjukmegkijelentseinektautolgiavoltt.Mrazrtis,mert
azoknakakijelentseknek,amelyekblabizonytskiindul,bizonytsnlkl
kellmegmutatniuktautolgiavoltukat.
Alogikbanfolyamatseredmnyegyenrtk.(Ezrtnincsmeglepets.)
Abizonytsalogikbancsakmechanikussegdeszkz,hogyatautolgita
bonyolultesetekbenknnyebbenfelismerjk.
Hiszen tlontl klns lenne, ha logikailag be lehetne bizonytani egy
rtelemmel br kijelentst, s ppen gyegylogikai kijelentst is egymsik
kijelentsbl. Eleve vilgos, hogy az rtelemmel br kijelents logikai
bizonytsnak s a logikn belli bizonytsnak kt teljesen klnbz
dolognakkelllennie.

6.1264

6.1265
6.127

6.1271

6.13
6.2
6.21
6.211

6.22
6.23

6.231

6.232

6.2321

6.2322

6.2323
6.233
6.2331
6.234

Azrtelemmelbrkijelentsvalamitllt,bizonytsapedigmutatja,hogyez
gyvan;alogikbanmindenegyeskijelentsegybizonytsformja.Alogika
mindenkijelentsejelekbenbrzoltmodusponens.(samodusponensnem
fejezhetkikijelentssegtsgvel.)
A logikt mindig felfoghatjuk olykpp, hogy minden kijelents a sajt
bizonytsalegyen.
A logika kijelentsei egyenjogak; nincsenek kztk lnyegi alapelvek s
bevezetettttelek.
Mindentautolgiamagamutatjaazt,hogytautolgia.
Vilgos,hogyalogikaialaptrvnyekszmanknyes,mertalogiktegy
alaptrvnybl is le lehetne vezetni, pldul egyszeren gy, hogy Frege
alaptteleineklogikaiszorzattkpezzk.(Fregetalnaztmondan,hogyezaz
alapelvmrnemlennekzvetlenlnyilvnval.Klnsazonban,hogyolyan
szabatos gondolkod, mint Frege, a logikai kijelents kritriumaknt a
nyilvnvalsgfokrahivatkozott.)
Alogikanemtan,hanemavilgtkrkpe.
Alogikatranszcendentlis.
Amatematikaegylogikaimdszer.
Amatematikakijelentseiegyenletek,tehtltszatkijelentsek.
Amatematikaikijelentsnemfejezkigondolatot.
Hiszenazletbensohasemmagaamatematikaikijelentsaz,amireszksgnk
van, hanem a matematikai kijelentst csak arra hasznljuk, hogy olyan
kijelentsekbl, amelyek nem tartoznak a matematikhoz, kvetkeztessnk
msokra,amelyekszintgynemtartoznakamatematikba.
(Azakrds:Mirthasznljukvoltakppenazadottszt,azadottkijelentst?",
afilozfibanmindigrtkesbeltsokhozvezet.)
Avilglogikjt.amelyetalogikakijelentseiatautolgikbanmutatnakmeg,
amatematikaazegyenletekbenmutatjameg.
Ha kt kifejezst egyenlsgjel kapcsol ssze, akkor ez annyit jelent, hogy
egymssalhelyettesthetk.Annakazonban,hogyvalbanfennlleezazeset,
magnaktkifejezsenkellmegmutatkoznia.
Ktkifejezslogikaiformjtjellemzi,hogyegymssalhelyettesthetk.
Azlltsegyiktulajdonsga,hogyfelfoghatkettstagadsgyannt.
Az1+1+1+1egyiktulajdonsga,hogyfelfoghat(1+1)+(1+1)
gyannt.
Fregeaztmondja,hogyektkifejezsnekugyanazajelentse(Bedeutung),de
klnbzazrtelme(Sinn).
Az egyenletben azonban az a lnyeges, hogy nincs szksg r annak
kimutatshoz,hogyazegyenlsgjelltalsszekapcsoltktkifejezsjelentse
azonos,mertezmraktkifejezsblmagblmeglthat.
saz,hogyamatematikakijelentseitbizonytanilehet,nemjelentsemmimst,
csak ezt: helyessgk belthat anlkl, hogy azt, amit kifejeznek, helyes
sgketilletensszekellenehasonltaniatnyekkel.
Kt kifejezs jelentsnek azonossgt nem lehet lltani. Mert ahhoz, hogy
jelentskrl llthassak valamit, ismernem kell jelentsket; s ha ismerem
jelentsket,akkortudom,hogyugyanaztavagyklnbztjelenteneke.
Az egyenlet csak azt a szempontot jellemzi, amelybl a kt kifejezst
szemllem,nevezetesenjelentsazonossgukszempontjt.
Arraakrdsre:szksgeseszemlletamatematikaiproblmkmegoldshoz,
gykellmegfelelni,hogymagaanyelvszolgltatjaittaszksgesszemlletet.
Aszmolsfolyamatappeneztaszemlletetkzvetti.
Aszmolsnemksrlet.
Amatematikaalogikaegyikmdszere.

6.2341

6.24

6.241

Amatematikaimdszerlnyegeaz,hogyegyenletekkeldolgozunk.Mgpedig
ezen amdszeren alapul,hogyamatematikamindenkijelentsnek magtl
rtetdnekkelllennie.
A helyettests mdszere az, melynek segtsgvel a matematika eljut
egyenleteihez.
Mertazegyenletekktkifejezshelyettesthetsgtfejezikki,sgyhaladunk
bizonyosszmegyenlettljegyenletekfel,hogyegyeskifejezseketaz
egyenleteknekmegfelelenmskifejezsekkelhelyettestnk.
A2 2=4ttelbizonytsagyszl:

( ) x=

22

2 2

xDef.

2 1+1

x=( ) x=( ) x=

1+1

1+1

x=( )

6.31

6.32
6.321

6.3211

6.33
6.34

6.341

6.342

x=

( ) x=

1+1+1+1

6.3

= x=
x= x.
Alogikavizsglata mindentrvnyszersg vizsglatrakiterjed.salogikn
kvlmindenvletlen.
Az n. indukci trvnye semmikppen sem lehet logikai trvny, mert
nyilvnvalanrtelemmelbrkijelents.sezrtnemlehetaprioritrvny
sem.
Azoksgtrvnyenemtrvny,hanemegytrvnyformja.8
Az oksg trvnye ez a trvnyek egy nemnek a neve. s ahogy a
mechanikbanvannak,mondjuk,minimumtrvnyekmintalegkisebbhats
trvnye , gy a fizikban vannak oksgi trvnyek, oksgi formval br
trvnyek.
Hiszenazembermrkorbbaniscsaksejtette,hogyltezniekell valamilyen
legkisebbhatstrvnynek",semmintpontosantudtavolna,hogyanhangzik
ez.(Ittis,mintmindig,azaprioribizonyostisztnlogikaivalaminekbizonyul.)
Minemhisznkaprioriegymegmaradstrvnyben,hanemaprioritudjukegy
logikaiformalehetsgt.
Minden olyan ttel, mint az elgsges alap, a termszetbeni folytonossg, a
termszetbeni konmia ttele stb. stb. mindezek a priori betekintsek a
tudomnykijelentseineklehetsgesformaadsba.
A newtoni mechanika pldul egysges formra hozza a vilg lerst.
Kpzeljnkelegyfehrfelletet,amelyenszablytalanfeketefoltokvannak.
Most azt mondjuk: Brmilyen kp addjon is ezltal, mindig tetszlegesen
megkzelthetem lerst gy, hogy a foltokra megfelel finomsg
ngyzethltfektetek,sezutnmindenegyesngyzetrlmegmondom,fehre
vagyfekete. Ilymdonafelsznlerst egysges formra hoztam.Eforma
tetszleges, mert ugyanilyen sikerrel alkalmazhattam volna olyan hlt,
amelynekszemeihromszgekvagyhatszgeklennnek.Lehetsges,hogya
hromszg hl segtsgvel a lers egyszerbb lenne, azaz egy durvbb,
hromszglethlsegtsgvelpontosabbanrhatnkleafelletet,mintegy
finomabb, ngyzet alak hl segtsgvel (vagy fordtva) stb. A klnbz
hlknak a vilglers klnbz mdszerei felelnek meg. A mechanika
meghatrozzaavilglersnakformjtazltal,hogyaztmondja:Avilglers
valamennyitteltadottmdonbizonyosszmadottttelblamechanika
aximiblkelllevezetni.Ezltalszolgltatptkveketatudomnyplet
nekfelptshez,saztmondja:Brmilyenpletetakarszemelni,ezekbls
csakezekblazptkvekblllthatodaztssze.
(Ahogybrmelytetszlegesszmlerhataszmrendszersegtsgvel,gya
mechanikarendszervelafizikatetszlegesttelneklerhatnakkelllennie.)
smostltjuklogikasmechanikaklcsnshelyzett.(Csinlhatnnkolyan
hlt is, amely klnbz alakzatokbl, pldul hromszgekbl s

Azaz: nem egy partikulris trvny formja, hanem egy bizonyos trvnyfajta brmely trvny. (B. Russell
megjegyzseazangolfordtsszveghez.)
8

6.343
6.3431
6.3432

6.35

6.36
6.361
6.3611

6.36111

6.362
6.363

hatszgekblllna.)Azatny,hogyegy,azelbbemltetthezhasonlkpegy
bizonyos,adott formjhlsegtsgvel lerhat,nem mondsemmitsem a
kprl. (Mert ez valamennyi hasonl jelleg kpre rvnyes.) Az azonban
jellemziakpet,hogyegymeghatrozottfinomsgmeghatrozotthlsegt
sgvelteljesenlerhat.
gy nem mond semmit a vilgrl az sem, hogy a newtoni mechanika
segtsgvellerhat,mgazmrigen,hogygyrhatleltala,mintahogy
ennekesetevaljbanfennll.Ugyancsakmondvalamitavilgrlaz,hogyaz
egyikmechanikaltalegyszerbbenrhatle,mintamsikltal.
Amechanikaksrletarra,hogymindazokatazigazkijelentseket,amelyekrea
vilglershozszksgnkvan,egymeghatrozotttervszerintlltsukel.
Az egsz logikai appartuson keresztl a fizikai trvnyek mgis a vilg
trgyairlszlnak.
Nemszabadmegfeledkeznnkarrl,hogyamechanikaltaltrtnvilglers
mindig teljesen ltalnos. gy pldul a mechanikban nem meghatrozott,
hanemmindigcsaktetszlegesanyagipontokrlvansz.
Habramikpnknafoltokgeometriaialakzatok,mgisnyilvnval,hogya
geometria semmit sem mond tnyleges formjukrl s helyzetkrl. A hl
azonbanteljesengeometriai,mindentulajdonsgaapriorimegadhat.
Azolyantrvnyek,mintazelgsgesalapelvestb.,ahlrlszlnak,snem
arrl,amitahller.
Halenneegyoksgitrvny,gyhangzana:Vannaktermszettrvnyek.
Eztazonban,termszetesen,nemmondhatjuk:ezmegmutatkozik.
Hertz terminolgijval lve, azt mondhatnnk: Csak a trvnyszer
sszefggsekelgondolhatk.
Egyetlenfolyamatotsemhasonlthatunksszeazidfolysvalilyesminem
ltezik , hanem csakis egy msik folyamattal (mondjuk a kronomter
jrsval).
ppen ezrt az idbeli lefolys lersa csak gylehetsges, hogyegymsik
folyamatratmaszkodunk.
Egszenhasonlanlladologatrrel.Aholpldulazemberaztmondja,hogy
ktjelensgkzl(amelyekklcsnsenkizrjkegymst)egyiksemfordulhat
el,mert nincsok arra,mirtkelleneinkbbelfordulniaazegyiknek,minta
msiknak,ottavalsgbanarrlvansz,hogyhanincssemmifleaszimmetria,
akkoregyltalnnemtudjukktesemnykzl azegyiket lerni.shavan
valamilyenaszimmetria,akkoreztfelfoghatjukazegyikelfordulsa,illetvea
msikelnemfordulsaokaknt.
Ajobbsbalkzkantiproblmja,hogytudniillikeketttnemlehetfedsbe
hozniegymssal,mraskban,stazegydimenzijtrbenisfennll,aholaza
sbegybevgalakzatokatszintnnemlehetfedsbehozniegymssalanlkl,
hogyetrblkinemozdtannkket.Tnylegesenajobbsbalkzteljesen
egybevg.sannak,hogynemlehetketfedsbehozni,semmikzesincs
ehhez.

Ajobbkezeskesztytfellehetnehzniabalkzre,haangydimenzijtrben
kilehetnefordtani.
Amitlelehetrni,azmegistrtnhet,samitazoksgtrvnynekkikell
zrnia,aztlernisemlehet.
Azindukcifolyamataabbanll,hogyfelttelezzka legegyszerbb trvnyt,
amelytapasztalatunkkalsszhangbahozhat.

6.3631

6.36311
6.37

6.371
6.372

6.373
6.374

6.375
6.3751

6.4
6.41

6.42
6.421

6.422

Efolyamatnakazonbannemlogikai,hanemcsakispszicholgiaialapjavan.
Vilgos,hogysemmialapjasincsazthinni:avalsgbanisalegegyszerbbeset
fogelfordulni.
Az,hogyaNapholnapfelkelhipotzis.sezaztjelenti:nemtudjuk,felfoge
kelni.
Nemknyszertisemmi,hogyazegyikdolognakmegkelltrtnnie,mertegy
msikmrmegtrtnt.
Csaklogikaiszksgszersgltezik.
Az egsz modern vilgszemllet alapja az az illzi, hogy az gynevezett
termszettrvnyekatermszetijelensgekmagyarzatai.
gy llnak meg a termszettrvnyeknl, mint valami rinthetetlennl, mint
ahogyargieklltakmegazIstennlsaSorsnl.
smindamoderneknek,mindargieknekigazukisvan,megnemis.Argiek
annyibanmgisvilgosabbanlttak,hogyelismertekegyvilgoshatrt,mgaz
jrendszerekesetbenszksgszerenltszikgy,mintha minden meglenne
magyarzva.
Avilgfggetlenazakaratomtl.
Mghamegtrtnnkisminden,amitkvnunk,ezakkorisgyszlvncsaka
sors kegye lenne, mert nincs semmifle logikai sszefggs akarat s vilg
kztt,amieztbiztostan,safelttelezettfizikaisszefggsmagaviszont
nemlehetettakaratunktrgya.
Mintahogycsaklogikaiszksgszersg,gycsaklogikailehetetlensgltezik.
Pldullehetetlen,hogyktsznegyszerreegysugyanazonhelyenlegyena
lttrben,mgpediglogikailaglehetetlen,mert ezt asznlogikai struktrja
zrjaki.
Gondoljunkarra,hogyanjelenikmegezazellentmondsafizikban:krlbell
gy,hogyegyrszecskeegysugyanazonidbennembrhatktsebessggel;
azaz egy s ugyanazon idben nem lehet kt helyen; azaz az egy idben
klnbzhelyekentartzkodrszecskknemlehetnekazonosak.
(Vilgos,hogyktelemikijelentslogikaiszorzatanemlehetsemtautolgia,
sem ellentmonds. Az az llts viszont, hogy a lttr egy pontja egyazon
idbenktklnbzsznnelbr,ellentmonds.)
Mindenkijelentsegyenrtk.
Avilgrtelmnekavilgonkvlkelllennie.
Avilgbanmindengyvan,ahogyvan,smindengytrtnik,ahogytrtnik;
bennenincssemmiflertk,shalenneis,nemlennesemmirtke.
Havanrtk,melynekrtkevan,akkorennekmindentrtnsensgylten
kvlkelllennie.Mertmindentrtnssgyltvletlenszer.
Aminemvletlenszervteszi,aznemlehetavilgban,mertmskppenismt
vletlenszerlenne.
Avilgonkvlkelllennie.
Ezrtnemltezhetneketikaikijelentsek.
KijelentseknemfejezhetnekkisemmiMagasabbat.
Vilgos,hogyazetiktnemlehetkimondani.
Azetikatranszcendentlis.
(Azetikasazeszttikaegy.)
Egy Tedd... formj etikai trvny fellltst ksr els gondolat a
kvetkez:smivanakkor,hanemteszemmeg?Vilgosazonban,hogyaz
etiknak semmi kze a kznapi rtelemben vett bntetshez s jutalomhoz.
Teht a cselekvs kvetkezmnyeire vonatkoz fentebbi krdsnek rdek
telennek kell lennie. Mindenesetre ezek a kvetkezmnyek nem lehetnek
esemnyek. Mert valaminek mgis helyesnek kell lennie ebben a

6.423
6.43

6.431
6.4311

6.4312

6.432
6.4321
6.44
6.45

6.5

6.51

6.52

6.521

6.522
6.53

krdsfeltevsben. Kell ugyan lteznie valamifle etikai jutalomnak s etikai

bntetsnek,deennekmagbanacselekedetbenkellrejlenie.
(sazisvilgos,hogyajutalomnakvalamikellemesnek,abntetsnekvalami
kellemetlennekkelllennie.)
Nembeszlhetnkazakaratrlmintazetikumhordozjrl.
sazakaratmintjelensgcsakapszicholgitrdekli.
Haajvagyrosszakaratmegvltoztatjaavilgot,akkorcsakavilghatrait
vltoztathatjameg,nematnyeket;nemazt,amitanyelvltalkilehetfejezni.
Rviden, akkor ezltal a vilgnak ltalban egszen mss kell vlnia. Mint
egsznekkell,gyszlvn,cskkennievagynvekednie.
Aboldogsgvilgams,mintaboldogtalansg.
Mintahogyahallbekvetkeztvelsemvltozikmegavilg,hanemvgetr.
Ahallnemesemnyeazletnek.Ahalltazembernemlit.
Haazrkkvalsgonnemvgtelenidtartamot,hanemidtlensgetrtnk,
gyrkklaz,akiajelenbenl.
letnkppgyvgnlkli,ahogyltternkhatrnlkli.
Azemberillekidbelihalhatatlansga,amitehtegyetjelentahallutnis
tart,rktovbblssel,nemcsakhogysemmikppensincsbiztostva,hanem
amialegfbb,efeltevsegyltalnnemnyjtjaazt,amitltalamindigelrni
kvntak.Megolddikebrmiflerejtlyazltal,hogyrkkletbenmaradok?
Vgl isnem ppen annyirarejtlyeseez az rklet,mint ajelenlegi?A
trbensidbenvalletrejtlynekmegoldsatrensidnkvlfekszik.
(Nemtermszettudomnyosproblmkatkellittmegoldani.)
Milyen a vilg ez a felettell szmra teljesen kzmbs. Isten nem
nyilatkozikmegavilgban.
Atnyekmindcsakafeladathoztartoznaksnemamegoldshoz.
Nemazamisztikum,hogymilyenavilg,hanemaz,hogyvan.
A vilgnak sub specie aeterni szemllete nem ms, mint krlhatrolt
egszkntvalszemllete.
Avilgnakkrlhatroltegszkntvaltrzseamisztikusrzs.
Egy olyan felelethez, amelyet nem lehet kimondani, nem lehet kimondani a
krdstsem.
Arejtlynemltezik.
Haegykrdstegyltalnfellehettenni,akkormegislehetvlaszolniazt.
Aszkepticizmusnemmegcfolhatatlan,hanemnyilvnvalanrtelmetlen,mert
ktkedniakarott,aholnemktkedhetnk.
Mertktelycsakottmerlhetfel,aholvanvalamiflekrds;krdspedigcsak
ott,aholvanfelelet,sezutbbicsakott,aholvalamitmondanilehet.
rezzk, hogymghafeleletet isadtunkvalamennyi lehetsges tudomnyos
krdsre,letproblminkatezzelmgegyltalnnemrintettk.Akkorpersze
nemmaradegyetlentovbbikrdssem,sppenezavlasz.
Azletproblmjnakmegoldsteproblmaeltnsejelenti.
(Vajonnemezazokaannak,hogyazokazemberek,akikeltthosszasktelyek
utnazletrtelmevilgossvlt,nemtudjkaztnelmondaniazt,mibenisll
ezazrtelem?)
Ktsgtelenlltezikakimondhatatlan.Ezmegmutatkozik,ezamisztikum.
Afilozfiahelyesmdszereakvetkezlenne:Semmitsemmondani,csakamit
mondanilehet,tehtatermszettudomnytteleittehtvalamiolyat,aminek
semmi kze a filozfihoz, s valahnyszor msvalaki valami metafizikait
akarna mondani, bebizonytani neki, hogy a kijelentseiben szerepl jelek
nmelyikheznemfzttjelentst.Emsvalakiszmraemdszernemlenne
kielgtnemrezn,hogyfilozfittantunkneki,decsakisezlenneaz
egyedliszigoranhelyesmdszer.

6.54

Az n kijelentseim oly mdon nyjtanak magyarzatot, hogy aki megrt

engem,vglfelismeriazt,hogyrtelmetlenek,hamrfellpvnrjuktllpett
rajtuk.(gyszlvnelkellhajtaniaaltrt,miutnfelmszottrajta.)
Megkellhaladniaezeketatteleket,akkorltjahelyesenavilgot.
Amirlnemlehetbeszlni,arrlhallgatnikell.

Afordtutszava9
EzafordtsWittgenstein Tractatuslogicophilosophicusnak 1956os,ktnyelvlondonikiadsaalapjn
(LudwigWittgenstein,Tractatuslogicophilosophicus.WithanintroductionbyBertrandRussell.Routledgeand
KeganPaul,London,1956.6thimpression)kszlt,anmeteredetiszvegbl.Wittgensteinsajtostermino
lgijnakmagyarravaltltetseegyesesetekbennllmagyarmszavakmegalkotsraknyszertettea
fordtt,mivelnemcsakWittgensteinmunkssga,deazokafilozfiaitradcikis,amelyekblezkintt,nlunk
tartalmilagis,terminolgiailagisigenkevssismertek.Azeredetimnmetmszavaiirntrdekldolvask
tjkoztatsraszolglalentebbkzltmagyarnmetszjegyzk.
Kt megjegyzst ltok mg szksgesnek hozzfzni az rtekezs magyar fordtshoz. Az egyik a
matematikailogikamszavainaktltetsrevonatkozik.Ajelenfordtsbanalkalmazottterminustechnicusok
egyesesetekbeneltrnekazutbbiidkbennlunkmatematikailogikaimunkkbanltalnosanelterjedtkife
jezsektl. Brmennyire sajnlatos is ezatnylls,kt okmiatt elkerlhetetlennek bizonyult.Egyrszt az
rtekezs a matematikai logika fejldsnek egy viszonylag korai fejldskorszakban szletett, s
terminolgijnak egyes sajtossgaiban az egyes fogalmak kezdeti tisztzatlansga, pontatlansga is
kifejezsrejut.Amaiegzaktfogalomsszhasznlattviteleezesetbenalogikatrtnetmamrklasszikus
dokumentumnakszmtmmegengedhetetlenjavtstjelenten.Msrsztegyesmagyarlogikaiterminu
sok hasznlata sszeegyeztethetetlen lenne Wittgenstein filozfiai llspontjval, amely logikai nzeteivel
szorosan sszefondik. Az utbbi idben nlunk szoksos tletfggvny", tletkalkulus stb. mszavak
hasznlatt (a fordtsban szerepl kijelentsfggvny stb. helyett) pldul lehetetlenn tette az, hogy
Wittgenstein a tradicionlis formlis logika tletfogalmt mint pszicholgiai s logikai momentumok
sszekeversnalapultvesfogalmathatrozottanelvetette.
Bizonyos mrtkig magyarzatot ignyel az rtekezs angol fordtsnak hasznlata. Az 1922es angol
fordtstC.K.Ogdenksztette,Wittgensteinegyiklegkzelebbitantvnynak,F.P.Ramseyneksegtsgvel,
seztmagaaszerzistnzte.DefeltehetlegWittgenstein,akitezidbenafilozfiaegyltalnnemfoglal
koztatott,nemfordtottnagyfigyelmetmveangolkiadsra.Azutbbiidbenafordtstigenlesens
szmosesetbenjoggalbrltk,sokbennetallhatflrertsrestvedsremutatvar.Ennekellenrea
magyarfordtsterminolgijnakkialaktsbanazangolfordtsegyesmegoldsaitisfigyelembevettem,s
aholanmetsangolszvegkzttlnyeges,nemegyszerflrertsremutateltrsmutatkozott,aztlapalji
jegyzetbenmegadtam,mivelezekavltoztatsokfeltehetlegaszerzbeleegyezsveltrtntek.
E helyet szeretnm felhasznlni arra, hogy ksznetemet fejezzem ki mindazoknak, akik e ktet
elksztsbensegtsgemrevoltak,elssorbanlektoraimnak,dr.SzalaiSndornaksdr.SzigetiJzsefnek,
akiknekkritikaimegjegyzseiafordtselksztsbenjelentssegtsgetnyjtottakszmomra.

Budapest,1963.mrcius12n
MrkusGyrgy

MrkusGyrgytudtvalsbeleegyezsvelaSachverhaltsSachlagekifejezseketmsmagyarszvaladtukvissza:az
elbbitkrlmny"nek,azutbbittnylls"nakfordtva(azeredetimegolds:elemitny",illetvehelyzet",nhaa
dolgokllsavolt). Aprbb stilisztikaiorthogrfiai javtsokat leszmtva msuttnem vltoztattunk aszvegen. A
szerk.
9

Afilozfiaiszakszavakmagyarnmetjegyzke
azalapfogalomderGrundbegriff
azalapjeldasUrzeichen
azalaptteldasGrundgesetz
azalogikusdasUnlogisches
azazonossgdieGleichheit
azbrzolsiformadieFormderDarstellung
azbrzolsiviszonydarstellendeRelation
brzolnidarstellen
azlltsdieBejahung
azltalnosrvnysgdieAllgemeingltigkeit
azltalnossgdieAllgemeinheit
azltalnossgjellsedieAllgemeinheitsbezeichnung
belstulajdonsginterneEigenschaft
adologdasDing
egyttestagadsdieNegation
elemikijelentsderElementarsatz
azesetderFall
azrtelemderSinn
rtelemmelbrkijelentssinnvollerSatz
rtelemnlklisinnlos
rtelmetlenunsinnig
afeltevsdieAnnahme
afennllsdasBestehen
aformasordieFormenreihe
formlisfogalomformalerBegriff
formlistulqjdonsgformaleEigenschaft
agondolatderGedanke
ahelyettestsmdszeredieSubstitutionsmethode
ahozzrendelsdieZuordnung
azigazsgalapderWahrheitsgrund
azigazsgargumentumdasWahrheitsargument
azigazsgfeltteldieWahrheitsbedingung
azigazsgfggvnydieWahrheitsfunktion
azigazsglehetsgdieWahrheitsmglichkeit
azigazsgmveletdieWahrheitsoperation
azgy!tdasSoSein
ajeldasZeichen
ajelentsdieBedeutung
ajellsdieNotation
ajellsmddieBezeichnungsweise
jellnibezeichnen
akpbelisgdieBildhaftigkeit
kpviselnivertreten
akifejezsderAusdruck
akijelentsderSatz
akijelentsjeldasSatzzeichen
akijelentsformadieSatzform
akijelentsvltozdieSatzvariable
akijelentskapcsolatderSatzverband
akitevderExponent

akomplexusderKomplex
akrlmnyderSachverhalt
kvetkeznifolgen
kvetkeztetnischlieen
klsviszonyexterneRelation
altszatfogalomderScheinbegriff
altszatkijelentsderScheinsatz
alersdieBeschreibung
alekpezsdieAbbildung
lekpezsiformadieFormderAbbildung
lekpezsiviszonyabbildendeBeziehung
logikaillvnyzatlogischesGerst
logikaiformalogischeForm
logikaihelylogischerOrt
logikaikoordintalogischeKoordinate
logikaiszimbolikaDieBegriffsschrift
logikaitrlogischerRaum
amagyarzatdieErluterung
amegllaptsdieFestsetzung
ameghatrozsdieDefinition
megnyilvntaniaufweisen
amozgstrderSpielraum
mutatnizeigen
megmutatkoznisichzeigen
amveletdieOperation
anyilvnvalsgdasEinleuchten
azobjektum(nhaadolog)dieSache
aprototpusdasUrbild
asegdeszkzderBehelf
asokasgdieMannigfaltigkeit
asordieReihe
aszemlletdieAnschauung
aszimblumdasSymbol
aszimbolikadieZeichensprache
szimbolikaiszablydieZeichenregel
atagdasGlied
atagadsdieVerneinung
atrgyderGegenstand
atnydieTatsache
atnyllsdieSachlage
azutdderNachfolger
avalsznsgmrtkedasMaderWahrscheinlichkeit
avltozdieVariable
avltozkijelentsvariablerSatz
vltoznvvariablerName
vletlenszerltalnossgzuflligeAllgemeinheit
avettsdieProjektion
avettsimdszerdieProjektionsmethode
avonsderZug

Egyfilozfusarcai

LudwigWittgenstein
(18891951)
Akpekjogtulajdonosai:
ClaraSjrgen,Wien:
MichaelNedo,Cambridge:
TrinityCollege,Cambridge:
Dr.BenRichards,HemelHempstead:
[klnfjlban:LW-TLPh-photos.doc]

14,6,7,9
5
8
1012