ELTE TTK Tudomanytortenet es Tudomanyfilozofia Tanszek Budapest, Pazmany P. setany 1/A TUDOMANYFILOZOFIA SZEMINARIUM (http://hps.elte.hu/seminar) ________________________________________________ November 1 12:30 6. em. 6.54 Cs a b a F e r e n c ELTE, BTK Logika Tanszek GODEL ONTOLOGIAI BIZONYITASA Isten letezesenek ontologiai bizonyitasai felfoghatok modalis logikai levezetesekkent is. Ha Szent Anzelm klasszikus argumentumaban az 'elgondolhato, hogy' kitetelt a 'lehetseges, hogy' fordulattal interpretaljuk, akkor a modalitasok mar az eredeti valtozatban is tetten erhetok. (Az ilyen tipusu interpretaciok motivacioja altalaban az, hogy a kanti kritikanak -- "az egzisztencia nem igazi predikatum"-- elet vegyek: ha az egzisztencia nem is igazi predikatum, a szuksegszeru letezes mar az kell legyen.) Az anzelmi argumentum mellett nehany ujabb keletu gondolatmenetet (Charles Hartshorne, Alvin Plantinga) is megvizsgalunk, ennek soran a tovabbiakhoz szukseges (es esetleg nem kozismert) ismeretek is szoba kerulnek. A godeli bizonyitasban eloszor a leibnizi eredetu vonasokat probaljuk meg azonositani. A godeli lenyegi tulajdonsagok es Leibniz individualis fogalmai kozott peldaul szembeszoko az osszhang (az elobbi az utobbi egyfajta formalizalasanak is tekintheto). A godeli elmelet tovabbi jellemzoen leibnizi vonasa, hogy "modalis kollapszushoz"vezet: premisszait elfogadva bizonyithatjuk, hogy minden igaz allitas szuksegszeruen igaz. Ha az imenti konkluzio nem talalkozik metafizikai preferenciainkkal (s az interpretatorok egy reszenel egyertelmuen ez a helyzet), akkor a feladat nyilvan a kovetkezo: gyengitsuk meg az elmeletet oly modon, hogy a "kollapszust"is elkeruljuk, de az eredeti intencioval is osszhangban maradjunk. Nehany ilyen kiserletet be is mutatunk. A szeminarium szervezoje: E. Szabo Laszlo -- Laszlo E. Szabo Department of Theoretical Physics Department of History and Philosophy of Science Eotvos University, Budapest H-1518 Budapest, Pf. 32. Phone: (36-1)2090-555/6671 Fax: (36-1)372-2509 Home: (36-1)200-7318 http://hps.elte.hu/~leszabo