Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than its counterpart, (...) ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

This chapter contains section titled: The Issue Varieties of Nominalism Two Conceptions of Universals The Regress Charge and two Unsuccessful Attempts to Meet it An Alternative.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

Many philosophers posit abstract entities – where something is abstract if it is acausal and lacks spatio-temporal location. Theories, types, characteristics, meanings, values and responsibilities are all good candidates for abstractness. Such things raise an epistemological puzzle: if they are abstract, then how can we have any epistemic access to how they are? If they are invisible, intangible and never make anything happen, then how can we ever discover anything about them? In this article, I critically examine epistemological objections to (...) belief in abstract objects offered by Paul Benacerraf, Colin Cheyne and Hartry Field. (shrink)

In a recent paper, John J. Park argues (1) that an abstract object can bring a universe into existence, and (2) that, according to the Big Bang Theory, the initial singularity is an abstract object that brought the universe into existence. According to Park, if (1) and (2) are true, then the kalam cosmological argument fails to show that the cause of the universe must be divine. I argue, however, that both (1) and (2) are false. In my argument I (...) analyse the abstract/concrete distinction and conclude that, by its nature, an abstract object is causally inefficacious in the sense that it cannot bring something into existence. (shrink)

In an earlier paper I suggested that we can solve the Benacerraf Problem – the problem of explaining how mathematical knowledge is possible on the assumption that the objects of mathematics are abstract and immaterial – by positing efficient causal relations between those abstract objects and our brains. The burden of the paper was to remove the appearance that relations between abstracta and concreta, far from being actual, are inconceivable. This alleged inconceivability has been derived from some putative conditions on (...) efficient causation: physical contact, energy transfer, reciprocal effects on the cause, and the idea that the cause must exist in time if its effects do. I argued that none of these conditions are a priori conditions on efficient causation, and thus do not pose an obstacle to the conceivability or metaphysical possibility of efficient causal relations between platonic objects and brains. In this essay I reply to three published challenges to this proposed solution to the Benacerraf Problem. (shrink)

Metaphysics and ethics are two distinct fields in academic philosophy. The object of metaphysics is what is, while the object of ethics is what ought to be. Necessitarianism is a modal doctrine that appears to obliterate this neat distinction. For it is commonly assumed that ought (at least under normal circumstances) implies can. But if necessitarianism is true then I can only do what I actually do. Hence what I ought to do becomes limited to what I in fact do. (...) This is one widespread way of construing the danger that necessitarianism poses for ethics. There is, however, another way in which this collapse of what is with what ought to be can be construed. One could think of what is as already being what ought to be, of the two being one. On this picture, everything that is, is already valuable. In this thesis I explore the theory that being is intrinsically valuable. I do so by investigating the philosophy of perfection present in the works of the early modern rationalist Spinoza. For in his philosophy of perfection, I argue, we find being and value to be perfectly aligned. Hence, my reading challenges a widespread interpretation, according to which (ontological) perfection is divested of normativity in Spinozism. The position that all being is intrinsically valuable since it is perfect may be thought to be incompatible with human perfectionism. For what room can there be for human progress toward an ideal of perfection if all that exists, is necessarily perfect? The goal of the thesis is to respond to this question by providing a systematic interpretation of the metaphysics of human perfectibility in Spinoza’s philosophy. In order to achieve this goal, I undertake two tasks. First, I examine Spinoza’s multi-faceted philosophy of perfection. I distinguish between ontological and teleological perfection. Moreover, I argue that since Spinoza maintains that everything is perfect to the extent that it is, perfection shoulders the role of a transcendental within his system. In order to highlight the normative significance of transcendental perfection, I compare Spinoza’s thought with the transcendental theory of the good in Thomas Aquinas. In addition, I distinguish between ontological and speculative perfection. Speculative perfection is conscious awareness of ontological perfection. Second, I show how infinity plays an essential role in Spinoza’s ethics by indicating how we, by availing ourselves of this notion, are able to acquire a perspective on reality from which its ontological perfection may be discovered. On this basis, I am able to demonstrate the (relatively understudied) ethical and soteriological importance of Spinoza’s conception of infinity. I argue that it is because (a) Spinoza’s ideal of human perfection is speculative, and because (b) one will be able to establish the (ontological) perfection of things by deducing it from the divine essence only when one considers this essence absolutely infinite, that (c) the absolute infinity of the divine essence plays a significant role in Spinoza’s account of human perfection as consisting in conscious awareness of the value of all being. (shrink)

In this dissertation I consider the merits of certain nominalist accounts of phenomena related to the character of ordinary objects. What these accounts have in common is the fact that none of them is an error theory about standard cases of predication and none of them deploys God or uniquely theistic resources in its explanatory framework. -/- The aim of the dissertation is to answer the following questions: -/- • What is the best nominalist account on offer? • How might (...) it be improved? • Does it ultimately succeed? -/- I will argue that while so-called trope theory is the best account on offer, it can be significantly improved—or replaced—by a novel version of nominalism that is modeled after trope theory. Ultimately, however, I will argue that even the novel version fails. -/- The dissertation unfolds as follows. In Chapter 1, I introduce Austere Nominalism (AN), which is perhaps the most extreme version of nominalism that falls within the scope of the dissertation. AN is often described as the view that there exist only concrete particulars. According to AN, it is unnecessary to posit any entities other than ordinary objects—turkeys, tables, and the like—in order to account for explananda related to the character of those objects. (Such explananda include the phenomenon of attribute agreement, of attribute possession, of true subject-predicate sentences, etc.) In this chapter I argue that AN fails to provide an adequate account of these explananda. In addition, introducing and criticizing AN serves an important heuristic role for the rest of the dissertation. To understand this role, we must distinguish between the basic explanatory strategy deployed by the austere nominalist and the type of explananda for which she deploys that strategy. The austere nominalist deploys the strategy to account for the character of ordinary objects. As I argue in Chapter 1, this deployment is a failure. As I go on to show in Chapter 2, the widespread rejection AN has led to a variety of rival accounts of the character of ordinary objects. In rejecting AN, however, these accounts also tacitly reject its basic explanatory strategy. Thus goes the baby with the bathwater, since, arguably, there are some attractive features of AN’s basic explanatory strategy. Indeed, those who defend the most prominent version of nominalism—trope theory—seem to overlook the advantages of AN’s basic strategy, and by so doing, make an unnecessary concession to the realist. Or so I argue in Chapter 3. And, as I will argue in Chapter 4, the strongest version of nominalism is a novel account, modeled after trope theory, that deploys AN’s basic strategy at a more fundamental level than that of ordinary objects. This novel account—troper theory—is closer in spirit to AN than is traditional trope theory. (Thus, AN serves as a foil for the discussion of other nominalist views.) Finally, in the Afterword I indicate how troper theory is equally vulnerable to some of the traditional objections that plague trope theory. Thus, if you are not convinced that traditional objections to trope theory are conclusive and you want to be a nominalist, then you should abandon trope theory and adopt troper theory. If you take traditional objections against trope theory to have significant force, then you should reject both theories. (shrink)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)

The article presents an unconventional although not absolutely unprecedented view on abstract objects defending the position of metaphysical realism. It is argued that abstract objects taken in purely ontological sense are the forms of objects. The forms possess some common characteristics of abstract objects, they can exist not in physical space and time and play a grounding role in their relation to concrete objects. It is stated that commonly discussed abstract objects – properties, kinds, mathematical objects – are forms.