This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

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.

Many philosophers believe that the criteria of identity over time for ordinary objects entail that such objects are permanent members of certain sortal kinds. The sortal kinds in question have come to be known as substance sortal kinds. But in this article, I defend a criterion of identity that is suited to phasalism, the view that alleged substance sortals are in fact phase sortals. The criterion I defend is a sortal‐weighted version of a change‐minimizing criterion first discussed by Eli Hirsch. (...) I present this criterion and then argue that it withstands attempts to show that it is inferior to non‐phasalist rivals. (shrink)

A presentation of the Lewis-Sider argument from vagueness for unrestricted composition and possible responses.

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

According to the Nomological Argument, observed regularities in nature are best explained by an appeal to a supernatural being. A successful explanation must avoid two perils. Some explanations provide too little structure, predicting a universe without regularities. Others provide too much structure, thereby precluding an explanation of certain types of lawlike regularities featured in modern scientific theories. We argue that an explanation based in the creative, intentional action of a supernatural being avoids these two perils whereas leading competitors do not. (...) Although our argument falls short of a full defense, it does suggest that the Nomological Argument is worthy of philosophical attention. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

Abstract:A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued thatobjectis not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a whole (Spelke, (...) 1990) is a sortal for both infants and adults. Furthermore,objectmay be the infant's first sortal and more specific sortals such ascupanddogmay be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such ascupanddog. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Some philosophical positions maintain that some aspect of reality depends on human practices, cognitive attitudes or sentiments. This paper presents a framework for understanding such positions in a way that renders them immune to a number of natural but allegedly devastating objections.

Philosophy Compass, Volume 1. Oxford: Blackwell, 2006.

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.

Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

This paper defends the view that ontological questions (properly understood) are easy—too easy, in fact, to be subjects of substantive and distinctively philosophical debates. They are easy, roughly, in the sense that they may be resolved straightforwardly—generally by a combination of conceptual and empirical enquiries. After briefly outlining the view and some of its virtues, I turn to examine two central lines of objection. The first is that this ‘easy’ approach is itself committed to substantive ontological views, including an implausibly (...) permissive ontology. The second is that it, like neo-Fregean views, relies on transformation rules that are questionable on both logical and ontological grounds. Ultimately, I will argue, the easy view is not easily assailed by either of these routes, and so remains (thus far) a tenable and attractive approach. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

Cities are mysteriously attractive. The more we get used to being citizens of the world, the more we feel the need to identify ourselves with a city. Moreover, this need seems in no way distressed by the fact that the urban landscape around us changes continuously: new buildings rise, new restaurants open, new stores, new parks, new infrastructures… Cities seem to vindicate Heraclitus’s dictum: you cannot step twice into the same river; you cannot walk twice through the same city. But, (...) as with the river, we want and need to say that it is the same city we are walking through every day. It is always different, but numerically self-identical. How is that possible? What sort of mysterious thing is a city? The answer, I submit, is that cities aren’t things. They are processes. Like rivers, cities unfold in time just as they extend in space, by having different temporal parts for each time at which they exist. And walking though one part and then again through another is, literally, walking through the same whole. (shrink)

It has long been debated whether objects are ‘sortally’ individuated. This paper begins by clarifying some of the key terms in play—in particular, ‘sortal’, ‘individuation’, and ‘object’. The term ‘individuation’ is taken to have both a cognitive and a metaphysical sense, in the former denoting the singling out of an object in thought and in the latter a determination relation between entities. ‘Sortalism’ is defined as the doctrine that only as falling under some specific sortal concept can an object be (...) successfully singled out in thought. It is argued that such a view is too strong, but that a weaker one, ‘categorialism’, can be defended, this implying that a thinker cannot successfully single out an object in thought without having at least an implicit grasp of the criterion of identity that the object satisfies. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

Whenever an object constitutes, makes up or composes another object, the objects in question share a striking number of properties. This paper is addressed to the question of what might account for the intimate relation and striking similarity between constitutionally related objects. According to my account, the similarities between constitutionally related objects are captured at least in part by means of a principle akin to that of strong supervenience. My paper addresses two main issues. First, I propose independently plausible principles (...) by means of which to delineate, in a non-ad-hoc, non-stipulative and non-circular fashion, those properties which can be expected to be shared among constitutionally related objects in virtue of their being so related from those which in general cannot be expected to be shared, or which are shared for other reasons. Secondly,I spell out in detail the nature of the supervenience-principle at work in this context. My account thus aims at isolating, in a methodologically responsible fashion, the particular sort of restricted indiscernibility principle which is a component of the constitution-relation. (shrink)

One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an ontology (...) including bare dispositions can dispense with governing laws of nature. I believe that there is a problem with this line of reasoning. In this essay, I’ll argue that governing laws are indispensable for the explanation of a special sort of natural regularity: those holding among categorical properties (or, as I’ll call them, categorical regularities). This has the potential to be a serious objection to the denial of governing laws, since there may be good reasons to believe that observed regularities are categorical regularities. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

