A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (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)

This article focuses on the main methods used in analytic metaphysics. It first considers five important sources of constraints on metaphysical theorizing: linguistic and conceptual analysis, consulting intuitions, employing the findings of science, respecting folk opinion, and applying theoretical virtues in metaphysical theory choice such as preferring simpler theories, or preferring more explanatory theories. It then examines the role of formal methods in metaphysics as well as the role of metaphysical communities, traditions, and the place of the history of metaphysics (...) in contemporary work. It also discusses the issue of whether metaphysics should be seen as an enterprise that will yield knowledge of metaphysical matters or whether it should have more modest epistemic goals. Finally, it explores the question of how much of metaphysics is a priori. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

There is no consensus on how to define substance, but one popular view is that substances are entities that are independent in some sense or other. E. J. Lowe’s version of this approach stresses that substances are not dependent on other particulars for their identity. I develop the meaning of this proposal, defend it against some criticisms, and then show that others do require that the theory be modified.

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary identity statements (...) involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

This chapter defends an axiological theory of pain according to which pains are bodily episodes that are bad in some way. Section 1 introduces two standard assumptions about pain that the axiological theory constitutively rejects: (i) that pains are essentially tied to consciousness and (ii) that pains are not essentially tied to badness. Section 2 presents the axiological theory by contrast to these and provides a preliminary defense of it. Section 3 introduces the paradox of pain and argues that since (...) the axiological theory takes the location of pain at face value, it needs to grapple with the privacy, self-intimacy and incorrigibility of pain. Sections 4, 5 and 6 explain how the axiological theory may deal with each of these. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

Numerous authors have attempted to carve an ontological distinction between events and processes on the basis of a widely noted linguistic datum involving count and mass nouns, where events are thought to be analogous to countable objects while processes to non-countable stuff. By assessing the most developed of these proposals—that of Helen Steward’s—this paper locates the motivations behind the project of carving some such distinction between events and processes, and proceeds to offer considerations toward an alternative account of processes—one whose (...) ontology is more akin to that of states than it is to stuff. (shrink)

Recent Neo-Davidsonian accounts of the semantics of progressive constructions of action verbs reflect an ontological distinction between processes or incomplete events on the one hand, and complete events on the other. This paper has two goals. First, it attempts to show that this putative ontological distinction is beset with problems. The second goal of this paper is to offer the beginnings of a positive proposal that seeks to show how the ontologically austere Davidsonian can account for the truth conditions of (...) progressive constructions without the need for an enriched ontology. (shrink)

Diachronic emergence has recently been characterised as transformation. This aims to capture the thought that the entities that emerge are radically new or different. Transformation is hence closely linked with a central (but rarely raised) challenge for all emergentists: how to account for the identity and individuation of entities involved in emergence. With this challenge in view, I develop and probe four interpretations of transformation: addition, replacement, fusion, and transubstantiation. Of those, transubstantiation provides the most plausible response to the challenge (...) about identity. Accordingly, diachronic emergence is a transformative process whereby an individual passes from one primary kind to another. (shrink)

It has recently been suggested that a distinctive metaphysical relation— ‘Grounding’—is ultimately at issue in contexts in which some goings-on are said to hold ‘in virtue of’’, be ‘metaphysically dependent on’, or be ‘nothing over and above’ some others. Grounding is supposed to do good work in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do this work, for bare claims of Grounding leave open such basic questions as whether (...) Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence—for example, type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on—which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding. (shrink)

I shall distinguish between two periods of analytic ontology, one semi-idealistic, the other post-idealistic. The former fostered the very idea of a conceptual scheme within which questions of ontology could be formulated and answered in the first place; the latter rejected this idea in favour of the view that ontological inquiry neither presupposes a framework, nor provides the framework for science or everyday speech. Since then, ontology is what it always have been, the systematic study of the most fundamental categories (...) of being, not of thought. Unfortunately, such a category theory becomes aporetic in its search for a solution of the problem of the “temporary intrinsic”. Experience cannot tell us, whether entities persist by “perduring” or by “enduring.” One can take an alternative route and seek to broaden the conceptual basis of ontology by focussing on “Being” in contrast to entities, or being. The controversy on perdurantism and endurantism emerges as a dispute over two conflicting ways of being in time, not of Being itself. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

Several philosophers have maintained in recent years that the endurance/perdurance debate is merely verbal: these prima facie distinct theories of objects’ persistence are in fact metaphysically equivalent, they claim. The present paper challenges this view. Three proposed translation schemes are examined; all are shown to be faulty. In the process, constructive reasons for regarding the debate as a substantive one are provided. It is also suggested that the theories may have differing practical implications.

