2. Módszerek Dolgozatom központi fejezetében a tractatusi kijelentéselmélet formális eszközökkel történ rekonstrukciójára tettem kísérletet. A formáli

Hasonló dokumentumok
Érveléstechnika 6. A Racionális vita eszközei

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA

Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA

Útmutató a Debreceni Egyetem Állam- és Jogtudományi Kar Nemzetközi Jogi Tanszékén készülő szakdolgozatok szerzői részére

DEBRECENI EGYETEM INFORMATIKAI KAR KÖNYVTÁRINFORMATIKAI TANSZÉK SZAKDOLGOZAT BÜNTETŐJOGI INFORMÁCIÓKERESŐ TEZAURUSZ

SZOLNOKI FŐISKOLA Ú T M U T A T Ó

Egy helytelen törvényi tényállás az új Büntető törvénykönyv rendszerében

Modern matematikai paradoxonok

Az új Alkotmánybíróságról szóló szabályozás elemzése

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.

Wittgenstein két fő műve

Válasz Pólos László opponensi véleményére Demeter Márton: A jel, a kép és az Ikon című PhD disszertációjáról

LOGIKA ÉS ÉRVELÉSTECHNIKA

Memo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.

Egyetemi doktori (PhD) értekezés tézisei SZOMBATHELYI FERENC A MAGYAR KIRÁLYI HONVÉD VEZÉRKAR ÉLÉN. Kaló József. Témavezető: Dr.

Javaslat AZ EURÓPAI PARLAMENT ÉS A TANÁCS RENDELETE. az Unió éves költségvetésére alkalmazandó pénzügyi szabályokról

Adatkezelési tájékoztató

ESSZÉÍRÁS június

Arról, ami nincs A nemlétezés elméletei. 11. A semmi semmít december 2.

ELTE TáTK Közgazdaságtudományi Tanszék ESSZÉÍRÁS. Készítette: Reich Orsolya. Szakmai felelős: Wessely Anna június

A Magyar Távhőszolgáltatók Szakmai Szövetségének javaslatai a távhőár-megállapítás témakörében

KÖZIGAZGATÁSI SZAKVIZSGA KÖZSZOLGÁLTATÁSOK SZERVEZÉSE ÉS IGAZGATÁSA

Tartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika

ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH

3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.

Vektorok. Wettl Ferenc október 20. Wettl Ferenc Vektorok október / 36

Közbeszerzési referens

ZH feladatok megoldásai

rank(a) == rank([a b])

Észak-alföldi Regionális Ifjúsági Stratégia 2010 Készítették: Dr. Szabó Ildikó és Marián Béla Az anyaggyűjtésben közreműködött: Márton Sándor

Arról, ami nincs A nemlétezés elméletei. 7. A modern logika és a létezés október 21.

HBF Hungaricum Kft. és INNOV Hungaricum Kft. konzorciuma

Szakdolgozat GYIK. Mi az a vázlat?

Emerald: Integrált jogi modellező keretrendszer

TÉR IDENTITÁS REKONSTRUKCIÓ Bódiné Kersner Katalin Dla tézisfüzet 2013

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

Pécsi Tudományegyetem Állam- és Jogtudományi Kar Doktori Iskola Bőnügyi Tudományok. Hautzinger Zoltán. PhD értekezés tézisei

A kommunikációs tér filozófiája

