Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

the Logische Untersuchungen,l phenomenology has been conceived as a substratum of empirical psychology, as a sphere comprising "imma nental" descriptions of psychical mental processes, a sphere compris ing descriptions that - so the immanence in question is understood - are strictly confined within the bounds of internal experience. It 2 would seem that my protest against this conception has been oflittle avail; and the added explanations, which sharply pinpointed at least some chief points of difference, either have not been understood (...) or have been heedlessly pushed aside. Thus the replies directed against my criticism of psychological method are also quite negative because they miss the straightforward sense of my presentation. My criticism of psychological method did not at all deny the value of modern psychology, did not at all disparage the experimental work done by eminent men. Rather it laid bare certain, in the literal sense, radical defects of method upon the removal of which, in my opinion, must depend an elevation of psychology to a higher scientific level and an extraordinary amplification ofits field of work. Later an occasion will be found to say a few words about the unnecessary defences of psychology against my supposed "attacks. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of causation, (...) dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

What does reality encompass? Is it exclusively physical, or does it include mental and 'abstract' aspects? What are the elements of being, reality's raw materials? John Heil offers stimulating answers to these questions framed in terms of a comprehensive metaphysics of substances and properties inspired by Descartes, Locke, and their successors.

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)

Jonathan Lowe argues that metaphysics should be restored to a central position in philosophy, as the most fundamental form of rational inquiry, whose findings underpin those of all other disciplines. He portrays metaphysics as charting the possibilities of existence, by idetifying the categories of being and the relations of ontological dependency between entities of different categories. He proceeds to set out a unified and original metaphysical system: he defends a substance ontology, according to which the existence of the world s (...) one world in time depends upon the existence of persisting things which retain their identity over time and through processes of qualitative change. And he contends that even necessary beings, such as the abstract objects of mathematics, depend ultimately for their existence upon there being a concrete world of enduring substances. Within his system of metaphysics Lowe seeks to answer many of the deepest and most challenging questions in philosophy. (shrink)

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

Katherine Hawley explores and compares three theories of persistence -- endurance, perdurance, and stage theories - investigating the ways in which they attempt to account for the world around us. Having provided valuable clarification of its two main rivals, she concludes by advocating stage theory.

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Kris McDaniel argues that there are different ways in which things exist. For instance, past things don't exist in the same way as present things. Numbers don't exist in the same way as physical objects; nor do holes, which are real, but less real than what they are in. McDaniel's theory of being illuminates a wide range of metaphysical topics.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

For three decades the writings of Jaegwon Kim have had a major influence in philosophy of mind and in metaphysics. Sixteen of his philosophical papers, together with several new postscripts, are collected in Kim [1993]. The publication of this collection prompts the present essay. After some preliminary remarks in the opening section, in Section 2 I will briefly describe Kim's philosophical 'big picture' about the relation between the mental and the physical. In Section 3 I will situate Kim's approach on (...) the larger philosophical landscape, vis-à-vis various other approaches frequently discussed in contemporary philosophy of mind. This comparative discussion will further illuminate Kim's own position, and also will serve as groundwork for subsequent discussion. In Section 4 I will point out certain persistent internal tensions in Kim's philosophical position on the mind--body problem, tensions that emerge especially clearly against the backdrop of Section 3's comparative discussion of Kim's position relative to various competing positions. In the remainder of the paper I will focus on two issues at the heart of his position, with particular attention to what he says about them in some of the more recent papers and the postscripts in Kim [1993]. First, how should a materialist understand the notion that the mental is 'determined' by the physical? More specifically, what role, if any, should be played by the concept of supervenience in explicating this kind of determination relation? Kim's views on this matter have recently changed, and I will discuss the issue with particular attention to his own latest remarks on it. This is the business of Section 5. Second, need a viable materialism assert that mentalistic psychology is reducible to neurobiology? More specifically, should a materialist insist on reducibility, despite the currently influential line of argument used by non-reductive materialists, the 'multiple realization' argument? On this matter too, Kim's views have changed somewhat; again, I will discuss the issue with particular attention to his recent thinking. This is the business of Section 6. (shrink)

_Possible Worlds_ presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

Properties and objects are everywhere, but remain a philosophical mystery. Douglas Ehring argues that the idea of tropes--properties and relations understood as particulars--provides the best foundation for a metaphysical account of properties and objects. He develops and defends a new theory of trope nominalism.

Ontological Pluralism is the view that there are different modes, ways, or kinds of being. In this paper, I characterize the view more fully (drawing on some recent work by Kris McDaniel) and then defend the view against a number of arguments. (All of the arguments I can think of against it, anyway.).

