Mereology and truth-making
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 3
Abstract
Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence the propositions in question are true. However, even without endorsing the extreme view that all contingent propositions have truth-makers, it turns out to be puzzlingly hard to provide intuitively convincing candidate truth-makers for even a core class of basic mereological propositions. Part of the problem is that the relation of part to whole is ontologically intimate in a way reminiscent of identity. Such intimacy bespeaks a formal or internal relation, which typically requires no truth-makers beyond its terms. But truth-makers are held to necessitate their truths, so whence the contingency when A is part of B but need not be, or B need not have A as part? This paper addresses and attempts to disentangle the conundrum.
Authors and Affiliations
Peter Simons
Keywords
Related Articles
- EP ID EP202123
- DOI 10.12775/LLP.2015.020
- Views 67
- Downloads 0
Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015
Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6.
Rational Agency from a Truth-Functional Perspective
The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of ra...
Category Free Category Theory and Its Philosophical Implications
There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relat...
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
Mereology and truth-making
Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence...