Implying and Containing in Truthmaker Semantics
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Implying and Containing in Truthmaker Semantics
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
New Directions in Relevant Logic
ISBN
978-3-031-69940-5
Number of pages of the result
21
Pages from-to
203-223
Number of pages of the book
468
Publisher name
Springer
Place of publication
Cham
UT code for WoS chapter
—