I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Much contemporary ontological inquiry takes place within the so-called ‘Quinean tradition’ but, given that some aspects of Quine’s project have been widely abandoned even by those who consider themselves Quineans, it is unclear what this amounts to. Fortunately recent work in metaontology has produced two relevant results here: a clearer characterisation of the metaontology uniting the aforementioned Quineans, most notably undertaken by Peter van Inwagen, and a raft of criticisms of that metaontology. In this paper I critique van Inwagen’s Quinean (...) metaontology, finding that certain challenges, supplemented by pressure to reflect more closely Quine’s work, should drive Quineans to adopt a stronger metaontology incorporating more of Quine’s radical views. I conclude that while van Inwagen’s Quineanism is problematic there are prospects for a viable, more wholeheartedly Quinean, metaontology. (shrink)

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

This Critical Notice is about aboutness in logic and language. In a first part, I discuss the origin of the issue and the philosophical background to Yablo's book Aboutness (PUP 2014), which is itself the subject of the second and main part of my paper.

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (shrink)

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full‐fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full‐fledged objects. But whatever one takes “full‐fledged object” to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers.In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View. The Minimalist View may be summarized in the slogan: “Count x as an object iff it does not overlap with any y you have already counted as an object”. The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all.We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting “conceptually salient” entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

This paper argues for including stuff in one's ontology. The distinction between things and stuff is first clarified, and then three different ontologies of the physical universe are spelled out: a pure thing ontology, a pure stuff ontology, and a mixed ontology of both things and stuff. Eleven different reasons for including stuff in one's ontology are given. Then five objections to positing stuff are considered and rejected.

The Razor commands us not to multiply entities without necessity. I argue for an alternative principle—The Laser—which commands us not to multiply fundamental entities without necessity.

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

First we review highlights of the ongoing debate about foundations of category theory, beginning with Fefermantop-down” approach, where particular categories and functors need not be explicitly defined. Possible reasons for resisting the proposal are offered and countered. The upshot is to sustain a pluralism of foundations along lines actually foreseen by Feferman (1977), something that should be welcomed as a way of resolving this long-standing debate.

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts of natural number. And it gives a (...) critical examination of Frege’s views of numbers and plural constructions, and sketches the view of plural constructions as devices for talking about the many (as such), and an account of natural numbers as properties of a special kind, plural properties. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

I offer a diagnosis of the parallelism between the Doctrine of Potential Parts and the Doctrine of Potential Wholes and briefly examine its bearing on Johansson’s account of the Tibbles-Tib Problem.

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is true, (...) then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...) are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios (...) in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

This is a position article summarizing our approach to the philosophy of space and spatial representation. Our concern is mostly methodological: above all, we argue that a number of philosophical puzzles that arise in this field—puzzles concerning the nature of spatial entities, their material and mereological constitution, their relationship with the space that they occupy—stem from a confusion between semantic issues and true metaphysical concerns.

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (shrink)

By the 1960s many, perhaps most, philosophers had adopted 'physicalism' – the view that physical causes fully account for mental activities. However, controversy persists about what counts as 'physical causes'. 'Reductive' physicalists recognize only microphysical (elementary-particle-level) causality. Many, perhaps most, physicalists are 'non-reductive' – they hold that entities considered by other 'special' sciences have causal powers. Philosophy of chemistry can help resolve main issues in philosophy of mind in three ways: developing an extended mereology applicable to chemical combination; testing whether (...) 'singularities' prevent reduction of chemistry to microphysics; and demonstrating 'downward causation' in complex networks of chemical reactions. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) possible). We can identify it in a class that we were previously sure was a class of things that are necessary – we might show it is a theorem of a logical system that we have confidence in, or that the sentence appears to be true simply in virtue of the meanings of the words, or that it is a true statement involving names or about natural kinds of the “necessary a posteriori” sort discussed by Kripke and Putnam, and there are perhaps other classes of claims which we are prepared to accept are necessary if true.1 Likewise, we might establish the possibility of something occurring by reference to a class of well-established or uncontroversial possibilities: e.g. we are inclined to think that it is possible (in the broadest sense) for an event to occur in the future if one of the same kind has occurred in the past. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)