Taking into account significant developments in the metaphysical thinking of E. J. Lowe over the past 20 years, _More Kinds of Being:A Further Study of Individuation, Identity, and the Logic of Sortal Terms_ presents a thorough reworking and expansion of the 1989 edition of _Kinds of Being_ Brings many of the original ideas and arguments put forth in _Kinds of Being_ thoroughly up to date in light of new developments Features a thorough reworking and expansion of the earlier work, rather (...) than just a new edition Reflects the author's conversion to what he calls 'the four-category ontology,' a metaphysical system that takes its inspiration from Aristotle Provides a unified discussion of individuation and identity that should prove to be essential reading for philosophers working in metaphysics. (shrink)

There is currently intense interest in the question of the source of our presumed knowledge of truths concerning what is, or is not, metaphysically possible or necessary. Some philosophers locate this source in our capacities to conceive or imagine various actual or non-actual states of affairs, but this approach is open to certain familiar and seemingly powerful objections. A different and ostensibly more promising approach has been developed by Timothy Williamson, according to which our capacity for modal knowledge is just (...) an extension, or by-product, of our general capacity to acquire knowledge of true counterfactual conditionals — a capacity that we deploy ubiquitously in everyday life. Williamson’s account crucially involves a thesis to the effect that modal truths can be explained in terms of counterfactual truths. In this paper, I query Williamson’s account on a number of points, including this thesis. My positive proposal, which owes a debt to the work of Kit Fine on modality and essence, appeals instead to our capacity to grasp essences, understood in a neo-Aristotelian fashion, according to which essences are expressed by ‘real definitions’. (shrink)

Given the centrality of arguments from vicious infinite regress to our philosophical reasoning, it is little wonder that they should also appear on the catalogue of arguments offered in defense of theses that pertain to the fundamental structure of reality. In particular, the metaphysical foundationalist will argue that, on pain of vicious infinite regress, there must be something fundamental. But why think that infinite regresses of grounds are vicious? I explore existing proposed accounts of viciousness cast in terms of contradictions, (...) dependence, failed reductive theories and parsimony. I argue that no one of these accounts adequately captures the conditions under which an infinite regress—any infinite regress—is vicious as opposed to benign. In their place, I suggest an account of viciousness in terms of explanatory failure. If this account is correct, infinite grounding regresses are not necessarily vicious; and we must be much more careful employing such arguments to the conclusion that there has to be something fundamental. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...) assumption can be derived. (shrink)

In this book I address a dichotomy that is as central as any in ontology - that between ordinary objects or substances and the various attributes (Le., properties, kinds, and relations) we associate with them. My aim is to arrive at the correct philosophical account of each member of the dichotomy. What I shall argue is that the various attempts to understand substances or attri butes in reductive terms fail. Talk about attributes, I shall try to show, is just that (...) - talk about attributes; and, likewise, talk about substances is just tha- talk about substances. The result is what many will find a strange combina tion of views - a Platonistic theory of attributes, where attributes are univer sals or multiply exemplifiable entities whose existence is independent of "the world of flux", and an Aristotelian theory of substance, where substances are basic unities not reducible to metaphysically more fundamental kinds of things. Part One is concerned with the ontology of attributes. After distinguishing three different patterns of metaphysical thinking about attributes, I examine, in turn, the phenomena of predication, resemblance, and higher order quanti fication. I argue that none of these phenomena by itself is sufficient to establish the inescapability of a Platonistic interpretation of attributes. Then, I discuss the phenomenon of abstract reference as it is exhibited in the use of abstract singular terms. (shrink)

An argument that the major metaphysical theories of facts give us no good reason to accept facts in our catalog of the world. -/- In this book Arianna Betti argues that we have no good reason to accept facts in our catalog of the world, at least as they are described by the two major metaphysical theories of facts. She claims that neither of these theories is tenable—neither the theory according to which facts are special structured building blocks of reality (...) nor the theory according to which facts are whatever is named by certain expressions of the form “the fact that such and such.” There is reality, and there are entities in reality that we are able to name, but, Betti contends, among these entities there are no facts. -/- Drawing on metaphysics, the philosophy of language, and linguistics, Betti examines the main arguments in favor of and against facts of the two major sorts, which she distinguishes as compositional and propositional, giving special attention to methodological presuppositions. She criticizes compositional facts (facts as special structured building blocks of reality) and the central argument for them, Armstrong's truthmaker argument. She then criticizes propositional facts (facts as whatever is named in “the fact that” statements) and what she calls the argument from nominal reference, which draws on Quine's criterion of ontological commitment. Betti argues that metaphysicians should stop worrying about facts, and philosophers in general should stop arguing for or against entities on the basis of how we use language. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)