Natural Deduction for Assertibility and Deniability

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F22%3A00559695" target="_blank" >RIV/67985955:_____/22:00559695 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.4204/EPTCS.358.4" target="_blank" >https://doi.org/10.4204/EPTCS.358.4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4204/EPTCS.358.4" target="_blank" >10.4204/EPTCS.358.4</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Natural Deduction for Assertibility and Deniability

Popis výsledku v původním jazyce

In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.

Název v anglickém jazyce

Natural Deduction for Assertibility and Deniability

Popis výsledku anglicky

In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.

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/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

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

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022

ISBN

—

ISSN

2075-2180

e-ISSN

2075-2180

Počet stran výsledku

14

Strana od-do

41-54

Název nakladatele

Open Publishing Association

Místo vydání

online

Místo konání akce

Łódź

Datum konání akce

14. 3. 2022

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

WRD - Celosvětová akce

Kód UT WoS článku

—