Název: Knowledge is a Diamond
Autoři: Punčochář, Vít
Typ dokumentu: Příspěvky z konference
Konference/Akce: International Workshop, WoLLIC 2017 /24./, London (GB), 20170718
Rok: 2017
Jazyk: eng
Abstrakt: 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.
Klíčová slova: epistemic logic; knowledge; substructural logic
Číslo projektu: GC16-07954J (CEP)
Zdrojový dokument: Logic, Language, Information, and Computation, ISBN 978-3-662-55385-5, ISSN 0302-9743

Instituce: Filosofický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0273700

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-373467


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference
 Záznam vytvořen dne 2018-03-09, naposledy upraven 2018-03-09.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet