Professional Documents
Culture Documents
Felkszlsi segdlet
Papp Gbor
A hasznlt fordts: W.V.O. Quine: A tapasztalattl a tudomnyig, Osiris, Budapest 2002, 115135. o. Az
ltalam itt-ott szgletes zrjelben megadott szmok ennek oldalszmai.
2
Vagy Lzr Ervin, Rcegresi s Pcegresi cm mesjben Bab Titti szaklla. s ha mr itt tartunk egy idzet
a mesbl: s ezenkvl milyen bizonytkaid vannak a furulyafk ltezsre? Az, hogy meslni fogsz
rluk. Ami nincs, arrl nem lehet meslni.
3
Feltehetleg Alexius Meinong osztrk filozfus nzeteirl van sz
Ockham nyomn, ltalnosan elfogadott elv, hogy akkor vezessnk csak be entitsokat, ha azokra felttlenl
szksg van, azaz nem ll rendelkezsre nlklk is megfelel magyarz ervel br alternatv elmlet. Itt
Quine maga is javasolni fog egyet.
ppen a pegazussg jellemzje. Pl. Pegazusnak levs, amit a pegazus (is-Pegasus) vagy
pegazlik igvel fejezhetnk ki. A Pegazus fnv ennek fnyben szrmaztatott kifejezsnek
bizonyul, mely a kvetkez lersokkal azonosthat: az a dolog, ami pegazus, az a dolog,
ami pegazlik. Ekkor a fentiek rtelmben, a Pegazus ltezik mondat annyit tesz, hogy
univerzumunk tartalmaz egy s csakis egy entitst, amire igaz egy tulajdonsg, nevezetesen,
hogy pegazlik.
Quine ezzel elrte a kvnt eredmnyt. Megmutatta, hogy ha valaminek a ltezst lltjuk,
akkor egy olyan ontolgia mellett ktelezzk el magunkat, ami tartalmaz egy a hozz kapcsolt
lersnak megfelel entitst, de a nem ltezst llt mondatokkal nem jr egytt az ilyenfajta
ontolgiai elktelezettsg.
II. Univerzlk ltezse
Lteznek olyan entitsok, mint attribtumok, relcik, osztlyok, szmok, fggvnyek? A
konkrt szingulris entitsokon tl, milyen ms ltezk azok, amiknek a lte elengedhetetlen a
szmunkra? Mely megnyilatkozsok ltal ktelezdnk el a ltk mellett s melyek ltal
nem?
II.1 McX
Lteznek entitsknt a fent emltett objektumok. Pl. a vrssg attribtuma az a dolog, ami
kzs a vrs hzban, a vrs rzsban s a vrs naplementben.
McX els rve: A szingulris terminusokrl adott beszmolhoz hasonlan, ahhoz, hogy a
vrs szt rtelmesen llthassuk valamirl, egyetlen univerzlis entitst megnevez nvnek
kell tekinteni.
Quine vlasza: ahogy korbban megmutattam egy kifejezs rtelmes voltnak nem szksges
felttele, hogy sikeresen nevezzen meg valamit. Ennek megfelelen a pegazls prediktum
rtelmes voltbl sem kell arra kvetkeztetni, hogy ltezik egy nll entits, ami megfelel a
pegazls prediktumnak. Azaz semmi sem knyszert arra, hogy univerzumunkban ilyen
tpus entitsoknak is helyet biztostsunk.
McX msodik rve: Jl van, fogadjuk el a jelents s jellet megklnbztetst. Tovbb,
mg ha elfogadjuk azt is, hogy a pegazlik nem egy attribtum neve, attl mg nem lesz
vitathat, hogy rendelkezni fog jelentssel. Ebben az esetben az univerzlt nem egy
megnevezett entitssal, hanem ezzel a jelents nev objektummal azonosthatjuk, ami
mellesleg meglehetsen hasonl funkcit tlt itt be, mint a korbbi elmletben az attribtum.
Ez az absztrakt entits, amit birtokolva szavaink a jelentsket kapjk.
Quine vlasza: Van vlaszlehetsgnk erre is. Egyszeren megtagadhatjuk a jelentseknek,
mint reduklhatatlan kztes entitsoknak az elismerst. Ezt megtehetjk anlkl, hogy
tagadnunk kne, hogy szavak s lltsok jelentsesek lehetnek. Hogy rti ezt Quine? gy
gondolja, hogy ktfle krnyezetben beszlnk kifejezsek jelentsrl kikszblhetetlen
mdon. Az egyik, amikor azt llaptjuk meg, hogy egy megnyilatkozs rtelmes vagy sem.
Ezt ms nven szignifikancinak nevezi. A msik eset, amikor szavak jelentsazonossgrl,
azaz szinonim vagy homonim voltrl van sz. Ha tnyleg csak ezt a kt feladatot ltja el a
jelents, akkor ehhez teljesen felesleges bevezetni a plusz entitst. Azt amit ennek
tulajdontannk, tulajdontsuk kzvetlenl a kifejezseknek. A szinonimitst pldul
3
fogalmak fognak a legegyszerbbnek tnni. Egy fizikai fogalmi sma, ami kls fizikai
trgyakrl beszl, egyszersteni kpes a tapasztalatrl val tudstsainkat az ltal, hogy a
sztszrt szlelsi esemnyeket ugyanazon trgy szleleteknt fogja ssze. Ezltal ugyan
nagyobb magyarz erre tehet szert, de entitsai csak felttelezett entitsok, mtoszok. gy,
teht kt verseng fogalmi sma az eredmny: a fenomenlis s a fizikai. A fenomenlis sma
ismeretelmletileg kitntetett. Viszont az ismeretelmleti nzpont nem felttlenl az. Vannak
ms rdekeink s cljaink, amiknek megfelelen ms nzpontok is letkpesek lehetnek.
Ahogyan a fizikai smt elfogadtuk, elfogadhatunk mg bvebb ontolgikat is, amennyiben
azok egyszerstik a fizikai kpet. Fizikai trgyak osztlyait vagy attribtumait is
megengedhetjk kttt vltozink rtkeiknt, azonban ezek az entitsok ugyangy
mtosznak tnnek majd a fizikai sma fell, mint ahogy a fizikai entitsok is knyelmes
mtosznak bizonyulnak a fenomenlis sma fell.
Az, hogy konkrtan milyen ontolgit fogadjunk el, nyitott. rdemes lehet prhuzamosan
fejleszteni a klnbz ontolgiai elktelezettsggel rendelkez nyelveket, megvizsglni,
milyen mrtkben reduklhat a fizikai fogalmi sma a fenomenlisra. Azonban azt akkor
sem kellene elvetni, ha ez a redukci nem jrna sikerrel, hisz attl mg nem veszti el a ms
szempontbl val egyszerbb voltt.
sszefoglals:
Quine megmutatta, hogy egy az ontolgik vdelmre elterjedt hagyomnyos rv hibs.
Helyette egy megfelelbb mrce kerlt kidolgozsra, elmletek ontolgiai elktelezettsgnek
meghatrozsra.
Lpsek:
Hasznlhatunk szingulris terminusokat mondatokban anlkl, hogy elfeltteleznnk, hogy
vannak olyan entitsok, melyeket a terminusok megnevezni hivatottak.
Hasznlhatunk ltalnos terminusokat anlkl, hogy elismernnk, hogy azok absztrakt
entitsok nevei.
Tekinthetnk rtelmesnek, egymssal szinonimnak megnyilatkozsokat anlkl, hogy
megengednnk a jelentsek, mint nll entitsok tartomnyt.
Egy elmlet ontolgiai elktelezettsgt, a benne szerepl mondatok kttt vltozinak
rtktartomnya hatrozza meg.
Kt, klnbz szempontbl kiemelked fogalmi sma a fenomenlis s a fizikai
A verseng ontolgik kztti vlaszts kls kritriuma az egyszersg, de mivel ez a
fogalom tbbrtelmnek bizonyul, rdemes tbb a klnbz cljaink szempontjbl
elsdleges fogalmi sma tkletestsn dolgozni prhuzamosan
A cikkben szerepl kifejezsekrl:
Ontolgia: a mi az, ami ltezik? krdsre adhat vlaszokat soroljuk eme cmke al. Fontos
kiemelni, hogy itt nem vesznk figyelembe ismeretelmleti szempontokat. Attl, hogy
valamirl nem tudhatom, hogy ltezik-e, mg ltezhet, s attl, hogy nekem valami lteznek
tnik, mg nem biztos, hogy tnyleg ltezik. Gondoljunk csak az lomban megismert
trgyakra.
Szingulris terminus: olyan kifejezs, aminek az univerzum egy objektuma felel meg, annak
megnevezst jelenti. Pl.: Szkratsz, te, az elnk.
ltalnos terminus: az univerzum tbb entitsra igaz egyszerre, de nem megnevezi ket. Pl.
piros.
Konkrt terminusok: egynekre, fizikai objektumokra, esemnyekre val vonatkozst
tartalmaznak. Konkrt szingulris terminus: Szkratsz, A Waverley szerzje. Konkrt
ltalnos terminus: hz, vrs hz (mivel minden egyes hz konkrt individuum).
Absztrakt terminusok: absztrakt objektumokra, pl. szmokra, osztlyokra, attribtumokra val
vonatkozst tartalmaznak. Absztrakt szingulris terminus: jmborsg, 7. Absztrakt
ltalnos terminus: primszm, llatfaj (mivel minden szm s faj absztrakt objektum).
(Trgyalsi) Univerzum: a ltez individuumok tartomnya. A vltozk innen veszik fel
rtkeiket.
Kttt vltoz: mestersges nvms. Az univerzumbl vehet fel rtkeket.
Kvantifikci: kvantorok alkalmazsa. A kvantorok feladata a nyitott mondatokban szerepl
vltozk lektse. A kvantorok a minden s a van logikai szavak megfeleli. Az
univerzlis kvantor: . A x.Fx (kiolvasva: minden x-re (igaz, hogy) F x) azt fejezi ki,
hogy a kvantor hatkrben tallhat kifejezs a kttt vltoz minden rtkelse mellett
igaz, azaz akrhogy is vlasztok egy individuumot a trgyalsi univerzumbl a vltoz
rtkeknt, a kifejezs igaz marad. Az egzisztencilis kvantor: . A x.Fx (kiolvasva: van
olyan x, hogy F x) azt fejezi ki, hogy van olyan rtkelse a kttt vltoznak, amikor igaz
lesz a kvantor hatkrben tallhat kifejezs, azaz van legalbb egy olyan individuum a
trgyalsi univerzumban, ami F.
Diszjunkci: Kt lltsnak a vagy ktszval trtn sszekapcsolsa ltal kapott
kifejezs. Itt megenged rtelemben szerepel, azaz nem zrja ki a tagok egyttes igazsgt,
teht a diszjunkci igaz, ha legalbb az egyik tagja igaz.
Reductio ad absurdum: a vitatott llts megcfolsa azzal, hogy belle explicit ellentmondst
vezetnk le.
Idea: valamilyen mentlis entits vagy tartalom.
Reflektlsi esemny: a reflexi klasszikusan egy gondolat gondolst, tudatostst jelenti.
Itt ha szubjektv szlelsi esemnyeken az t rzknkn t szerzett tapasztalatokat rtjk,
akkor a reflektlsi esemnyekhez kell sorolnunk minden mst, azaz a mentlis
tevkenysgeinken keresztl adott dolgokat.
Univerzlk: absztrakt objektumok. McX elkpzelse szerint a prediktumok jelentsei. Pl.
pirossg. Ide sorolhatk absztrakt matematikai entitsok is.
Prediktum: egy vagy tbb individuumnvvel kombinlva mondatot eredmnyez. Pl. fehr,
szereti, testvre vagy a x.Fx kifejezsben az F.
Jelents s jellet: a kt szemantikai rtk, melyek megklnbztetse Gottlob Frege nevhez
fzdik. Ha mindssze egy szemantikai rtket hasznlva azt mondjuk, hogy a sz jelentse
megegyezik azzal, amit jell, nem fogjuk tudni megmagyarzni, mirt van az, hogy
lehetsges, hogy kt llts, amik csak egy azonos jellet kifejezsben trnek el, klnbz
igazsgrtkek lehetnek. Tovbb, hogyan trtnhetne meg, hogy kt azonos jellet, de
6