Knowledge is a Diamond

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F17%3A00477325" target="_blank" >RIV/67985955:_____/17:00477325 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-662-55386-2_22" target="_blank" >http://dx.doi.org/10.1007/978-3-662-55386-2_22</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-55386-2_22" target="_blank" >10.1007/978-3-662-55386-2_22</a>

Result language
angličtina
Original language name
Knowledge is a Diamond
Original language description
In the standard epistemic logic, the knowledge operator is represented as a box operator, a universal quantifier over a set of possible worlds. There is an alternative approach to the semantics of knowledge, according to which an agent knows a proposition if a has a reliable (e.g. sensory) evidence that supports the proposition. In this interpretation, knowledge is viewed rather as an existential, i.e. a diamond modality. In this paper, we will propose a formal semantics for substructural logics that allows to model knowledge on the basis of this intuition. The framework is strongly motivated by a similar semantics introduced by (Bílková, Majer, Peliš, 2016). However, as we will argue, our framework overcomes some unintuitive features of the semantics from (Bílková, Majer, Peliš, 2016). Most importantly, knowledge does not distribute over disjunction in our logic.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GC16-07954J" target="_blank" >GC16-07954J: From Shared Evidence to Group Attitudes</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)