According to a widely held principle—the poss-ability principle—an agent, S, is able to only if it is metaphysically possible for S to. I argue against the poss-ability principle by developing a novel class of counterexamples. I then argue that the consequences of rejecting the poss-ability principle are interesting and far-reaching.

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Evolutionary debunking arguments abound, but it is widely assumed that they do not arise for our perceptual beliefs about midsized objects, insofar as the adaptive value of our object beliefs cannot be explained without reference to the objects themselves. I argue that this is a mistake. Just as with moral beliefs, the adaptive value of our object beliefs can be explained without assuming that the beliefs are accurate. I then explore the prospects for other sorts of vindications of our object (...) beliefs—which involve “bootstrapping” from our experiences as of midsized objects—and I defend bootstrapping maneuvers against a variety of objections. Finally, I argue for an explanatory constraint on legitimate bootstrapping and show how some attempts to respond to debunking arguments run afoul of the constraint. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

I develop a new argument against Russellian Monism about consciousness.

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (shrink)

Relativity theory is often said to support something called ‘the four-dimensional view of reality’. But there are at least three different views that sometimes go by this name. One is ‘spacetime unitism’, according to which there is a spacetime manifold, and if there are such things as points of space or instants of time, these are just spacetime regions of different sorts: thus space and time are not separate manifolds. A second is the B-theory of time, according to which the (...) past, present, and future are all equally real and there is nothing metaphysically special about the present. A third is perdurantism, according to which persisting material objects are made up of different temporal parts located at different times. We sketch routes from relativity to unitism and to the B-theory. We then discuss some routes to perdurantism, via the B-theory and via unitism. (shrink)

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)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

One of the most influential arguments in favour of perdurantism is the Argument from Vagueness. The argument proceeds in three stages: The first aims to establish atemporal universalism. The second presents a parallel argument in favour of universalism in the context of temporalized parthood. The third argues that diachronic universalism entails perdurantism. I offer a novel objection to the argument. I show that on the correct way of formulating diachronic universalism the principle does not entail perdurantism. On the other hand, (...) if diachronic universalism is formulated as Sider proposes, the argument fails to establish his principle, and thus perdurantism. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

An introduction to composition, persistence, and identity.

An introduction to the theories of endurantism and perdurantism, and persistence more broadly.

Most meanings we express belong to large families of variant meanings, among which it would be implausible to suppose that some are much more apt for being expressed than others. This abundance of candidate meanings creates pressure to think that the proposition attributing any particular meaning to an expression is modally plastic: its truth depends very sensitively on the exact microphysical state of the world. However, such plasticity seems to threaten ordinary counterfactuals whose consequents contain speech reports, since it is (...) hard to see how we could reasonably be confident in a counterfactual whose consequent can be true only if a certain very finely tuned microphysical configuration obtains. This essay develops the foregoing puzzle and explores several possible solutions. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

Endurantism, the view that material objects are wholly present at each moment of their careers, is under threat from supersubstantivalism, the view that material objects are identical to spacetime regions. I discuss three compromise positions. They are alike in that they all take material objects to be composed of spacetime points or regions without being identical to any such point or region. They differ in whether they permit multilocation and in whether they generate cases of mereologically coincident entities.

In what does philosophical progress consist? 'Vertical' progress corresponds to development within a specific paradigm/framework for theorizing (of the sort associated, revolutions aside, with science); 'horizontal' progress corresponds to the identification and cultivation of diverse paradigms (of the sort associated, conservativism aside, with art and pure mathematics). Philosophical progress seems to involve both horizontal and vertical dimensions, in a way that is somewhat puzzling: philosophers work in a number of competing frameworks (like artists or mathematicians), while typically maintaining that only (...) one of these is correct (like scientists). I diagnose this situation as reflecting that we are presently quite far from the end of inquiry into philosophical methodology. The good news is that we appear to be making advances on this score. The bad news is that failure to recognize or make explicit that our standards are in flux often leads to dogmatism, as I illustrate by attention to three assumptions presently operative in metaphysical and metametaphysical contexts. I close by identifying a tension between vertical and horizontal progress in philosophy, and suggesting an updated version of Carnap's principle of tolerance for new philosophical forms. (shrink)

