…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

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.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

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)

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)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

Powers are popularly assumed to be distinct from, and dependent upon, inert qualities, mainly because it is believed that qualities have their nature independently of other properties while powers have their nature in virtue of a relation to distinct manifestation property. George Molnar and Alexander Bird, on the other hand, characterize powers as intrinsic and relational. The difficulties of reconciling the characteristics of being intrinsic and at the same time essentially related are illustrated in this paper and it is argued (...) that the reasons for thinking of powers as essentially relational are based on misguided epistemological consideration. Finally, I present a way of thinking of fundamental properties as primitive natures that we can only understand in virtue of what they do but which we should not think of as being ontologically constituted by these doings. According to this view, properties are both qualities and powers. (shrink)

The distinction at the heart of Kant's philosophy is a metaphysical distinction: things in themselves are substances, bearers of intrinsic properties; phenomena are relational properties of substances. Kant says that things as we know them are composed "entirely of relations", by which he means forces. Kant's claim that we have no knowledge of things in themselves is not idealism, but humility: we have no knowledge of the intrinsic properties of substances. Kant has an empiricist starting-point. Human beings are receptive creatures. (...) We must be affected by the things of which we come to have knowledge. Kant believes that humility follows from this fact of receptivity. Humility does follow from receptivity, once a further premise is supplied. Kant believes that relational properties, causal powers in particular, are not reducible to intrinsic properties, and that intrinsic properties are therefore causally inert. Receptivity implies that we can have knowledge only of what can affect us. Irreducibility implies, in Kant's view, that intrinsic properties cannot affect us. Humility follows from these. This interpretation finds support in a range of critical and pre-critical writings, but there is a special focus on an early anti-Leibnizian argument for irreducibility that has considerable philosophical merit. One advantage of this interpretation is that the following famous contradiction is dissolved: things in themselves exist, and are the causes of phenomena, and we have no knowledge of them as they are in themselves. Moreover Kant's scientific realism, surprising on an idealist interpretation, makes sense. It does not conflict with Kant's claim that he makes all the qualities secondary--he means that he makes them powers, or in Locke's terms, tertiary qualities. Kant's "primary"/secondary quality distinction is superior to widely accepted alternatives, and his application of the irreducibility argument to the primary qualities challenges some current orthodoxies. Kant's commitment to the unobservables of science is permitted by his understanding of receptivity: we can have knowledge of anything that can affect us. Kant's scientific realism, and his humility, thus have a common source. (shrink)

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)

This brilliant and controversial work investigates the relationship between 'individual' and 'scientific' knowledge.

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)

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)