|
|
Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.
Dragonová, Ivana ; Sedlár, Igor (vedoucí práce) ; Punčochář, Vít (oponent)
Modálny operátor je hyperintenzionálny, ak nerešpektuje pravidlo ekvivalencie (RE), podľa ktorého ak sú dve formuly logicky ekvivalentné, tak aj výsledky aplikácie modál- neho operátoru na nich sú ekvivalentné. Typicky sa naráža na túto situáciu napríklad pri témach ako vedomosti alebo presvedčenie, ktoré požadujú jemnejšie rozlíšenie výz- namov než sú propozície. Táto práca sa venuje triede modálnych logík neuzatvorených na pravidlo (RE), nazývajúcej sa hyperintenzionálna modálna logika a ponúka prehľad sémantických prístupov, ktoré môžeme použiť na vhodnú interpretáciu tejto triedy logík. Zaoberáme sa stavovým prístupom zavedeným Rantalom(1982) a neskôr rozšíreným Wansin- gom(1990) a zaoberáme sa aj štrukturalistickým prístupom navrhnutým Cresswellom(1975). V poslednej časti sa venujeme nedávnemu hyperintenzionálnemu prístupu (Sedlár(2021), Pascucci and Sedlár(2023)) a ukážeme, že zmienený stavový aj štrukturalistický prístup môžu byť modelované vnútri Sedlárových hyperintenzionálnych modelov. Dokazujeme aj úplnosť všetkých zmienených hyperintenzionálnych sémantických prístupov - všetky z nich sú korektné a úplné vzhľadom na najmenšiu (hyperintenzionálnu) modálnu logiku. 1
|
host ::
RSS.