Az ész természetéhez tartozik, hogy a dolgokat nem mint véletleneket, hanem mint szükségszerűeket szemléli (Spinoza: Etika, II. rész, 44.

A 2014/2015. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA. Javítási-értékelési útmutató

A kritikus infrastruktúra védelem elemzése a lakosságfelkészítés tükrében

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

JEGYZŐKÖNYV. Vál Község Önkormányzat Képviselő-testületének február 14-én megtartott nyílt üléséről

Bírálat. Szilágyi Zsófia Móricz Zsigmond című akadémiai doktori értekezéséről

ELTE Társadalomtudományi Kar Szociológia Doktori Iskola Szociálpolitika Doktori Program ESÉLY VAGY KÉNYSZER?

A Törvénygyár vagy vitafórum? című konferencia és ami kimaradt belőle

MATEMATIKA A és B variáció

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA

3. Az indukció szerepe

A nem tipikus szövegek jelentésreprezentációjának egy kérdéséről

Szitás Katalin: Választási Válaszút

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

NEM-DETERMINISZTIKUS PROGRAMOK HELYESSÉGE. Szekvenciális programok kategóriái. Hoare-Dijkstra-Gries módszere

A maximum likelihood becslésről

mi lenne az a nagy dobás, mely elkerülhetetlenül és tartósan a Balatonra irányítja a figyelmet, ugyanakkor az akció költséghatékony és fenntartható?

- Új esély Debrecennek!

PÉNZÜGYMINISZTÉRIUM TÁMOGATÁSOKAT VIZSGÁLÓ IRODA június

Vezetéses Totó kulcsok Enciklopédiája I.

FILOZÓFIA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Gondolatok a konvergencia programról. (Dr. Kovács Árpád, az Állami Számvevıszék elnöke)

Javítási-értékelési útmutató

Üzletszabályzat. STATUS Capital ZRt.

A matematika nyelvér l bevezetés

A MUNKAVÉDELEM IDŐSZERŰ KÉRDÉSEI

EMLÉKEZTETŐ. Az OKA tizenkettedik üléséről (2007. szeptember :00, SZMM, Tükörterem)

Tisztelt Polgármester Úr!

EURÓPAI PARLAMENT C6-0040/2007 HU PART.1. Közös álláspont. Ülésdokumentum 2003/0153(COD); 29/11/2006

MATEMATIKA I. RÉSZLETES ÉRETTSÉGI VIZSGAKÖVETELMÉNY A) KOMPETENCIÁK

Módszertani dilemmák a statisztikában 40 éve alakult a Jövőkutatási Bizottság

FILOZÓFIA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

BIZOTTSÁGI SZOLGÁLATI MUNKADOKUMENTUM A HATÁSVIZSGÁLAT ÖSSZEFOGLALÁSA. amely a következő dokumentumot kíséri. Javaslat A TANÁCS IRÁNYELVE

HELYI ÖNKORMÁNYZATOK EURÓPAI CHARTÁJA

ÚTMUTATÓ. 1.4 tevékenység. Dieter Schindlauer és Barbara Liegl június

Tervek és a valóság A pénzbeli családtámogatási ellátások vizsgálata a kormányprogramok tükrében

Békéscsaba és Térsége Többcélú Önkormányzati Kistérségi Társulás ÖNKÖLTSÉGSZÁMÍTÁSI SZABÁLYZAT

ÚTMUTATÓ. a tömegtermelés vásárlói igényekhez való igazításához. Legjobb Gyakorlatok. Union Regionale delle Camere di Commercio del Veneto

EIOPA-17/ október 4.

AJÁNLATTÉTELI DOKUMENTÁCIÓ

Elsőrendű logika. Mesterséges intelligencia március 28.

Terület- és településrendezési ismeretek

A REGIONÁLIS INNOVÁCIÓS RENDSZEREK FEJLESZTÉSI

Bináris keres fák kiegyensúlyozásai. Egyed Boglárka

PhD értekezés. dr. Reiterer Zoltán

Nyomástartó berendezések Vizsgálati és Tanúsítási Rendje D, D1, E, E1, H, H1 és 2 modulok esetén

Adóigazgatási szakügyintéző

A 2016/2017. tanévi Országos Középiskolai Tanulmányi Verseny első forduló FILOZÓFIA FELADATLAP ÉS VÁLASZLAP

MATEMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI

Útmutató a szakdolgozat elkészítéséhez

Bizonyítási módszerek ÉV ELEJI FELADATOK

SZOMBATHELY MEGYEI JOGÚ VÁROS

KOVÁCS BÉLA, MATEMATIKA I.

Az Európai Parlament 2010-es költségvetése Főbb iránymutatások. Összefoglalás

A szakdolgozat készítésének folyamata, tartalmi és formai követelményei

