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.

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

It is argued that there are three main forms of necessity --the metaphysical, the natural and the normative--and that none of them is reducible to the others or to any other form of necessity. In arguing for a distinctive form of natural necessity, it is necessary to refute a version of the doctrine of scientific essentialism; and in arguing for a distinctive form of normative necessity, it is necessary to refute certain traditional and contemporary versions of ethical naturalism.

The following framework of theses, roughly hewn, shapes contemporary discussion of the problem of mental causation: (1) Non-Identity of the Mental and the Physical Mental properties and states cannot be identified with specific physical properties and states. (2) Causal Closure (Completeness) of the Physical The objective probability of every physical event is fixed by prior physical events and laws alone. (This thesis is sometimes expressed in terms of explanation: In tracing the causal history of any physical event, one need not (...) advert to any non-physical events or laws. To the extent that there is any explanation available for a physical event, there is a complete explanation available couched entirely in physical vocabulary. We prefer the probability formulation, as it should be acceptable to any physicalist, though some reject the explanation formulation.) (3) Causal Exclusion There is at most one complete and wholly independent explanation for any given event or sequence of events. (shrink)

The objective probability of every physical event is fixed by prior physical events and laws alone. (This thesis is sometimes expressed in terms of explanation: In tracing the causal history of any physical event, one need not advert to any non-physical events or laws. To the extent that there is any explanation available for a physical event, there is a complete explanation available couched entirely in physical vocabulary. We prefer the probability formulation, as it should be acceptable to any physicalist, (...) though some reject the explanation formulation.) (3) Causal Exclusion. (shrink)

This is a new release of the original 1949 edition.

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.

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)

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)

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?

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

Dispositions are essential to our understanding of the world. Dispositions: A Debate is an extended dialogue between three distinguished philosophers - D.M. Armstrong, C.B. Martin and U.T. Place - on the many problems associated with dispositions, which reveals their own distinctive accounts of the nature of dispositions. These are then linked to other issues such as the nature of mind, matter, universals, existence, laws of nature and causation.

This book espouses a theory of scientific realism in which due weight is given to mathematics and logic. The authors argue that mathematics can be understood realistically if it is seen to be the study of universals, of properties and relations, of patterns and structures, the kinds of things which can be in several places at once. Taking this kind of scientific platonism as their point of departure, they show how the theory of universals can account for probability, laws of (...) nature, causation and explanation, and explore the consequences in all these fields. This will be an important book for all philosophers of science, logicians and metaphysicians, and their graduate students. The readership will also include those outside philosophy interested in the interrelationship of philosophy and science. (shrink)

First published in 1985, D. M. Armstrong's original work on what laws of nature are has continued to be influential in the areas of metaphysics and philosophy of science. Presenting a definitive attack on the sceptical Humean view, that laws are no more than a regularity of coincidence between stances of properties, Armstrong establishes his own theory and defends it concisely and systematically against objections. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Marc (...) Lange, illuminating its continuing importance and relevance to philosophical enquiry, this influential work is available for a new generation of readers. (shrink)

F. H. Bradley was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century. Bradley, who was a life fellow of Merton College, Oxford, was influenced by Hegel, and also reacted against utilitarianism. He was recognised during his lifetime as one of the greatest intellectuals of his generation and was the first philosopher to receive the Order of Merit, in 1924. His work is considered to have been important to the (...) formation of analytic philosophy. In metaphysics, he rejected pluralism and realism, and believed that English philosophy needed to deal systematically with first principles. This work, first published in 1893, is divided into two parts: 'Appearance' deals with exposing the contradictions that Bradley believed are hidden in our everyday conceptions of the world; and in 'Reality', he builds his positive account of reality and considers possible objections to it. (shrink)

Metaphysics is the thoroughly empirical science. Every item of experience must be evidence for or against any hypothesis of speculative cosmology, and every experienced object must be an exemplar and test case for the categories of analytic ontology. Technically, therefore, one example ought for our present theme to be as good as another. The more dignified examples, however, are darkened with a patina of tradition and partisanship, while some frivolous ones are peculiarly perspicuous. Let us therefore imagine three lollipops, made (...) by a candy man who buys sticks from a big supplier and molds candy knobs on them. Lollipop No. 1 has a red round peppermint head, No. 2 a brown round chocolate head, No. 3 a red square peppermint head. The circumstance here which mainly provokes theories of subsistence and inherence is similarity with difference: each lollipop is partially similar to each other and partially different from it. If we can give a good account of this circumstance in this affair we shall have the instrument to expose the anatomy of everything, from an electron or an apple to archangels and the World All. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (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)

Note: this is the first published presentation and defense of the 'proper subset strategy' for making sense of non-reductive physicalism or the associated notion of realization; this is sometimes, inaccurately, called "Shoemaker's subset strategy"; if people could either call it the 'subset strategy' or better yet, add my name to the mix I would appreciate it. Horgan claims that physicalism requires "superdupervenience" -- supervenience plus robust ontological explanation of the supervenient in terms of the base properties. I argue that Horgan's (...) account fails to rule out physically unacceptable emergence. I rather suggest that this and other unacceptable possibilities may be ruled out by requiring that each individual causal power in the set associated with a given supervenient property be numerically identical with a causal power in the set associated with its base property. I go on to show that a wide variety of physicalist accounts, both reductive and non-reductive, are implicitly or explicitly designed to meet this condition, and so are more similar than they seem. In particular, non-reductive physicalism accounts typically appeal to a relation plausibly ensuring that the powers of a higher-level property are a proper subset of those of its physical base property. (shrink)

