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
The Generation of Semantics in Natural Language and the Formation of Brain Intelligence
The Generation of Semantics in Natural Language and the Formation of Brain Intelligence
The foundation of life phenomenon is the abilities of representation, memory and behavior of a life form. Human natural language can describe and interpret this matter world and na...
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 ...
Truthmaker Theory without Truthmakers
Truthmaker Theory without Truthmakers
AbstractTruthmaking without truthmakers (TWT, for short) is the thesis that although every true proposition is made true by reality, there need not be particular entities (like fac...
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...