Knowledge is a Diamond

0477325 - FLÚ 2018 RIV DE eng C - Conference Paper (international conference)
Punčochář, Vít
Knowledge is a Diamond.
Logic, Language, Information, and Computation. Berlin: Springer, 2017 - (Kennedy, J.; de Queiroz, R.), s. 304-320. Lecture Notes in Computer Science, 10388. ISBN 978-3-662-55385-5. ISSN 0302-9743.
[International Workshop, WoLLIC 2017 /24./. London (GB), 18.07.2017-21.07.2017]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : epistemic logic * substructural logic * knowledge
OECD category: Philosophy, History and Philosophy of science and technology

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.
Permanent Link: http://hdl.handle.net/11104/0273700