Since the appearance of a widely influential book, Self-Knowledge and Self-ldentity, Sydney Shoemaker has continued to work on a series of interrelated issues in the philosophy of mind and metaphysics. This volume contains a collection of the most important essays he has published since then. The topics that he deals with here include, among others, the nature of personal and other forms of identity, the relation of time to change, the nature of properties and causality and the relation between the (...) two, dualism and immortality, and the nature of mental states. All the essays show the same care and precision in argument as the earlier book, but they also reveal a substantial shift in Professor Shoemaker's position to a form of materialism. In fact, a number of papers together constitute what is probably the most subtle and rigourous defence yet of a sophisticated functionalism in the account of the mind. (shrink)

Landini discusses the second edition of Principia Mathematica, to show Russella (TM)s intellectual relationship with Wittgenstein and Ramsey.

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (shrink)

Attempts to capture the distinction between categorical and dispositional states in terms of more primitive modal notions – subjunctive conditionals, causal roles, or combinatorial principles – are bound to fail. Such failure is ensured by a deep symmetry in the ways dispositional and categorical states alike carry modal import. But the categorical/dispositional distinction should not be abandoned; it underpins important metaphysical disputes. Rather, it should be taken as a primitive, after which the doomed attempts at reductive explanation can be transformed (...) into circular but interesting accounts. (shrink)

I provide an argument against the Aristotelian view of universals, according to which universals depend for their existence on their exemplifiers. The argument consists in a set of five jointly inconsistent assumptions. As such, the argument can be used to argue in favour of other conclusions, such as that exemplification is no relation or that plausible principles concerning ontological dependence or grounding do not hold.

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations, the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works.

This paper explores the debate between those philosophers who take (fundamental, perfectly natural) properties to be pure powers and those who take them to be powerful qualities. I first consider two challenges for the view that properties are powerful qualities, which I call, respectively, ‘the clarification challenge’ and ‘the explanatory challenge’. I then examine a number of arguments that aim to show that properties cannot be pure powers and find them all wanting. Finally, I sketch what I take to be (...) the most promising argument against pure powers and for powerful qualities. (shrink)

According to the powerful qualities view, properties are both powerful and qualitative. Indeed, on this view the powerfulness of a property is identical to its qualitativity. Proponents claim that this view provides an attractive alternative to both the view that properties are pure powers and the view that they are pure qualities. It remains unclear, however, whether the claimed identity between powerfulness and qualitativity can be made coherent in a way that allows the powerful qualities view to constitute this sort (...) of alternative. I argue here that this can be done, given a particular conception of both the qualitativity and powerfulness of properties. On this conception, a property is qualitative just in the sense that its essence is fixed independently of any distinct properties, and it is powerful just if its essence grounds its dispositional role. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

This posthumous work by Gustav Bergmann was essentially complete before his death in 1987.

This article discusses a familiar version of trope theory as opposed to a familiar version of the theory of universals, examining how these two rivals address the problem of “attribute agreement”—a problem that has been at the root of the very reason for developing these theories in the first place. The article shows that there is not much of a difference between the ways these two theories handle the problem, and in a more general way it argues that there is (...) little reason for preferring one theory over the other. It is not interested in this claim only for the sake of the debate between trope theory and the theory of universals. Indeed, the reasons why it claims that it is so difficult to choose one theory over the other can be applied to other cases as well (where they might lead to claims of metaphysical equivalence). (shrink)

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

Let us call dispositional monism the view that all natural properties have their identities fixed purely by their dispositional features, that is, by the patterns of stimulus and response in which they participate. DM implies that natural properties are pure powers: things whose natures are fully identified by their roles in determining the potentialities of events to cause or be caused. As pure powers, properties are meant to lack quiddities in Black's sense. A property possesses a quiddity just in case (...) its identity is fixed by something independent of the causal–nomological roles it may enter into. Paradigmatically, a categorical property is thought of as a property whose identity is fixed by a quiddity .The key question about the viability of DM as a theory of properties is how properties can be pure powers devoid of any quiddity. Bird provides an answer. According to Bird , ‘all there is to a property is a matter of second-order relations to other properties’. The second-order relation is just the relation that a disposition, its stimulus condition, and a manifestation condition bear to each other. Call this relation SR. SR is not causation or physical necessitation. The latter relations are first-order relations between concrete events. SR is a second-order relation. Its possession by properties explains why events featuring those properties can enter into certain first-order relations of causation or necessitation.Bird's thought then is this: the sense in which properties have their identities fixed purely by their causal–nomological roles is that they are relationally constituted, where the relation doing the constituting is SR. 1 This thesis of relational constitution does not imply that natural properties are themselves relations. Nothing prevents the identity …. (shrink)

v. 1. Nominalism and realism.--v. 2. A theory of universals.

In my reply to michael devitt, It is argued, First, That quine fails to appreciate the force of plato's "one over many" argument for universals. It is argued, Second, That quine's failure springs in part at least from his doctrine of ontological commitment: from the view that predicates need not be treated with ontological seriousness. Finally, An attempt is made to blunt the force of devitt's contention that realists cannot give a coherent explanation of the way that universals stand to (...) particulars. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

In line with much current literature, Bradley’s regress is here discussed as an argument that casts doubt on the existence of states of affairs or facts, understood as complex entities working as truthmakers for true sentences or propositions. One should distinguish two versions of Bradley’s regress, which stem from two different tentative explanations of the unity of states of affairs. The first version actually shows that the corresponding explanation is incoherent; the second one merely points to some prima facie implausible (...) consequences of the explanation it stems from, e.g., that there are infinite explanatory chains and that, for any given fact, there are infinitely many facts involving exemplification relations of increasing levels. But these consequences can be swal- lowed after all, thereby leading to the acceptance of a doctrine which may be called fact infinitism, a doctrine adumbrated in a well-known discussion of relations by Meinong. (shrink)