In ‘Ramseyan Humility’ David Lewis argues that a particular view about fundamental properties, quidditism, leads to the position that we are irredeemably ignorant of the identities of fundamental properties. We are ignorant of the identities of fundamental properties since we can never know which properties play which causal roles, and we have no other way of identifying fundamental properties other than by the causal roles they play. It has been suggested in the philosophical literature that Lewis’ argument for Humility is (...) merely an instance of traditional scepticism, to which traditional responses to scepticism are applicable. I agree that in ‘Ramseyan Humility’ Lewis does present an argument to which it is appropriate to consider the applicability of responses to traditional scepticism—he argues that we irredeemably lack the evidence to rule out possibilities in which different properties occupy the causal roles described by our best physical theory. And prima facie this is just the kind of argument responses to traditional scepticism are designed to tackle. However, I will argue that Lewis bolsters this argument with a second. This second argument serves to deepen Lewis’ case and cannot be met with a response to traditional scepticism. For Lewis argues that not only do we lack evidence for which properties play which roles, we lack the ability to grasp any such proposition about role-occupancy. And if we cannot grasp any such proposition we cannot know it. (shrink)

Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...) level of metaphysics and epistemology alike with a sortalist position. Sortalism is the position which insists that, if the question is whether a and b are the same, it has to be asked what are they? Any sufficiently specific answer to that question will bring with it a principle of activity or functioning and a mode of behaviour characteristic of some particular kind of thing by reference to which questions of persistence or non-persistence through change can be adjudicated.These contentions are illustrated by reference to familiar examples such as the human zygote, the Ship of Theseus and Shoemaker's Brown-Brownson. The first example is hostage for a mass of unproblematical cases. The problems presented by the second and third sort of examples arise chiefly (it is claimed) from an incompleteness in our conceptions of the relevant sort—the what the thing in question is. That incompleteness need not prevent us from knowing perfectly well which thing we are referring to. In the concluding section, sortalism is defended against various accusations of anthropocentrism.The paper touches on the interpretation of Heraclitus, Leibniz's theory of clear indistinct ideas, the difficulties of David Lewis's ‘perdurantist’ or stroboscopic view of persistence, four-dimensionalism, and the relation of personal identity both to experiential memory and to the particular bodily physiognomy of a subject. At some points—as in connection with the so-called Only a and b rule—the paper corrects, supplements or extends certain theses or formulations proposed in the author's Sameness and Substance Renewed (2001). (shrink)

Intuitively, (1)-(3) seem to express genuine claims (true or false) about what the world is like, attempts to correctly describe parts of extra-linguistic reality. By contrast, it is tempting to regard (4)-(6) as merely reflecting decisions (or conventions, or dispositions, or rules) concerning the terms in which that extra-linguistic reality is described, decisions about which things to label with 'vixen', 'bachelor' or 'cup'.

I defend (metaphysical) ground against recent, unanswered objections aiming to dismiss it from serious philosophical inquiry. Interest in ground stems from its role in the venerable metaphysical project of identifying which facts hold in virtue of others. Recent work on ground focuses on regimenting it. But many reject ground itself, seeing regimentation as yet another misguided attempt to regiment a bad idea (like phlogiston or astrology). I defend ground directly against objections that it is confused, incoherent, or fruitless. This vindicates (...) the very attempt to regiment ground. It also refocuses our attention on the genuine open questions about ground and away from the distracting, unpersuasive reasons for dismissing them. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

The essay is a partial investigation into the semantics of the explanatory connective ‘because’. After three independently plausible assumptions about ‘because’ are presented in some detail, it is shown how their interaction generates a puzzle about ‘because’, once they are combined with a common view on conceptual analysis. Four possible solutions to the puzzle are considered.

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (shrink)

