Knowledge is a Diamond

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Knowledge is a Diamond

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Knowledge is a Diamond

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GC16-07954J" target="_blank" >GC16-07954J: Od sdílení evidence ke skupinové znalosti</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

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

Název statě ve sborníku

Logic, Language, Information, and Computation

ISBN

978-3-662-55385-5

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

17

Strana od-do

304-320

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

London

Datum konání akce

18. 7. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000428905900022