This paper explores several paths by which the extended cognition thesis may overcome the coupling-constitution fallacy. In so doing, I address a couple of shortcomings in the contemporary literature. First, on the dimension of first-wave EC, I argue that constitutive arguments based on functional parity suffer from either a threat of cognitive bloat or an impasse with respect to determining the correct level of grain in the attribution of causal-functional roles. Second, on the dimension of second-wave EC, I argue that (...) especially the complementarity approach suffers from a similar sort of dilemma as first-wave EC: an inability to justify just what entails the ontological claim of EC over the scaffolding claim of weaker approaches in cognitive science. In this paper I show that two much more promising explanations by which to ground the ontological claim of EC are available, both starting from an exploration of the coordination dynamics between environmental resources and neural resources. On the one hand, I argue that second-wave EC based on cognitive integration, with its focus on bodily manipulations constrained by cognitive norms, is capable of resolving the coupling-constitution fallacy. On the other hand, I argue that the framework of cognitive integration can be supplemented by philosophical accounts of mechanistic explanation, because such accounts enable us to explain the emergence of higher-level cognitive properties due to a system's organization-dependent structure. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

Why is there something rather than nothing? Apparently many people regard that question as a challenge to naturalism because they think it’s too fundamental or too sweeping for natural science to answer, even in principle. I argue, on the contrary, that the question has a simple and adequate naturalistic answer: ‘Because there are penguins.’ I then diagnose various confusions underlying the suspicion that the question can’t have such an answer and, more generally, that the question, or else some variant of (...) it, can’t have a naturalistic answer at all. (shrink)

I propose a fourfold categorisation of entities according to whether or not they possess determinate identity-conditions and whether or not they are determinately countable. Some entities – which I call ‘individual objects’ – have both determinate identity and determinate countability: for example, persons and animals. In the case of entities of a kind K belonging to this category, we are in principle always entitled to expect there to be determinate answers to such questions as ‘Is x the same K as (...) y?’ and ’How many Ks are there satisfying condition C?’, even if we may sometimes be unable in practice to discover what these answers are. But other entities apparently lack either determinate identity, or determinate countability, or both. In these terms I try to explain certain important ontological differences between familiar macroscopic objects and various rather more esoteric entities, such as the ‘particles’ of quantum physics, quantities of material stuff, and tropes or property instances. (shrink)

Something is good insofar as it achieves its end, so says a neo-Aristotelian view of goodness. Powers/dispositions are paradigm cases of entities that have an end, so say many metaphysicians. A question therefore arises, namely, can one account for neo-Aristotelian goodness in terms of an ontology of powers? This is what I shallbeginto explore in this paper. I will first provide a brief explication of both neo-Aristotelian goodness and the metaphysics of powers, before turning to investigate whether one can give (...) an account of neo-Aristotelian goodness in terms of powers. I will suggest that the answer to this question is yes. (shrink)

I argue that four-dimensionalism and the desire satisfaction account of well-being are incompatible. For every person whose desires are satisfied, there will be many shorter-lived individuals (‘person-stages’ or ‘subpersons’) who share the person’s desires but who do not exist long enough to see those desires satisfied; not only this, but in many cases their desires are frustrated so that the desires of the beings in whom they are embedded as proper temporal parts may be fulfilled. I call this the frustrating (...) problem for four-dimensionalism. In the first half of the paper I lay the groundwork for understanding the frustrating problem, and then in the second half, I will examine six possible responses to the frustrating problem on behalf of the four-dimensionalist, (i) the Parfit (1984) inspired claim that identity is not what matters, (ii) the personal pronoun revisionism of Noonan (2010), (iii) the indirect concern account of Hudson (2001), (iv) the sensible stages account of Lewis (1986), (v) a multiple-concepts account of desire satisfaction, and (vi) a No Desire View according to which subpersons have no mental states and thus no desires to frustrate. I argue that none of these solutions will help the four-dimensionalist; she does better to reject the desire satisfaction theory, while the defender of the desire satisfaction theory does better to reject four-dimensionalism. (shrink)

In recent decades, a view of identity I call Sortalism has gained popularity. According to this view, if a is identical to b, then there is some sortal S such that a is the same S as b. Sortalism has typically been discussed with respect to the identity of objects. I argue that the motivations for Sortalism about object-identity apply equally well to event-identity. But Sortalism about event-identity poses a serious threat to the view that mental events are token identical (...) to physical events: A particular mental event m is identical with a particular physical event p only if there is a sortal S such that m and p are both Ss. If there is no such sortal, the doctrine of token-identity is not true. I argue here that we have no good reason for thinking that there is any such sortal. (shrink)

