This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], 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.

David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic framework or (...) in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

I identify an inconsistency in Jago’s theory of truth. I show that Jago is committed to the identity of the proposition that the proposition that A is true and the proposition that A. I show that Jago is committed to the proposition that A being true because A if the proposition that A is true. I show that these two commitments, given the rest of Jago’s theory, entail a contradiction. I show that while the latter commitment follows from Jago’s theory (...) of truth, even by Jago’s own lights he should not be committed to the identity of the proposition that the proposition that A is true and the proposition that A. (shrink)

It is natural to think that social groups are concrete material particulars, but this view faces an important objection. Suppose the chess club and nature club have the same members. Intuitively, these are different clubs even though they have a common material basis. Some philosophers take these intuitions to show that the materialist view must be abandoned. I propose an alternative explanation. Social groups are concrete material particulars, but there is a psychological explanation of nonidentity intuitions. Social groups appear coincident (...) but nonidentical because they are perceived to be governed by conflicting social norms. (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

There are many ways for truths to be true. How should we understand that idea? One is that there are different kinds of truth: the _ways_ are different truth-like properties. Another understanding is that a truth can be made true in different ways, by different kinds of entities. The former understanding supports alethic pluralism. But the latter can be understood as a kind of monism: truth is the existential property of having some truthmaker or other. On this view, the differences (...) reside in how a truth is made true, but not in its being true. I’ll discuss how these two understandings differ and what the potential advantages of the latter idea might be. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)