A Generalization of Inquisitive Semantics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F16%3A00460804" target="_blank" >RIV/67985955:_____/16:00460804 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s10992-015-9379-1" target="_blank" >http://dx.doi.org/10.1007/s10992-015-9379-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10992-015-9379-1" target="_blank" >10.1007/s10992-015-9379-1</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A Generalization of Inquisitive Semantics
Popis výsledku v původním jazyce
This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.
Název v anglickém jazyce
A Generalization of Inquisitive Semantics
Popis výsledku anglicky
This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA13-21076S" target="_blank" >GA13-21076S: Základy logiky ve světle nových výsledků filosofie a vědy</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
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ů
Údaje specifické pro druh výsledku
Název periodika
Journal of Philosophical Logic
ISSN
0022-3611
e-ISSN
—
Svazek periodika
45
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
30
Strana od-do
399-428
Kód UT WoS článku
000379549900003
EID výsledku v databázi Scopus
2-s2.0-84937917699