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.

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 no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

This book argues that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it really is, and not on philosophers' a priori intuitions, common sense, or simplifications of science. In addition to showing how recent metaphysics has drifted away from connection with all other serious scholarly inquiry as a result of not heeding this restriction, this book demonstrates how to build a metaphysics compatible with current fundamental physics, which, when combined (...) with metaphysics of the special sciences, can be used to unify physics with the other sciences without reducing these sciences to physics itself. Taking science metaphysically seriously, this book argues, means that metaphysicians must abandon the picture of the world as composed of self-subsistent individual objects, and the paradigm of causation as the collision of such objects. The text assesses the role of information theory and complex systems theory in attempts to explain the relationship between the special sciences and physics, treading a middle road between the grand synthesis of thermodynamics and information, and eliminativism about information. The consequences of the books' metaphysical theory for central issues in the philosophy of science are explored, including the implications for the realism versus empiricism debate, the role of causation in scientific explanations, the nature of causation and laws, the status of abstract and virtual objects, and the objective reality of natural kinds. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (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.

Region R Question: How many objects — entities, things — are contained in R? Ignore the empty space. Our question might better be put, 'How many material objects does R contain?' Let's stipulate that A, B and C are metaphysical atoms: absolutely simple entities with no parts whatsoever besides themselves. So you don't have to worry about counting a particle's top half and bottom half as different objects. Perhaps they are 'point-particles', with no length, width or breadth. Perhaps they are (...) extended in space without possessing spatial parts (if that is possible). Never mind. We stipulate that A, B and C are perfectly simple. We also stipulate that they are connected as follows. A and B are stuck together in such a way that when a force is applied to one of them, they move together 'as a unit'. Moreover, the two of them together exhibit behavior that neither would exhibit on its own — Perhaps they emit a certain sound, or glow in the dark — whereas C is.. (shrink)

Though science and philosophy take different approaches to ontology, metaphysical inferences are relevant to interpreting scientific work, and empirical investigations are relevant to philosophy. This book argues that there is no uniquely rational way to determine which domains of ontology are appropriate for belief, making room for choice in a transformative account of scientific ontology.

The paper is an extended discussion of what I call the ‘dismissive attitude’ towards metaphysical questions. It has three parts. In the first part, I distinguish three quite different versions of dismissivism. I also argue that there is little reason to think that any of these positions is correct about the discipline of metaphysics as a whole; it is entirely possible that some metaphysical disputes should be dismissed and others should not be. Doing metametaphysics properly requires doing metaphysics first. I (...) then put two particular disputes on the table to be examined in the rest of the paper: the dispute over whether composite objects exist, and the dispute about whether distinct objects can be colocated. In the second part of the paper, I argue against the claim that these disputes are purely verbal disputes. In the third part of the paper, I present a new version of dismissivism, and argue that it is probably the correct view about the two disputes in question. They are not verbal disputes, and the discussion about them to date has not remotely been a waste of time. At this stage, however, our evidence has run out. I argue that neither side of either dispute is simpler than the other, and that the same objections in fact arise against both sides. (For example, the compositional nihilist does not in fact escape the problem of the many, and the one-thinger does not in fact escape the grounding problem.). (shrink)

How do we come to know metaphysical truths? How does metaphysical inquiry work? Are metaphysical debates substantial? These are the questions which characterize metametaphysics. This book, the first systematic student introduction dedicated to metametaphysics, discusses the nature of metaphysics - its methodology, epistemology, ontology and our access to metaphysical knowledge. It provides students with a firm grounding in the basics of metametaphysics, covering a broad range of topics in metaontology such as existence, quantification, ontological commitment and ontological realism. Contemporary views (...) are discussed along with those of Quine, Carnap and Meinong. Going beyond the metaontological debate, thorough treatment is given to novel topics in metametaphysics, including grounding, ontological dependence, fundamentality, modal epistemology, intuitions, thought experiments and the relationship between metaphysics and science. The book will be an essential resource for those studying advanced metaphysics, philosophical methodology, metametaphysics, epistemology and the philosophy of science. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

The central question in this book is why it seems reasonable for the words of our language to divide up the world in ordinary ways rather than other imaginable ways. Hirsch calls this the division problem. His book aims to bring this problem into sharp focus, to distinguish it from various related problems, and to consider the best prospects for solving it. In exploring various possible responses to the division problem, Hirsch examines series of "division principles" which purport to express (...) rational constraints on how our words ought to classify and individuate. The ensuing discussion deals with a wide range of metaphysical and epistemological topics, including projectibility and similarity, alternative analyses of natural properties and things, the inscrutability of reference, and the relevance of such pragmatic notions as salience and economy. The final chapters of the book develop what Hirsch contends is the most promising response to the division problem: a theory in which constraints on classification and individuation are seen to derive from the necessary structure of "fine-grained" propositions and the necessary dependence of some concepts on others. (shrink)

This chapter contains sections titled: 1 A Question about Composition 2 Some Answers 3 How Shall We Decide? 4 Common Sense and Unrestricted Composition 5 Common Sense and Compositional Nihilism 6 Compositional Nihilism and the Self 7 The Appeal to Science 8 Problem or Pseudoproblem? What To Do?

I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are intertranslatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of special (...) relativity lead me to conclude that the two theories are equally explanatory, and thus finally that they are metaphysically equivalent. (shrink)

In this paper, I explore several versions of the bundle theory and the substratum theory and compare them, with the surprising result that it seems to be true that they are equivalent (in a sense of 'equivalent' to be specified). In order to see whether this is correct or not, I go through several steps : first, I examine different versions of the bundle theory with tropes and compare them to the substratum theory with tropes by going through various standard (...) objections and arguing for a tu quoque in all cases. Emphasizing the theoretical role of the substratum and of the relation of compresence, I defend the claim that these views are equivalent for all theoretical purposes. I then examine two different versions of the bundle theory with universals, and show that one of them is, here again, equivalent to the substratum theory with universals, by examining how both views face the famous objection from Identity of Indiscernibles in a completely parallel way. It is only the second, quite extreme and puzzling, version of the bundle theory with universals that is not be equivalent to any other view; and the diagnosis of why this is so will show just how unpalatable the view is. Similarly, only a not-so-palatable version of the substratum theory is genuinely different from the other views; and here again it's precisely what makes it different that makes it less appealing. (shrink)

What determines qualitative sameness and difference? This book explores four principal accounts of the ontological basis of properties, including universals, trope theory, resemblance nominalism, and class nominalism, considering the assumptions and ontolological commitments which are required to make each into a plausible account of properties. -/- The latter half of the book investigates the applications of property theory and the different conceptions of properties which might be adopted with these in mind: first, the possibility and desirability of individuating properties, and (...) the distinction between sparse and abundant conceptions of properties; second, the distinction between intrinsic and extrinsic properties; third, the relationship between properties and their causal powers, and whether this is necessary or contingent; fourth, the relationship between properties and causation, modality, and laws of nature; finally, whether properties exist objectively, and if they do, what our epistemic position is with respect to such entities. (shrink)

Metaphysical theories are beautiful. At the end of this book, Jiri Benovsky defends the view that metaphysical theories possess aesthetic properties and that these play a crucial role when it comes to theory evaluation and theory choice.Before we get there, the philosophical path the author proposes to follow starts with three discussions of metaphysical equivalence. Benovsky argues that there are cases of metaphysical equivalence, cases of partial metaphysical equivalence, as well as interesting cases of theories that are not equivalent. Thus, (...) claims of metaphysical equivalence can only be raised locally. The slogan is: the best way to do meta-metaphysics is to do first-level metaphysics.To do this work, Benovsky focuses on the nature of primitives and on the role they play in each of the theories involved. He emphasizes the utmost importance of primitives in the construction of metaphysical theories and in the subsequent evaluation of them.He then raises the simple but complicated question: how to make a choice between competing metaphysical theories? If two theories are equivalent, then perhaps we do not need to make a choice. But what about all the other cases of non-equivalent "equally good" theories? Benovsky uses some of the theories discussed in the first part of the book as examples and examines some traditional meta-theoretical criteria for theory choice (various kinds of simplicity, compatibility with physics, compatibility with intuitions, explanatory power, internal consistency,...) only to show that they do not allow us to make a choice.But if the standard meta-theoretical criteria cannot help us in deciding between competing non-equivalent metaphysical theories, how then shall we make that choice? This is where Benovsky argues that metaphysical theories possess aesthetic properties – grounded in non-aesthetic properties – and that these play a crucial role in theory choice and evaluation. This view, as well as all the meta-metaphysical considerations discussed throughout the book, then naturally lead the author to a form of anti-realism, and at the end of the journey he offers reasons to think better of the kind of anti-realist view he proposes to embrace. www.jiribenovsky.org. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

This chapter defends a (minimal) realist conception of progress in scientific understanding in the face of the ubiquitous plurality of perspectives in science. The argument turns on the counterfactual-dependence framework of explanation and understanding, which is illustrated and evidenced with reference to different explanations of the rainbow.

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- and fourthorder number (...) theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks. (shrink)

Abstract Theories are metaphysically equivalent just if there is no fact of the matter that could render one theory true and the other false. In this paper I argue that if we are judiciously to resolve disputes about whether theories are equivalent or not, we need to develop testable criteria that will give us epistemic access to the obtaining of the relation of metaphysical equivalence holding between those theories. I develop such ?diagnostic? criteria. I argue that correctly inter-translatable theories are (...) metaphysically equivalent, and what we need are ways of determining whether a putative translation is correct or not. To that end I develop a number of tools we can employ to discern whether a translation is a correct one. (shrink)

This paper is a nontechnical exposition of the author's view that mathematics is a science of patterns and that mathematical objects are positions in patterns. the new elements in this paper are epistemological, i.e., first steps towards a postulational theory of the genesis of our knowledge of patterns.

Metaphysical theories heavily rely on the use of primitives to which they typically appeal. I will start by examining and evaluating some traditional well-known theories and I will discuss the role of primitives in metaphysical theories in general. I will then turn to a discussion of claims of between theories that, I think, depend on equivalences of primitives, and I will explore the nature of primitives. I will then claim that almost all explanatory power of metaphysical theories comes from their (...) primitives, and so I will turn to scrutinize the notion of "power" and "explanatory". (shrink)

Is the self a substance, as Descartes thought, or is it 'only' a bundle of perceptions, as Hume thought ? In this paper I will examine these two views, especially with respect to two central features that have played a central role in the discussion, both of which can be quickly and usefully explained if one puts them as an objection to the bundle view. First, friends of the substance view have insisted that only if one conceives of the self (...) as a substance is it possible to account for genuine particularity of selves and genuine persistence through time of them. I will discuss in detail this claim as well as a special case of persistence - the case of a fission of a self - and I will ask, as Shoemaker (1997) did, how such a case can be handled by the two competing theories. The second central point of traditional disagreement concerns independence : it is often said that only a substance, but not a mere bundle, is independent enough of its properties to play properly the role of a self, and I will have something to say about this. Concerning all these points, my thesis will be a meta-theoretical one : contrary to appearances, both views can accommodate all of them (particularity at a time, persistence, fission, independence) in the same way, and I will examine two possible conclusions to be drawn from this : either that the differences between the two views are no more than terminological and that they turn out to be equivalent views, or that the differences are metaphysical but that it is epistemically under-determined which one of the views we should choose. (shrink)

Perspectivism is often understood as a conception according to which subjective conditions inevitably affect our knowledge and, therefore, we are never confronted with reality and facts but only with interpretations. Hence, subjectivism and anti-realism are usually associated with perspectivism. The thesis of this paper is that, especially in the case of the sciences, perspectivism can be better understood as an appreciation of the cognitive attitude that consists in considering reality only from a certain ‘point of view’, in a way that (...) can avoid subjectivism. Whereas the way of conceiving a notion is strictly subjective, the way of using it is open to intersubjective agreement, based on the practice of operations whose nature is neither mental nor linguistic. Therefore, intersubjectivity is possible within perspectivism. Perspectivism can also help understand the notion of ‘scientific objects’ in a referential sense: they are those ‘things’ that become ‘objects’ of a certain science by being investigated from the ‘point of view’ of that science. They are ‘clipped out’ of things by means of standardized operations which turn out to be the same as those granting intersubjectivity. Therefore this ‘strong’ sense of objectivity, which is clearly realist, coincides with the ‘weak’ one. The notion of truth appears fully legitimate in the case of the sciences, being clearly defined for the regional ontology of each one of them and, since this truth can be extended in an analogical sense to the theories elaborated in each science, it follows that are real also the unobservable entities postulated by those theories. (shrink)

Can metaphysics ever really be compatible with science? In this paper, I investigate the implications of the methodological approach to metaphysical theorizing known as naturalized metaphysics. In the past, metaphysics has been rejected entirely by empirically-minded philosophers as being too open to speculation and for relying on methods which are not conducive to truth. But naturalized metaphysics aims to be a less radical solution to these difficulties, treating metaphysical theorizing as being continuous with science and restricting metaphysical methods to empirically (...) respectable ones. I investigate a significant difficulty for naturalized metaphysics: that it lacks the methodological resources to comparatively evaluate competing ontological theories, or even to distinguish adequately between them. This objection is more acute when applied to robust realist versions of naturalized metaphysics, since the realist should be able to say which theory is true of the objective world. If this objection holds, then it seems that the commitment to naturalized metaphysics, or to robust realism about the categories and processes in metaphysics, will have to be relaxed. (shrink)