Počet záznamů: 1
A hierarchy of dependencies
- 1.
SYSNO ASEP 0534292 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV Záznam nebyl označen do RIV Název A hierarchy of dependencies Tvůrce(i) Punčochář, Vít (FLU-F) RID, ORCID, SAI Zdroj.dok. Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V). - Helsinki : University of Helsinki, Department of Mathematics and Statistics, 2020 / Väänänen J. ; Yang F. Rozsah stran s. 32-36 Poč.str. 5 s. Forma vydání Online - E Akce Workshop on Logics of Dependence and Independence (LoDE 2020V) Datum konání 10.08.2020 - 12.08.2020 Místo konání Online Typ akce EUR Jazyk dok. eng - angličtina Země vyd. FI - Finsko Klíč. slova dependence logic ; contexts ; non-classical logics ; conditionals Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GA20-18675S GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 DOI 10138/317202 Anotace Semantic frameworks are commonly based on the notion of truth that is captured as a relation between possible worlds and formulas. The team semantics for propositional dependence logic (Yang and Va ̈a ̈na ̈nen 2016, 2017) is based on the observation that propositional dependence cannot be defined in terms of truth relative to single possible worlds. Above the layer of possible worlds, one needs to add the extra layer of teams (sets of possible worlds) and define dependency relations among statements relative to these teams. We have here an example of a peculiar semantic relativity: While atomic statements are primarily evaluated with respect to possible worlds, dependence statements are primarily evaluated with respect to teams. This paper is motivated by the view that this kind of relativity is a more integral part of language than it might seem and in order to capture it in full generality one should go beyond the two-layered framework (involving just possible worlds and sets of possible worlds) and employ a whole hierarchy of other types of semantic objects. These new semantic objects allow us to capture higher-order dependencies as well as some tricky interaction between the dependence operator and other logical operators. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2021
Počet záznamů: 1