We speak of products in two senses: in one, we speak of types of products, in the other we speak of the particular objects that are instances of those types. I argue that types of products have the same ontological status as that of material stuffs, like water and gold, which have a non-particular level of existence. I also argue that the relationship between types of products and their instances is logically similar to the relation of constitution, which holds between, (...) say, gold and a ring made of gold. In my approach, types of products are concrete entities, having spatiotemporal properties. This picture fits our commonplace conception of types of products better than alternative approaches according to which types of products are universal, abstract, or mereological entities. (shrink)

In this paper I show that a novel ontic reading of explanation, intending to capture the de re essential features of individuals, can support the qualitative view of individual essences. It is argued further that the putative harmful consequences of the Leibniz Principle and its converse for the qualitative view can be avoided, provided that individual essences are not construed in the style of the naïve bundle theory with set-theoretical identity- conditions. Adopting either the more sophisticated two-tier BT or, alternatively, (...) the neo-Aristotelian position of taking essences as natures in the Aristotelian sense, can help to evade these main charges against the qualitative view. The functional parallels with the alternative haecceitistic view of individuation and individual essence will also be considered. (shrink)

Necessitarianism, as we shall use the term, is the view that natural properties and causal powers are necessarily connected in some way. In recent decades the most popular forms of necessitarianism have been the anti-Humean powers-based theories of properties, such as dispositional essentialism and the identity theory. These versions of necessitarianism have come under fire in recent years and I believe it is time for necessitarians to develop a new approach. In this paper I identify unexplored ways of positing metaphysically (...) necessary connections in nature, using the concepts of grounding and essential dependence. For example, I show that one could be a necessitarian by insisting that the properties of things necessarily ground their powers, and that one can maintain this while rejecting dispositional essentialism. Using different combinations of claims about grounding and essential dependence, I map out a spectrum of new positions and compare them to previous theories of natural modality. Some of these positions are compatible with Humean metaphysics while others are not. The overall aim of the paper is to provide a new metaphysical framework for understanding theories of powers and thereby launch a new necessitarian research programme. (shrink)

In this paper, I argue that perdurantism is incompatible with priority monism: the view that the universal mereological fusion, U, is fundamental. For the monist’s fundamental object can neither persist by being a trans-temporal object (i.e., a space-time ‘worm’) nor by being an instantaneous stage. If U persisted via being a worm, it would be grounded in its temporal parts, meaning that it would not be fundamental as it would not be ungrounded. If U were a stage, on the other (...) hand, it would face a problem from the possibility of ‘temporal gunk’. But if U persisted by neither being a worm nor a stage, then U could not persist via having temporal parts, and thus perdurantism would be false. Given that a similar combination of perdurantism and priority pluralism also faces a problem from temporal gunk, I conclude that perdurantism does not sit well with mereological based accounts of fundamentality. (shrink)

The New A-theory of Time is the view, to be elaborated and defended in this article, that many times exist, and that time is real in virtue of every moment in time bearing each of the so-called A-properties: past, present and future. I argue that TNAT is at least as theoretically virtuous as mainstream views in the philosophy of time and may have some claim to being our best theory of time. I show that the properties ‘past’, ‘present’ and ‘future’ (...) can be understood as compatible intrinsic properties. Having demonstrated that this account of the A-properties is coherent, I go on to demonstrate how TNAT can give us an account of passage, change and the truth-conditions for temporal sentences. In the final section of the article, I develop a tentative argument in favour of TNAT, though concede that we have to settle for the result that TNAT is on a par with our other theories of time. In the remainder of this opening section, my aim is to situate the current proposal as a direct response to Mc.. (shrink)

In two recent papers Button (Analysis 66:130–135, 2006, Analysis 67:325–332, 2007) has developed a particular view of time that he calls no-futurism. He defends his no-futurism against a sceptical problem that has been raised (by e.g. Bourne in Aust J Phil 80:359–371, 2002) for a similar growing block view—that of Tooley (Time, tense, and causation, Clarendon Press, Oxford, 1997). If Button is right, then we have an important third option available to us: a half-way house between presentism and eternalism. If, (...) on the other hand, the criticism of Tooley-style Growing-Block views holds, then we are left with just presentism and eternalism. In this paper I show that Button’s defence fails. (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)