Sider has a favourable view of supersubstantivalism (the thesis that all material objects are identical to the regions of spacetime that they occupy). This paper argues that given supersubstantivalism, Sider's argument from vagueness for (mereological) universalism fails. I present Sider's vagueness argument (§§II-III), and explain why - given supersubstantivalism - some but not all regions must be concrete in order for the argument to work (§IV). Given this restriction on what regions can be concrete, I give a reductio of Sider's (...) argument (§V). I conclude with some brief comments on why this is not simply an ad hominem against Sider, and why this incompatibility of supersubstantivalism with the argument from vagueness is of broader interest (§VI). (shrink)

The paper challenges Williamson’s safety based explanation for why we cannot know the cut-off point of vague expressions. We assume throughout (most of) the paper that Williamson is correct in saying that vague expressions have sharp cut-off points, but we argue that Williamson’s explanation for why we do not and cannot know these cut-off points is unsatisfactory. -/- In sect 2 we present Williamson's position in some detail. In particular, we note that Williamson's explanation relies on taking a particular safety (...) principle ('Meta-linguistic belief safety' or 'MBS') as a necessary condition on knowledge. In section 3, we show that even if MBS were a necessary condition on knowledge, that would not be sufficient to show that we cannot know the cut-off points of vague expressions. In section 4, we present our main case against Williamson's explanation: we argue that MBS is not a necessary condition on knowledge, by presenting a series of cases where one's belief violates MBS but nevertheless constitutes knowledge. In section 5, we present and respond to an objection to our view. And in section 6, we briefly discuss the possible directions a theory of vagueness can take, if our objection to Williamson's theory is taken on board. (shrink)

It is, I think, possible to generate a variation of McTaggart’s (Mind 17:457–474, 1908 ) paradox that infects all extant versions of presentism. This is not to say that presentism is doomed to failure. There may be ways to modify presentism and I can’t anticipate all such modifications, here. For the purposes of the paper I’ll understand ‘presentism’ to be the view that for all x , x is present (cf. Crisp ( 2004 : 18)). It seems only right that, (...) at a conference devoted to McTaggart’s work on time, we continue to pursue new ways in which his now infamous arguments remain relevant to us today. (shrink)

How is the debate between endurantism and perdurantism affected by the transition from pre-relativistic spacetimes to relativistic ones? After suggesting that the endurance vs. perdurance distinction may run together a pair of cross-cutting distinctions, I discuss two recent attempts to show that the transition in question does serious damage to endurantism.

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

We discuss explanation of an earlier event by a later event, and argue that prima facie cases of backwards event explanation are ubiquitous. Some examples: (1) I am tidying my flat because my brother is coming to visit tomorrow. (2) The scarlet pimpernels are closing because it is about to rain. (3) The volcano is smoking because it is going to erupt soon. We then look at various ways people might attempt to explain away these prima facie cases by arguing (...) that in each case the 'real' explanation is something else. We argue that none of the explaining-away strategies are successful, and so any plausible account of explanation should either make room for backwards explanation, or have a good story to tell about why it doesn't have to. (shrink)

Paper begins: Chapter 4 of Hud Hudson’s stimulating book The metaphysics of hyperspace contains an discussion of the notion of location in a container spacetime. Hudson uses this idea to define a number of what we might call modes of extension or ways of being extended. A pertended object is what most people think of as a typical extended object — it is made up of spatial parts, one part for each region the object pervades. An entended object is an (...) extended simple (or a complex object made up of extended simples). Elsewhere, I’ve argued that entended objects are conceptually possible; that nothing about the concept of “extended” rules out entention. (More about how this argument works below). Hudson thinks that I did not go far enough. Besides pertended and entended objects, he also sees conceptual room for what he calls spanners and multiply located objects. These last two ways of being extended are even more exotic than extended simples. …. (shrink)

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)