Balatoni Regionális TDM Szövetség Beszámoló a Balatoni Regionális Fejlesztési Tanács április 20.-i ülésére

Mit mondana most Petrocelli? Avagy: hol kezdődik a jogi pr?

A történelem érettségi a K-T-tengelyen Válasz Dupcsik Csaba és Repárszky Ildikó kritikájára. Kritika és válasz

Tájékoztató szakértői fórumról

Átírás:

Logikai és nyelvfilozófiai problémák a Logikai-filozófiai értekezésben Tézisek Mekis Péter 1. Témaválasztás és célkit zések Dolgozatomban a Ludwig Wittgenstein Logikai-filozófiai értekezésének (a továbbiakban: Tractatus) néhány általam alapvet nek gondolt logikai és nyelvfilozófiai problémáját tettem vizsgálat tárgyává. Igyekeztem olyan problémákat választani, amelyekkel kapcsolatban érdemi észrevételeket tudtam tenni, mert vagy elkerülték a szakirodalmi vitákat, vagy megkérd jelezhet szakirodalmi konszenzus van érvényben velük kapcsolatban. Nem törekedtem viszont arra, hogy a Tractatus hatókörén túlmutató kérdésekkel foglalkozzak. A dolgozatomban tárgyalt problémák általános filozófiai jelent ségével kapcsolatban van bennem némi bizonytalanság. 1

2. Módszerek Dolgozatom központi fejezetében a tractatusi kijelentéselmélet formális eszközökkel történ rekonstrukciójára tettem kísérletet. A formális rekonstrukció ritkán alkalmazott és nem veszélytelen módszera filozófiai szövegek értelmezésében. Éspedig két alapvet veszéllyel jár. Egyfel l azzal, hogy az alkalmazott technikai eszköztár illegitim el feltevésekkel terheli meg az értelmezett szöveget. Ezt a veszélyt azzal igyekeztem elhárítani, hogy a lehet leggyengébb keretelméletben vezettem be a rekonstrukciót. Másfel l azzal, hogy interpretációs döntéseket kényszerít ki ott is, ahol a lehet ségek nyitva tartása volna kívánatos. E problémán két módon igyekeztem úrrá lenni. Egyrészt néhány interpretációs döntést a keretelmélet gyengítésével sikerült nyitva tartani; másrészt pedig néhány interpretációs döntés mentén elágaztattam a rekonstrukciót. Így például külön tárgyaltam a tractatusi ontológia nominalista és realista értelmezését, annyi reménytelen szakirodalmi vita tárgyát. Úgy vélem, a formális rekonstrukció és a nem-formális eszközökkel történ interpretáció ideális esetben egymást segíti. A formális rekonstrukció körvonalait el zetes interpretációs munka határozza meg; de a rekonstrukció vissza is hat az interpretációra. Ennek néhány lehetséges módja: 1. kiderülhet, hogy plauzibilisnek vélt interpretációs döntések vállalhatatlan következményekkel járnak; 2. a r ekonstrukció felmutathat olyan értelmezési lehet ségeket, amelyekkel el zetesen nem vetettünk számot; 3. kiderülhet, hogy lényegesen különböz nek vélt interpretációs lehet ségek ugyanolyan logikai következményekkel járnak; 2

4. kiderülhet, hogy egymáshoz közelinek vélt interpretációs lehet ségek lényegesen különböz logikai következményekkel járnak. A felsorolást még hosszan lehetne folytatni. Az esetekben közös, hogy a formális eszközök alkalmazásával nem lezárul, hanem új irányokat vesz az interpretáció. Ez másfel l azért is kívánatos, mert a formális logikai eszköztár alkalmazása óhatatlanul nagyon er s küls el feltevéseket er ltet rá az értelmezett m re. E feltevések értelemtorzító hatásától csak a további interpretációs munka szabadíthat meg. Amelyet esetleg újabb rekonstrukciókövethet; amely viszont újabb interpretációs munkát kényszerít ki. És így tovább; ideális esetben a végtelenségig. Ennek fényében már nem olyan elkeserít, ha kit zött feladatomnak csak töredékét sikerült teljesítenem. 3. Tézisek 3.1. Tractatusi megoldások a színkizárási problémára Szakirodalmi konszenzus szerint a Tractatus ontológiai és nyelvfilozófiai elképzelései nem alkalmasak az ún. színkizárási probléma megoldására; összeegyeztethetetlen ugyanis az elemi kijelentések függetlenségének tézise és az a tény, hogy az egyazon tárgyról tett fokozati kijelentések kölcsönösen kizárják egymást. A fejezetben e konszenzus ellen léptem fel. Néhány szemléletes modell szerkesztésével megmutattam, hogy a fokozati tények lehet ségével b vített tractatusi ontológia egyfel l konzisztens, másfel l nem kategorikus. 3