Truths depend upon what there is. So say many. A significant subset of that group say more; they say that the best way—perhaps the only way—to make sense of the claim that truth depends upon what there is, is to adopt a form of truth-maker theory. Truth-maker theorists claim that truths require ground; what’s true must depend upon what there is. Typically, truth-maker theory isn’t seen as a theory about the nature of truth. Rather, it’s seen as a theory about (...) what truths must do. Truths must depend. Relatedly, the claim that truths require ‘truth-makers’, that is, some putative ontological grounds, is used as a methodological tool in metaphysics. Put somewhat crudely, fix on what truths there are and locate the truth-makers—if necessary, add to your ontology until you satisfy this demand for truth-makers. Truth-making is thus at once both narrow and broad. It’s narrow insofar as it’s not a theory (it’s not a claim) about the nature of truth, and yet it’s broad insofar as it enables us to determine our ontological commitments. We take this to be a two-part orthodoxy about truth-making. We reject the orthodoxy on both counts. (shrink)

Priority Monism, as defined by Jonathan Schaffer, has a number of components. It is the view that: the cosmos exists; the cosmos is a maximal actual concrete object, of which all actual concrete objects are parts; the cosmos is basic—there is no object upon which the cosmos depends, ontologically; ontological dependence is a primitive and unanalysable relation. In a recent attack, Lowe has offered a series of arguments to show that Monism fails. He offers up four tranches of argument, with (...) different focuses. These focal points are: being a concrete object; aggregation and dependence; analyses of ontological dependence; Schaffer’s no-overlap principle. These are all technical notions, but each figures at the heart of a cluster of arguments that Lowe puts forward. To respond, I work through each tranche of argument in turn. Before that, in the first section, I offer a cursory statement of Monism, as Schaffer presents it in his 2010 paper, Monism: The Priority of the Whole. I then respond to each of Lowe’s criticisms in turn, deploying material from Schaffer’s 2009 paper Spacetime: the One Substance, as well as various pieces of conceptual machinery from Lowe’s own works to deflect Lowe’s attacks. In the process of defending Monism from Lowe, I end up offering some subtle refinements to Schaffer’s view and explain how the resulting ‘hybrid’ view fares in the wider dialectic. (shrink)

In his ‘Ambitious, Yet Modest, Metaphysics’, Hofweber puts forward arguments against positions in metaphysics that he describes as ‘immodest’; a position he identifies as defended by Jonathan Lowe. In this paper I reply to Hofweber’s arguments, offering a defence of immodest metaphysics of the type practiced by Lowe inter alia.

Next SectionIn this article I offer a new version of presentism and argue that this new version of presentism is not a species of the A-theory. Along the way, I argue that Rasmussen’s recent attempt to articulate a version of presentism that is not also a version of the A-theory does not succeed.

There is a charge sometimes made in metaphysics that particular commitments are ‘hypothetical’, ‘dubious’ or ‘suspicious’. There have been two analyses given of what this consists in—due to Crisp (2007) and Cameron (2011). The aim of this paper is to reject both analyses and thereby show that there is no obvious way to press the objection against said commitments that they are ‘dubious’ and objectionable. Later in the paper I consider another account of what it might be to be ‘dubious’, (...) and argue that this too fails. I use Bigelow's (1996) Lucretian properties as a vehicle for the discussions of dubiousness that follow. As a consequence, the paper ends up offering a partial defense of Lucretianism. (shrink)

In this paper I argue in favour of a new definition of presentism that I call ‘existence presentism’ (EP). Typically, presentism is defined as the thesis that ‘only present objects exist’, or ‘nothing exists that is non-present’.1 I assume these statements to be equivalent. I call these statements of presentism ‘conventional presentism’ (CP). First, in §2, I rehearse arguments due to Ulrich Meyer that purport to show that presentism is not adequately defined as CP. In §§2.1–2.4 I show that considerations (...) of the sort raised by Meyer infect attempts to define presentism, due to Thomas Crisp, Tom Stoneham, and Theodore Sider. Thus the first half of the paper is constituted by a negative project that looks to show how extant definitions of presentism fail. In the second half of the paper, I continue in the negative theme in §3, before laying out EP and demonstrating that it solves the problems faced by CP and offering explanations of how to make sense of certain key notions that lie at the heart of EP. I conclude that EP is preferable to CP. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)

: I argue that a response‐dependence account of a concept can yield metaphysical results, and not merely epistemological or semantical results, which has been a prevalent view in the literature on response‐dependence. In particular, I show how one can argue for a conferralist account of a certain property by arguing that the concept of the property is response‐dependent, if certain assumptions are made.

