Tudományfilozófia Szeminárium, Németi István

ELTE TTK Tudománytörténet és Tudományfilozófia Tanszék Budapest, Pázmány P. sétány 1/A Tudományfilozófia Szeminárium ________________________________________________ Május 6. 12:30 6. em. 662 Németi István MTA Matematikai Kutató Intézet Miért pont elsőrendű logikában célszerű a tudományos (pl. fizikai) elméleteket formalizálni? #A tudomanyos elmeletek (pl. relativitaselmelet) logikai formalizalasakor elvben valaszthatnank tobbfele logikai rendszer kozul, pl. kijelenteskalkulus (azaz nulladrendu logika), elsorendu logika, magasabbrendu logika. (Persze vannak masiranyu varialasi lehetosegek is, pl. modalis logika, kvantumlogika stb, erre majd kiterunk.) (Valamely tudomanyos elmelet logikai formalizalasanak celja lehet pl. az elmelet logikai analizise, vagy az elmelet jobb es melyebb megertese, vagy Matocsi Tamas konyvenek bevezeteseben megfogalmazott tisztanlatasi celok, vagy az elmelet logikai rekonstrukcioja, stb.) Azt a tezist fogjuk "bizonyitani", hogy pont az elsorendu logika a jo szint, es magasabbrendu logika hasznalata mar azt eredmenyezi, hogy halmazelmelettol fuggetlen allitasok (pl. kontinuum hipotezis) megjelennenek a formalizalt fizika nyelven mint (latszolagos) fizikai allitasok. Bemutatjuk, hogy ez nem kivanatos. #Kicsit megvizsgaljuk a matematikai elmeletek es a fizikai elmeletek kozotti kapcsolatokat, kiterunk a Field:Science without number cimu konyv (nominalista) programjara is, sot meg a Hawking fele TOE is szobakerulhet. Ezek reven (pl. Field konyve) felvetodnek majd ontologiai kerdesek is. (Mi letezik? Mirol beszelunk? Miert jo ez nekunk?) -- 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