Implying and Containing in Truthmaker Semantics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F25%3A00638326" target="_blank" >RIV/67985955:_____/25:00638326 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-031-69940-5_9" target="_blank" >https://doi.org/10.1007/978-3-031-69940-5_9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-69940-5_9" target="_blank" >10.1007/978-3-031-69940-5_9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Implying and Containing in Truthmaker Semantics

Popis výsledku v původním jazyce

Kit Fine’s truthmaker semantics allows us to distinguish between implying and containing: A implies B iff every truthmaker of A includes (as a part) a truthmaker of B, and A contains B iff every truthmaker of B is included (as a part) in a truthmaker of A. These are two different notions that can both be transformed into a proper object language connective. While the former notion amounts to the usual notion of implication, the latter one leads to a novel connective with interesting logical properties. In this paper we put forward a truthmaker semantics for the implication of the relevant logic R and we accompany it with the corresponding “containing” operator. This framework will allow us to relate two seemingly very different kinds of relevant implication that has so far been studied separately, namely the implication of the logic R and Angell’s analytic containment. Our approach semantically determines a logic that we call RAC. We explore its connection to R, the logic of analytic containment AC, Urquhart’s operational semantics and inquisitive semantics.

Název v anglickém jazyce

Implying and Containing in Truthmaker Semantics

Popis výsledku anglicky

Kit Fine’s truthmaker semantics allows us to distinguish between implying and containing: A implies B iff every truthmaker of A includes (as a part) a truthmaker of B, and A contains B iff every truthmaker of B is included (as a part) in a truthmaker of A. These are two different notions that can both be transformed into a proper object language connective. While the former notion amounts to the usual notion of implication, the latter one leads to a novel connective with interesting logical properties. In this paper we put forward a truthmaker semantics for the implication of the relevant logic R and we accompany it with the corresponding “containing” operator. This framework will allow us to relate two seemingly very different kinds of relevant implication that has so far been studied separately, namely the implication of the logic R and Angell’s analytic containment. Our approach semantically determines a logic that we call RAC. We explore its connection to R, the logic of analytic containment AC, Urquhart’s operational semantics and inquisitive semantics.

Druh

C - Kapitola v odborné knize

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í

2025

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 knihy nebo sborníku

New Directions in Relevant Logic

ISBN

978-3-031-69940-5

Počet stran výsledku

21

Strana od-do

203-223

Počet stran knihy

468

Název nakladatele

Springer

Místo vydání

Cham

Kód UT WoS kapitoly

—