There has in recent years been a significant surge of interest in non-materialist accounts of the mind. Property dualists hold that all substances (concrete particulars that persist over time) are material, but mental properties are distinct from physical properties. Substance dualists maintain that the mind or person is a non-material substance. This article considers the prospects for substance dualism given the current state of the debate. The best known type of substance dualism, Cartesian dualism, has traditionally faced a number of (...) objections, but many contemporary philosophers have sought to avoid these by formulating novel versions of the view. I identify three central claims held in common by all forms of substance dualism, consider recent arguments for these claims, and assess how successfully different types of substance dualism respond to the traditional objections. I argue that most contemporary forms of the view still face one or more of three major challenges, from bundle theories of the self, from the recently developed “phenomenal concepts strategy”, and from worries about explanatory simplicity. (shrink)

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

Good chefs know the importance of maintaining sharp knives in the kitchen. What’s their secret? A well-worn Taoist allegory offers some advice. The king asks about his butcher’s impressive knifework. “Ordinary butchers,” he replied “hack their way through the animal. Thus their knife always needs sharpening. My father taught me the Taoist way. I merely lay the knife by the natural openings and let it find its own way through. Thus it never needs sharpening” (Kahn 1995, vii; see also Watson (...) 2003, 46). Plato famously employed this image as an analogy for the reality of his Forms (Phaedrus, 265e). Just like an animal, the world comes pre-divided for us. Ideally, our best theories will be those which “carve nature at its joints”. While Plato employed the “carving” metaphor to convey his views about the reality of his celebrated Forms, its most common contemporary use involves the success of science -- particularly, its success in identifying distinct kinds of things. Scientists often report discovering new kinds of things -- a new species of mammal or novel kind of fundamental particle, for example -- or uncovering more information about already familiar kinds. Moreover, we often notice considerable overlap in different approaches to classification. As Ernst Mayr put it: No naturalist would question the reality of the species he may find in his garden, whether it is a catbird, chickadee, robin, or starling. And the same is true for trees or flowering plants. Species at a given locality are almost invariably separated from each other by a distinct gap. Nothing convinced me so fully of the reality of species as the observation . . . that the Stone Age natives in the mountains of New Guinea recognize as species exactly the same entities of nature as a western scientist. (Mayr 1987, 146) Such agreement is certainly suggestive. It suggests that taxonomies are discoveries rather than mere inventions. Couple this with their utility in scientific inference and explanation and we have compelling reason for accepting the objective, independent reality of many different natural kinds of things.. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

This article aims to provide an intelligible explication of the doctrine of Transubstantiation. A model of this doctrine is formulated within the formal, neo-Aristotelian metaphysical and ontological framework of Jonathan Lowe, termed Serious Essentialism and the Four-Category Ontology. Formulating the doctrine of Transubstantiation within this metaphysical and ontological framework will enable it to be explicated in a clear and consistent manner, and the oft-raised intelligibility question against it can be answered.

What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed.

In this paper we examine a puzzle recently posed by Aaron Preston for the traditional realist assay of property (quality) instances. Consider Socrates (a red round spot) and red1—Socrates’ redness. For the traditional realist, both of these entities are concrete particulars. Further, both involve redness being `tied to’ the same bare individuator. But then it appears that red1 is duplicated in its ‘thicker’ particular (Socrates), so that it can’t be predicated of Socrates without redundancy. According to Preston, this suggests that (...) a concrete particular and its property instances aren’t genuinely related. We argue that Preston’s proffered solution here—to treat property instances as “mental constructs”—is fraught with difficulty. We then go on to show how, by fine-tuning the nature of bare particulars, treating them as abstract modes of things rather than concrete particulars, the traditional realist can neatly evade Preston’s puzzle. (shrink)

Many friends of the category of particularised qualities subscribe to the view that particularised qualities have a unique bearer in which they inhere; no such quality then can inhere in two different entities. But it seems that this idea is flawed, for there are apparent counterexamples. An apple's redness is identical with the redness of its skin, though the apple is distinct from its skin. So it seems that a principle of bearer‐uniqueness has to be modified, maybe by excluding certain (...) unwanted cases. However, I argue that the need of a modification is not a direct consequence of the supposed counterexamples. Their dangerous potential for the principle arises if one takes the genitive in expressions of the form ‘a's F‐ness’ to signify the relation of inherence. I propose an alternative view: The genitive signifies a relation which is indeed closely related to inherence, but which is, contrary to inherence itself, partitive. That is, it may hold between a particularised quality and another entity because it holds between the quality and a part of the entity. If one regards the ontologically interesting relation of inherence as non‐partitive, one can still adhere to an unrestricted principle of bearer‐uniqueness. (shrink)