Cet ouvrage est consacre a l'etude de la distinction linguistique entre noms massifs (lait, mobilier, desordre, amour...) et noms comptables (chat, equipe, combat, chose...). Les premiers sont normalement invariables, tandis que les seconds s'emploient librement au singulier et au pluriel. Apres avoir etabli qu'il s'agit bien d'une distinction morpho-syntaxique, l'ouvrage discute la possibilite de caracteriser semantiquement cette distinction. Les recherches existantes ne tiennent compte, essentiellement, que des noms s'appliquant au domaine materiel. Ce travail, au contraire, examine en detail aussi bien (...) les noms concrets qu'abstraits. Il propose de redefinir les proprietes souvent attribuees aux noms massifs (references distributive et cumulative), grace, notamment, a une nouvelle notion de partie. Concernant les noms comptables, il montre qu'aucune propriete purement semantique n'est necessaire pour qu'un nom soit de ce type. L'ouvrage se termine par l'analyse des conversions (emplois massifs des noms comptables, et vice versa), et du role qu'y jouent les facteurs pragmatiques. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

The thesis that mental states are physical states enjoys widespread popularity. After the abandonment of typeidentity theories, however, this thesis has typically been framed in terms of state tokens. I argue that token states are a philosopher’s fiction, and that debates about the identity of mental and physical state tokens thus rest on a mistake.

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce numbers (...) to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)

Closest-continuer or best-candidate accounts of persistence seem deeply unsatisfactory, but it’s hard to say why. The standard criticism is that such accounts violate the ‘only a and b’ rule, but this criticism merely highlights a feature of the accounts without explaining why the feature is unacceptable. Another concern is that such accounts violate some principle about the supervenience of persistence facts upon local or intrinsic facts. But, again, we do not seem to have an independent justification for this supervenience claim. (...) Instead, I argue that closest continuer accounts are committed to unexplained correlations between distinct existences, and that this is their fundamental flaw. We can have independent justification for rejecting such correlations, but what the justification is depends upon much broader issues in ontology. There is no one-size-fits all objection to closest-continuer accounts of persistence. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

In this paper I discuss and evaluate different arguments for the view that the laws of nature are metaphysically necessary. I conclude that essentialist arguments from the nature of natural kinds fail to establish that essences are ontologically more basic than laws, and fail to offer an a priori argument for the necessity of all causal laws. Similar considerations carry across to the argument from the dispositionalist view of properties, which may end up placing unreasonable constraints on property identity across (...) possible worlds. None of my arguments preclude the possibility that the laws may turn out to be metaphysically necessary after all, but I argue that this can only be established by a posteriori scientific investigation. I therefore argue for what may seem to be a surprising conclusion: that a fundamental metaphysical question – the modal status of laws of nature – depends on empirical facts rather than purely on a priori reasoning. (shrink)

Why is there anything, rather than nothing at all? This question often serves as a debating tactic used by theists to attack naturalism. Many people apparently regard the question—couched in such stark, general terms—as too profound for natural science to answer. It is unanswerable by science, I argue, not because it’s profound or because science is superficial but because the question, as it stands, is ill-posed and hence has no answer in the first place. In any form in which it (...) is well-posed, it has an answer that naturalism can in principle provide. The question therefore gives the foes of naturalism none of the ammunition that many on both sides of the debate think it does. (shrink)

Discusses Armstrong's and Roman Ingarden's ontology, criticises substance ontology, and defends tropes and a field ontology.

This paper discusses the relationship between dispositions and laws and the prospects for any analysis of talk of laws in terms of talk of dispositions. Recent attempts at such a reduction have often been motivated by the desire to give an account of ceteris paribus laws and in this they have had some success. However, such accounts differ as to whether they view dispositions as properties fundamentally of individuals or of kinds. I argue that if dispositions are properties of individuals, (...) we cannot give a complete account of ceteris paribus laws. Alternatively, if dispositions are properties of kinds, any reductive analysis of laws would require an extension of the notion of the dispositional beyond its usual meaning so that in effect there can be no reduction of laws to dispositions as traditionally understood. An attempt to reduce the nomological to the dispositional is therefore not the way to provide a unified account of traditional and ceteris paribus laws. (shrink)

In both the historical and contemporary literature on the metaphysics of space, a core dispute is that between relationism and substantivalism. One version of the latter is supersubstantivalism, according to which space is the only kind of substance, such that what we think of as individual material objects are actually just parts of spacetime which instantiate certain properties. If those parts are ontologically dependent on spacetime as a whole, then we arrive at an ontology with only a single genuinely independent (...) substance, namely the entire spacetime manifold. This is monist supersubstantivalism. A view on which the parts of spacetime are ontologically prior to the whole has been called pluralistic supersubstantivalism. As currently formulated, supersubstantivalism carries significant advantages and encounters major difficulties. I argue that some of the latter motivate... (shrink)

What accounts for the linkage of seemingly diverse and inherently separable fundamental properties, such that they are regarded as properties of a single thing? Multiple answers to this question have been put forward in both the historical and current literature, especially from competing substance ontologies and competing theories concerning the metaphysics of natural kinds. Here I lay out and critically assess two ways in which dispositionalism might contribute to the discussion.

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.