Profil pracovníka
Témy doktorandského štúdia pre akademický rok 2024/2025
Modálne logiky a kontextuálne usudzovanieAnotácia:Študent sa v práci zameria na filozofické a matematické výskumy v širokej oblasti neklasických logík, ktoré možno klasifikovať ako formálne prostriedky na analýzu syntaktického a sémantického správania modálnych pojmov v konkrétnych kontextoch, ako napríklad deontické usudzovanie, temporálne usudzovanie, epistemické usudzovanie a doxastické usudzovanie. |
Normatívne uvažovanie a aplikácieAnotácia:Táto výskumná téma sa týka analýzy základných pojmov, ktoré sú súčasťou každodenných problémov normatívneho uvažovania, vrátane etických pravidiel, morálnych hodnôt, deterministických verzus nedeterministických systémov a teórií konania. Okrem toho sa týka vývoja logických a výpočtových nástrojov pre asistované uvažovanie v normatívnej oblasti, založených na formálnom vyjadrení týchto pojmov. |