Online research in philosophy

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.

Lewis has objected to Armstrong's notion of a structural universal on the grounds that it violates the Principle of Uniqueness of Composition (PUC), which says that given some parts, there is only one whole that they compose. This paper reviews Armstrong's case for structural universals, and then attempts to reconcile structural universals with PUC by arguing for the existence of arrangement universals. The latter are not only a key to defending structural universals against Lewis' objection, but are in fact essential to Armstrong's conception of structural universals in general. Three objections to my proposal are deflected, and two alternative proposals are shown to be inferior to it.

Part I will deal with the central system of metaphysics that Armstrong developed between 1978 and 1997. This will concern, in turn, the major topics of universals, laws, modality, facts or states of affairs, and dispositions. It will be demonstrated how Armstrong’s distinct contributions to these separate problems came together in a unified and systematic account such that he could be judged as holding a single, very appealing, metaphysical theory.

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted at by Armstrong. This is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics.

The object of this paper is to argue once again for the combinatorial account of possibility defended in earlier work (Armstrong, 1989, 1997). But there I failed fully to realise the dialectical advantages that accrue once one begins by assuming the hypothesis of logical atomism, the hypothesis that postulates simple particulars and simple universals (properties and relations) at the bottom of the world. Logical atomism is, I incline to think, no better than ‘speculative cosmology’ as opposed to ‘analytic ontology’, to use Donald Williams’ terminology (Williams, 1966, p.74). It is, however, not an implausible hypothesis given the current state of quantum physics. More important for our purposes here, the strictly combinatorial theory that flows rather naturally from the atomist metaphysics shows some promise of continuing to hold (perhaps with a little mutatis mutandis) in a world that is not an atomist world.

We argue that Armstrong's Combinatorialism allows for the possibility of nothing by giving a Combinatorial account of the empty world and show that such an account is consistent with the ontological and conceptual aims of the theory. We then suggest that the Combinatorialist should allow for this possibility given some methodological considerations. Consequently, rather than being 'spoils for the victor', as Armstrong maintains, deciding whether there might have been nothing helps to determine which metaphysics of modality is to be preferred.

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Armstrong’s combinatorial theory of possibility faces the obvious difficulty that not all universals are compatible. In this paper I develop three objections against Armstrong’s attempt to account for property incompatibilities. First, Armstrong’s account cannot handle incompatibilities holding among properties that are either simple, or that are complex but stand to one another in the relation of overlap rather than in the part/ whole relation. Secondly, at the heart of Armstrong’s account lies a notion of structural universals which, building on an objection by David Lewis, is shown to be incoherent. I consider and reject two alternative ways of construing the composition of structural universals in an attempt to meet Lewis’ objection. An important consequence of this is that all putative structural properties are in fact simple. Finally, I argue that the quasi-mereological account presupposes modality in a way that undermines the reductionist aim of the combinatorialist theory of which it is a central part. I conclude that Armstrong’ quasi-mereological account of property incompatibility fails. Without that account, however, Armstrong’s combinatorial theory either fails to get off the ground, or else must give up its goal of reducing the notion of possibility to something non-modal.