According to Peter van Inwagen, visible inanimate objects do not, strictly speaking, exist. In defending this controversial thesis, he offers fresh insights on such topics as personal identity, commonsense belief, existence over time, the phenomenon of vagueness, and the relation between metaphysics and ordinary language.

In this paper I argue that if one subscribes to dispositionalism — the view that natural properties are irreducibly dispositional in character — then one ought to favour a Platonic view of properties. That is, dispositionalists ought to view properties as transcendent universals. I argue for this on the grounds that only with transcendent universals in play can two central dispositionalist platitudes be accounted for in a satisfactory way. Given that dispositionalism is becoming an increasingly influential view in the metaphysics (...) of science, my argument, if successful, suggests that Platonism will see something of a revival in contemporary metaphysics. This new kind of Platonism is shown to have some striking metaphysical and epistemological consequences. (shrink)

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

The ontology of ‘powerful qualities’ is gaining an increasing amount of attention in the literature on properties. This is the view that the so-called categorical or qualitative properties are identical with ‘dispositional’ properties. The position is associated with C.B. Martin, John Heil, Galen Strawson and Jonathan Jacobs. Robert Schroer ( 2012 ) has recently mounted a number of criticisms against the powerful qualities view as conceived by these main adherents, and has also advanced his own (radically different) version of the (...) view. In this paper I have three main aims: firstly, I shall defend the ontology from his critique, arguing that his criticisms do not damage the position. Secondly, I shall argue that Schroer’s own version of the view is untenable. Thirdly, the paper shall serve to clear up some conceptual confusions that often bedevil the powerful qualities view. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be such (...) that there is no real distinction between them is for them to be identical. (shrink)

(1) Materialists hold that every real, concrete phenomenon in the universe is a wholly physical phenomenon. (2) Consciousness ('what-it's-likeness', etc.) is the most certainly existing real, concrete phenomenon there is. It follows that (3) all serious materialists must grant that consciousness is a wholly physical phenomenon. ‘How can consciousness possibly be physical, given what we know about the physical?’ To ask this question is already to have gone wrong. We have no good reason (as Priestley, Eddington, Russell and others observe) (...) to think that we know anything about the physical that gives us any reason to find any problem in the idea that consciousness is wholly physical. (shrink)

Real Materialism is a collection of highly original essays on a set of related topics in philosophy of mind and metaphysics: consciousness and the mind-body problem; our knowledge of the world; the nature of the self or subject; free will and moral responsibility; the nature of thought and intentionality; causation and David Hume.

In this paper I aim to make sense of our pre‐theoretic intuitions about dispositions by presenting an argument for the identity of a disposition with its putative categorical base. The various possible ontologies for dispositions are outlined. The possibility of an empirical proof of identity is dismissed. Instead an a priori argument for identity is adapted from arguments in the philosophy of mind. I argue that dispositions occupy, by analytic necessity, the same causal roles that categorical bases occupy contingently and (...) that properties with identical causal roles are identical. The validity of the argument depends upon the possibility of overdetermination of disposition manifestations being rejected. ‘Ungrounded dispositions’ are dismissed as not genuine dispositions. Identity conditions for dispositions and categorical bases are outlined. (shrink)

Pan-Dispositionalism – the view that all properties (and relations) are irreducibly dispositional – currently appears to have no takers amongst major analytic metaphysicians. There are those, such as Mumford, who are open to the idea but remain uncommitted. And there are those, such as Ellis and Molnar, who accept that some properties are irreducibly dispositional but argue that not all are. In this paper, I defend Pan-Dispositionalism against this ‘Moderate’ Dispositionalism.

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

It has been suggested that many philosophical theses—physicalism, normative naturalism, phenomenalism, and so on—should be understood in terms of ground. Against this, Ted Sider (2011) has argued that ground is ill-suited for this purpose. Here I develop Sider’s objection and offer a response. In doing so I develop a view about the role of ground in philosophy, and about the content of these distinctively philosophical theses.

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

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

A commonly held view is that a central aim of metaphysics is to give a fundamental account of reality which refers only to the fundamental entities. But a puzzle arises. It is at least a working hypothesis for those pursuing the aim that, first, there must be fundamental entities. But, second, it also seems possible that the world has no foundation, with each entity depending on others. These two claims are inconsistent with the widely held third claim that the fundamental (...) just is the foundational. It is tempting to resolve the puzzle by rejecting the first or second claim, perhaps because it is obscure how the third claim might plausibly be challenged. But I develop a new analysis of fundamentality which challenges the third claim by allowing for an entity to be fundamental without being foundational. The analysis, roughly, is that an entity is fundamental just in case not all facts about it are grounded in facts about other entities. The possibility of fundamentality without foundations not only provides for a novel resolution to the puzzle, but has applications to some live debates: for example, it undermines Jonathan Schaffer's modal argument for priority monism. (shrink)

In the present paper, I offer a conceptual argument against the view that all properties are pure powers. I claim that thinking of all properties as pure powers leads to a regress. The regress, I argue, can be solved only if non-powers are admitted. The kernel of my thesis is that any attempt to answer the title question in an informative way will undermine a pure-power view of properties. In particular, I focus my critique on recent arguments in favour of (...) pure powers by the Late George Molnar and Jennifer McKitrick. The lines of defence of the friends of powers converge on what I call 'the ultimate argument for powers', viz., that current physics entails (or supports) the view that the fundamental properties (spin, mass, charge) are ungrounded powers. I take issue with this argument and make a modest suggestion: that the evidence from current physics is inconclusive. (shrink)