Název:
Hyperintenzionální modální logika: Motivace, sémantické přístupy a základní teorie
Překlad názvu:
Hyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.
Autoři:
Dragonová, Ivana ; Sedlár, Igor (vedoucí práce) ; Punčochář, Vít (oponent) Typ dokumentu: Bakalářské práce
Rok:
2023
Jazyk:
eng
Abstrakt: [eng][cze] A modal operator is hyperintensional if it does not respect the Equivalence Rule (RE), according to which if two formulas are logically equivalent, then so are the results of applying the modal operator to them. Typically, this happens when dealing with topics finer-grained than propositions, such as the notions of knowledge and belief. This thesis discusses the class of modal logics not closed under (RE) called hyperintensional modal logics and gives an overview of the semantic approaches one can use to give a suitable interpretation for this class of logics. We discuss a state-based approach first introduced by Rantala(1982) and later developed by Wansing(1990) and a structuralist approach proposed by Cresswell(1975). In the final part, we discuss a recent approach by Sedlár (2021), Pascucci and Sedlár (2023), and show that the above-mentioned state-based and structuralist approaches can both be modeled within Sedlár's hyperintensional models. We prove completeness results for the discussed hyperintensional semantic frameworks - all of them are sound and complete with respect to the smallest (hyperintensional) modal logic. 1Modá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
Klíčová slova:
Epistemická logika|hyperintenze|logická sémantika|modální logika; Epistemic logic|hyperintensions|logical semantics|modal logic