Az utolsó modellek két további fontos tanulsággal is szolgálnak. Az egyik az, hogy a kijelentések logikai elemzése szükségképpen tartalmaz önkényes lépéseket. A másik az, hogy a színkizárási probléma olyan módszerekkel oldható meg a Tractatus kontextusában, amelyek a fizikai világ jelenségeinek számítógépes szimulációjában használatosak. A gondolatmenet konklúzióját tehát a következ képpen lehetne megfogalmazni: pusztán a színkizárási probléma alapján nem zárható ki, hogy világunk tényei a tractatusi elgondolások szerint vannak elrendezve; de ebben az esetben lehetetlen megkülönböztetni, hogy valódi vagy szimulált világban élünk-e. 3.2. A tractatusi kvantifikáció helyes kezelése A Wittgenstein-szakirodalomban sokáig uralkodó volt az a meggy z dés, hogy bára Tractatus filozófiai rendszere er sen problematikus, a benne foglalt logikai rendszer alkalmas a feladatai ellátására. Ezt a konszenzust kezdte ki Robert Fogelin 1977-es monográfiája. Fogelin szerint a vegyes kvantorel fordulásokat tartalmazó x yφ(x, y) vagy x yφ(x, y) formájú els rend szerkezetek nem fejezhet k ki a Tractatus logikai eszközeivel. Fogelin kritikájára PeterGeach és Scott Soames nagyjából egy id ben válaszolt a nyolcvanas évek elején. Szerintük a probléma megoldható tractatusi eszközökkel. A témában azóta megjelent publikációk kevés kivétellel konkluzívnak tekintik Soames és Geach megoldását. A fejezetben a következ k mellett érveltem: 1. Fogelin, Geach és Soames érvei egyaránt hibás premisszákon alapulnak; 2. a Fogelin által felvetett problémák más módon, de megoldhatók a Tractatus keretei között; 4

3. más problémák azonban nem t nnek megoldhatónak; nem kifejezhet például a x y(xry & yrx) összefüggés; 4. a tractatusi logikai elgondolások enyhe de filozófiailag nem ártalmatlan módosításával már minden els rend szerkezet kifejezhet vé válik. 3.3. A tractatusi logikai szimbolika rekonstrukciója Ebben a fejezetben a tractatusi kijelentéselmélet formális eszközökkel történ rekonstrukciójára tettem kísérletet. A rekonstrukció egy igen sz kre szabott halmazelmélet keretei között megy végbe, amely a fejezet végi függelékben axiomatikusan is bevezetésre került. Maga a rekonstrukció négy lépésben történt. Az els a nyelv szemantikai kereteként szolgáló logikai tér felépítése; a második az elemi kijelentések és kijelentésváltozók bevezetése; a harmadik pedig az összetett kijelentéseké és kijelentésváltozóké. Ezt követi a szokásos szemantikai fogalmak definíciója. A rekonstrukció els három lépését jelent s mértékben megnehezítette a wittgensteini képelméletnek az a következménye, hogy bármilyen legyen is egy tény logikai szerkezete, a tényt leképez kijelentésnek tükröznie kell ezt a szerkezetet. Mivel a priori nem tudhatjuk, hogy a tényeket alkotó elemi összefüggések hány alkotóelemb l és miképpen épülnek fel, a nyelv szintaxisát fel kellett készíteni tetsz legesen összetett elemi kijelentésekre. Így elveszett a szintaxisnak az a megszokott tulajdonsága, hogy a kijelentések véges jelsorozatok. Már csak ezért sem lehet a halmazelméleti keretek figyelmen kívül hagyásával rekonstruálni a tractatusi kijelentéselméletet. 5

