Intensionalisation of Logical Operators

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F14%3A00436789" target="_blank" >RIV/67985955:_____/14:00436789 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Intensionalisation of Logical Operators

Popis výsledku v původním jazyce

This paper introduces and explores semantics for propositional laguage in which every logical operator is intensional in a specific sense: its meaning is not based on truth conditions but on assertibility conditions. Assertibility is a relation between contexts and formulas, and contexts are modeled as sets of possible worlds. In the semantics, the consequence relation preserves assertibility instead truth. A system of natural deduction for this semantics is formulated and completeness proved. At the end, the semantics is compared with two similar frameworks: Wansing's constructive connexive logic and inquisitive semantics.

Název v anglickém jazyce

Intensionalisation of Logical Operators

Popis výsledku anglicky

This paper introduces and explores semantics for propositional laguage in which every logical operator is intensional in a specific sense: its meaning is not based on truth conditions but on assertibility conditions. Assertibility is a relation between contexts and formulas, and contexts are modeled as sets of possible worlds. In the semantics, the consequence relation preserves assertibility instead truth. A system of natural deduction for this semantics is formulated and completeness proved. At the end, the semantics is compared with two similar frameworks: Wansing's constructive connexive logic and inquisitive semantics.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

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

Rok uplatnění

2014

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

The logica yearbook 2013

ISBN

978-1-84890-144-5

ISSN

—

e-ISSN

—

Počet stran výsledku

13

Strana od-do

173-185

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

17. 6. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—