This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine's abstract theory of part in Fine [J Philos 107(11):559-589, 2010], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.
The Mereological Basis of Truthmaker Semantics
Daniele Porello;Giovanni Gonella
2024-01-01
Abstract
This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine's abstract theory of part in Fine [J Philos 107(11):559-589, 2010], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
