Kit Fine on Truthmakers, Relevance, and Non-classical Logic

0582839 - FLÚ 2024 RIV CH eng M - Část monografie knihy
Majer, Ondrej - Punčochář, Vít - Sedlár, Igor
Truth-Maker Semantics for Some Substructural Logics.
Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Cham: Springer, 2023 - (Faroldi, F.; Van De Putte, F.), s. 207-222. Outstanding contributions to logic, 26. ISBN 978-3-031-29414-3
Grant CEP: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11

Fine (J Philos Log 43:549–577, 2014) developed a truthmaker semantics for intuitionistic logic, which is also called exact semantics, since it is based on a relation of exact verification between states and formulas. A natural question arises as to what are the limits of Fine’s approach and whether an exact semantics of similar kind can be constructed for other important non-classical logics. In our paper, we will generalize Fine’s approach and develop an exact semantics for some substructural logics. In particular, we will provide a truthmaker semantics for the Non-associative Lambek calculus and some of its extensions. This generalization will reveal some interesting connections between Fine’s recent work on truthmaker semantics and his early work on relevant logic.
Trvalý link: https://hdl.handle.net/11104/0351052