Show simple item record

Hyperintenzionální modální logika: Motivace, sémantické přístupy a základní teorie
dc.contributor.advisorSedlár, Igor
dc.creatorDragonová, Ivana
dc.date.accessioned2023-07-25T01:19:01Z
dc.date.available2023-07-25T01:19:01Z
dc.date.issued2023
dc.identifier.urihttp://hdl.handle.net/20.500.11956/183202
dc.description.abstractA 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. 1en_US
dc.description.abstractModá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. 1cs_CZ
dc.languageEnglishcs_CZ
dc.language.isoen_US
dc.publisherUniverzita Karlova, Filozofická fakultacs_CZ
dc.subjectEpistemic logic|hyperintensions|logical semantics|modal logicen_US
dc.subjectEpistemická logika|hyperintenze|logická sémantika|modální logikacs_CZ
dc.titleHyperintensional Modal Logic: Motivation, Semantic Frameworks, and Basic Theory.en_US
dc.typebakalářská prácecs_CZ
dcterms.created2023
dcterms.dateAccepted2023-06-16
dc.description.departmentKatedra logikycs_CZ
dc.description.departmentDepartment of Logicen_US
dc.description.facultyFaculty of Artsen_US
dc.description.facultyFilozofická fakultacs_CZ
dc.identifier.repId254335
dc.title.translatedHyperintenzionální modální logika: Motivace, sémantické přístupy a základní teoriecs_CZ
dc.contributor.refereePunčochář, Vít
thesis.degree.nameBc.
thesis.degree.levelbakalářskécs_CZ
thesis.degree.disciplineLogikacs_CZ
thesis.degree.disciplineLogicen_US
thesis.degree.programLogikacs_CZ
thesis.degree.programLogicen_US
uk.thesis.typebakalářská prácecs_CZ
uk.taxonomy.organization-csFilozofická fakulta::Katedra logikycs_CZ
uk.taxonomy.organization-enFaculty of Arts::Department of Logicen_US
uk.faculty-name.csFilozofická fakultacs_CZ
uk.faculty-name.enFaculty of Artsen_US
uk.faculty-abbr.csFFcs_CZ
uk.degree-discipline.csLogikacs_CZ
uk.degree-discipline.enLogicen_US
uk.degree-program.csLogikacs_CZ
uk.degree-program.enLogicen_US
thesis.grade.csVýborněcs_CZ
thesis.grade.enExcellenten_US
uk.abstract.csModá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. 1cs_CZ
uk.abstract.enA 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. 1en_US
uk.file-availabilityV
uk.grantorUniverzita Karlova, Filozofická fakulta, Katedra logikycs_CZ
thesis.grade.code1
uk.publication-placePrahacs_CZ
uk.thesis.defenceStatusO


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV