 Modális logikák formális vizsgálata TÉMAKIÍRÁS Intézmény: Eötvös Loránd Tudományegyetem filozófiai tudományok Filozófiatudományi Doktori Iskola témavezető: Gyenis Zalán belső konzulens: E.Szabó László helyszín (magyar oldal): ELTE BTK helyszín rövidítés: ELTE A kutatási téma leírása: A logika számos, sokszor más területekről (mint például a matematika, filozófia, nyelvészet, jog) származó problémáinak vizsgálatánál hagyományos eljárásnak számít a formális, algebrai módszerek használata. A tervezett témában univerzális algebrai logikai eszközökkel vizsgálnák különféle modális logikákat, kis hangsúlyt fektetve ezen logikák eldönthetőségi kérdéseire. előírt nyelvtudás: angol felvehető hallgatók száma: 1 Jelentkezési határidő: 2024-05-06 |