Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
The Mereological Basis of Truthmaker Semantics
View through CrossRef
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.
Title: The Mereological Basis of Truthmaker Semantics
Description:
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.
Related Results
Truthmaking
Truthmaking
Truthmaking is the relationship that holds between truths and the objects in the world in virtue of which those truths are true. Truthmaker theorists deploy the idea of truthmaking...
Truthmaking, Supervenience, and Reduction
Truthmaking, Supervenience, and Reduction
There are two main theories of ontological commitment: the quantifier view, and the truthmaker view. Since there are some truths that apparently commit us to certain entities, but ...
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming la...
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known co...
Measure semantics and qualitative semantics for epistemic modals
Measure semantics and qualitative semantics for epistemic modals
In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown by Yalcin (2006, 2009, 2010) to result from Kratzer’s (1991) semantics...
Measure semantics and qualitative semantics for epistemic modals
Measure semantics and qualitative semantics for epistemic modals
In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown by Yalcin (2006, 2009, 2010) to result from Kratzer’s (1991) semantics...
The Mereological City
The Mereological City
In a positive departure from modernism, the work of the art critic and urbanist Ludwig Hilberseimer offers schemata towards the design for the city itself: its mereological composi...
Mereological Syntax
Mereological Syntax
An argument for replacing Chomsky’s set-theoretic Merge view of syntax with a theory of syntax based on mereological objects.
Mereology is the study of parthood—w...