Original title: Knowledge is a Diamond
Authors: Punčochář, Vít
Document type: Papers
Conference/Event: International Workshop, WoLLIC 2017 /24./, London (GB), 20170718
Year: 2017
Language: eng
Abstract: 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 a knows a proposition iff 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.
Keywords: epistemic logic; knowledge; substructural logic
Project no.: GC16-07954J (CEP)
Funding provider: GA ČR
Host item entry: Logic, Language, Information, and Computation, ISBN 978-3-662-55385-5, ISSN 0302-9743

Institution: Institute of Philosophy AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0273700

Permalink: http://www.nusl.cz/ntk/nusl-373467


The record appears in these collections:
Research > Institutes ASCR > Institute of Philosophy
Conference materials > Papers