A logikai tér két interpretációs lehet ség nyitva tartásával, összesen négy változatban került bevezetésre. A rekonstruált elmélet további változataira tehetnénk szert a kvantifikációról szóló fejezetben bevezetett különféle változóabsztrakciós m veletek alkalmazásával. Terjedelmi okokból azonban csak egy ilyen eszközt dolgoztam ki. 3.4. Megjegyzések a rekonstrukcióhoz Dolgozatom utolsó fejezetében az el z fejezetben bevezetett rekonstrukcióból kíséreltem meg következtetéseket levonni. Mindenekel tt a szakirodalomban sokat vitatott logikai tér különféle értelmezési változatairól mutattam meg, hogy kompatibilisek a rekonstrukcióban szerepl változattal. A második szakaszban néhány, a tractatusi tárgyak számosságára vonatkozó érvet vizsgáltam meg. A vizsgálatok eredménye a Tractatus idevágó megjegyzéseivel összhangban az lett, hogy a tárgyak számára szinte semmilyen a priori korlátozást nem lehet adni és így persze az elemi összefüggések összetettségére sem. A harmadik szakaszt a szintaxis és a szemantika sajátos tractatusi viszonyának szenteltem. Ez a viszony mer ben eltéra modern logikai nyelvekben megszokottól; a tractatusi szintaxist ugyanis nem lehet a logikai tér ismerete nélkül megadni. Ennek igen messzemen következményei vannak a tautológia és a következmény fogalmára nézve; ezt a témát azonban bánatomra id hiányában márnem tudtam kidolgozni. A dolgozatomat záró szakaszban a mondani-mutatni különbségtétellel foglalkoztam. Néhány példa vizsgálatával a következ kre jutottam: 1. Wittgensteinnek igaza van abban, hogy ez a különbségtétel általános érvény ; 6

2. téved viszont abban, hogy a különbségtétel abszolút volna. Az utóbbi következtetést vélem dolgozatom filozófiai értelemben legnagyobb horderej állításának. Közvetlenül érinti ugyanis a Tractatus nevezetes zárótételét. Ha nem tudunk abszolút módon különbséget tenni kimondható és kimondhatatlan között, és minden, ami adott nyelvi keretek között csak megmutatkozhat, más nyelvi keretek között kimondhatóvá válik, akkor nincs értelme a hallgatás wittgensteini parancsának sem. 4. A dolgozat témájához kapcsolódó publikációk 4.1. Saját szöveg 1. A cella, amin belül van a kulcs: Széljegyzetek Wittgenstein Tractatusához. In: Gulyás Gábor (szerk.): Megkerült dilemmák: Vajda Mihály hatvanadik születésnapjára debreceni tanítványaitól. Debrecen 1995. 118-124.o. 2. Diagnózis terápia csábítás: Wittgenstein szerepei. Diagnózis (a Szépliteratúrai Ajándék különszáma), Pécs, 1998. 44-49.o. 3. Megértés, igazság és jelentés Wittgenstein Tractatusában.Világosság 2001/2-3. 66-73.o. 4. A Tractatus kijelentéselmélete: logikai rekonstrukció. Magyar Filozófiai Szemle 2001/3. 251-278.o. 7

5. Tractatusi megoldások a színkizárási problémára. Vulgo, 2004/2. 69-81.o. 4.2. Fordítások 1. Ludwig Wittgenstein: Logikai-filozófiai értekezés. (Kontrollfordítás és utószó Polgárdi Ákossal.) Atlantisz, 2004. 2. Frank Ramsey: Recenzió Wittgenstein Tractatusáról. Vulgo, 2004/2. 190-202.o. 3. Ludwig Wittgenstein: Peter Coffey: A logika tudománya. Vulgo, 2004/2. 188-189.o. 8