The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices. The author structures his project around two focal questions. What would it take to write a book about truth in literary discourse with reasonable promise of getting it right? What would it take to write a book about truth in fiction as true to the facts of lived literary experience as objectivity allows? It is argued that the most semantically distinctive feature of (...) the sentences of fiction is that they are unambiguously true and false together. It is true that Sherlock Holmes lived at 221B Baker Street and also concurrently false that he did. A second distinctive feature of fiction is that the reader at large knows of this inconsistency and isn't in the least cognitively molested by it. Why, it is asked, would this be so? What would explain it? Two answers are developed. According to the no-contradiction thesis, the semantically tangled sentences of fiction are indeed logically inconsistent but not logically contradictory. According to the no-bother thesis, if the inconsistencies of fiction were contradictory, a properly contrived logic for the rational management of inconsistency would explain why readers at large are not thrown off cognitive stride by their embrace of those contradictions. As developed here, the account of fiction suggests the presence of an underlying three - or four-valued dialethic logic. The author shows this to be a mistaken impression. There are only two truth-values in his logic of fiction. The naturalized logic of Truth in Fiction jettisons some of the standard assumptions and analytical tools of contemporary philosophy, chiefly because the neurotypical linguistic and cognitive behaviour of humanity at large is at variance with them. Using the resources of a causal response epistemology in tandem with the naturalized logic, the theory produced here is data-driven, empirically sensitive, and open to a circumspect collaboration with the empirical sciences of language and cognition. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Let us agree that everything that there is exists, and that to be, to be real, and to exist are one and the same. Does everything that there is exist to the same degree? Or do some things exist more than others? Are there gradations of being? I argue that some entities exist more than others. Moreover, many of the notions in play in contemporary metaphysical discourse, such as fundamentality, perfect naturalness, and grounding ought to be cashed out in terms (...) of degree of existence. (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact is. (...) On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

Monism about being says that there is one way to be. Pluralism about being says that there are many ways to be. Recently, Trenton Merricks and David Builes have offered arguments against Pluralism. In this paper, I show how Pluralists who appeal to the relative naturalness of quantifiers can respond to these arguments.

Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to (...) external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes. (shrink)

Ontological pluralism is the view that there are ways of being. Ontological pluralism is enjoying a revival in contemporary metaphysics. We want to say that there are numbers, fictional characters, impossible things, and holes. But, we don’t think these things all exist in the same sense as cars and human beings. If they exist or have being at all, then they have different ways of being. Fictional characters exist as objects of make‐believe and holes exist as absences in objects. But, (...) human beings and cars exist in a much more robust sense. What are ways of being? Why should be believe in them and what should we believe about them? This short essay provides an overview of the recent revival of ways of being and explores some of the surrounding issues. (shrink)

This paper defends the view that ontological questions (properly understood) are easy—too easy, in fact, to be subjects of substantive and distinctively philosophical debates. They are easy, roughly, in the sense that they may be resolved straightforwardly—generally by a combination of conceptual and empirical enquiries. After briefly outlining the view and some of its virtues, I turn to examine two central lines of objection. The first is that this ‘easy’ approach is itself committed to substantive ontological views, including an implausibly (...) permissive ontology. The second is that it, like neo-Fregean views, relies on transformation rules that are questionable on both logical and ontological grounds. Ultimately, I will argue, the easy view is not easily assailed by either of these routes, and so remains (thus far) a tenable and attractive approach. (shrink)

Paradigmatic cases of ontological disputes are taken to concern whether or not certain objects exist. Some theorists, however, prefer to view ontologists as really debating about what we should mean with the term “exist” (or other cognate terms). This implies interpreting ontological disputes as metalinguistic negotiations, in keeping with a recent trend to interpret other philosophical disputes along these lines (Plunkett and Sundell. Philosopher's Imprint; 2013;13:1–37). A number of issues arise from such proposal. The first is what counts as evidence (...) that an object‐level dispute is actually a metalinguistic negotiation. The second regards the dialectical relevance of considering metalinguistic negotiation as even just a possible interpretative option. The third issue concerns whether, and why, certain object‐level disputes (and especially ontological ones) should be understood as metalinguistic negotiations. (shrink)

An introduction to analytic ontology. Part 1 deals with the question, What is ontology?, focusing on (i) the interplay between ontological and broadly metaphysical concerns, and (ii) the difference between material ontology and formal ontology. Part 2 deals with the question, How is ontology done?, focusing on (i) the delicate interplay between ontology and truth-making (or: between meaning and existence), and (ii) the differences between revolutionary vs. hermeneutic, prescriptive vs. descriptive, and absolute vs. relative approaches to ontology. Part 3 surveys (...) the state of the art in a number of areas, both in material ontology (e.g., the problem of universals, the status of objects and events, the ontology of mathematics, of the physical sciences, of the social sciences) and in formal ontology (identity, ontological dependence, part-whole relations). (shrink)

The purpose of this paper is to clarify what metaontological realism, as discussed in contemporary metaontological literature, amounts to. Although metaontological debates are of relatively long standing, the terms ‘realism’ and ‘anti‐realism’ have only recently come to be regularly applied to metaontological positions. The new usage is not fully stable. This paper aims to: (1) distinguish three key claims associated with the term ‘realism’ in metaontology, and give some initial reasons why it is important to be very clear about the (...) differences between these claims; (2) argue that the three ‘realist’ claims are independent of one other; and (3) argue that the label ‘ontological realism’ is best attached to just one of the three claims, namely the claim that the facts of ontology are objective. (shrink)

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

The aim of this paper is to argue in favor of the view that some counterpossibles are false. This is done indirectly by showing that accepting the opposite view, i.e., one that ascribes truth to each and every counterpossible, results in the claim that every necessarily false theory has exactly the same consequences. Accordingly, it is shown that taking every counterpossible to be true not only undermines the value of debates over various alternative theories and their consequences, but also puts (...) into question the very possibility of such debates. In order to explicate this thesis, the close bond between counterpossibles and the so-called story prefix is explored. A number of possible responses to this criticism are also presented, and it is argued that none of them address the main problem. (shrink)

The question of ontological foundation has undergone a noteworthy revival in recent years: metaphysicians today quarrel about how exactly to understand the asymmetrical and hyperintensional relationship of grounding. One of the reasons for this revival is that the old quantificationalist meta-ontology inherited from Quine has been effectively criticised by leading philosophers favourable to a meta-ontology, the aim of which is to come to know “which facts/items ground (constitute the base of) which other facts/items”, thus to examine the relation of ontological (...) dependence between beings (e.g. chemical properties depend on physical properties, the economic situation on the behaviour of individuals etc.), i.e. to explore the hierarchical structure of reality. I shall not discuss here the relationship of grounding in itself, but make some historical-formal remarks on the properties of the ultimate ontological foundational item itself and its aporetic nature. To do so I explore various more or less exotic philosophical ecosystems in the following order: Heidegger (Seyn), Plato (ἕν), Wáng Bi (道, dào). On the way I shall propose a new interpretation both of certain hypotheses in the Parmenides and of the nature of the opposition between Wáng Bì and Guō Xiàng in regard to the logical grammar of the expression “nothing (無, wú)” (transl. J. Dudley). (shrink)

Philosophers often aim to demonstrate that the things we ordinarily think and say can be reconciled with our considered beliefs about the world. To this end, many philosophers try to paraphrase ordinary language claims by finding equivalent sentences that are less misleading. For instance, though we know that there is no British family that is the average one, we want to say that the average British family has 1.8 children, and we might do that by paraphrasing this claim as: there (...) are nearly twice as many British children as British families. This article aims to introduce and distinguish different paraphrase strategies, sketch their role in metaphysical debates and highlight some crucial questions that proponents of such strategies face. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, epistemological, and linguistic (...) positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

This essay defends the neo-Quinean approach to ontology against the criticisms of two neo-Carnapians, Huw Price and Amie Thomasson.

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)

A‐theorists of time postulate a deep distinction between the present, past and future. Settling on an appropriate logic for such a view is no easy matter. This Philosophy Compass article describes one of the most vexing formal problems facing A‐theorists. It is commonly thought that A‐theories can only be formally expressed in a tense logic: a logic with operators like P and F . And it seems natural to think that we live in a world where objects come to exist (...) and cease to exist as time passes. Indeed, this is typically a key component of the most prominent kind of A‐theory, presentism. But the temporary existence assumption cannot be upheld in any tense logic with a standard quantification theory. I will explain the problem and outline the philosophical and logical considerations that generate it. I will then consider two possible solutions to the problem – one that targets our logic of quantification and one that targets our assumptions about change. I survey the costs of each solution. (shrink)

In the recent literature on all things metaontological, discussion of a notorious Meinongian doctrine—the thesis that some objects have no kind of being at all—has been conspicuous by its absence. And this is despite the fact that this thesis is the central element of the noneist metaphysics of Richard Routley (1980) and Graham Priest (2005). In this paper, we therefore examine the metaontological foundations of noneism, with a view to seeing exactly how the noneist's approach to ontological inquiry differs from (...) the orthodox Quinean one. We proceed by arguing that the core anti-Quinean element in noneism has routinely been misidentified: rather than concerning Quine's thesis that to be is to be the value of a variable, the real difference is that the noneist rejects what we identify as Quine's “translate-and-deflate” methodology. In rejecting this aspect of Quinean orthodoxy, the noneist is in good company: many of those who think that questions of fundamentality should be the proper focus of ontological inquiry can be read as rejecting it too. Accordingly, we then examine the differences between the noneist's conception of ontology and that offered by the fundamentalist. We argue that these two anti-Quinean approaches differ in terms of their respective conceptions of the theoretical role associated with the notion of being. And the contrast that emerges between them is, in the end, an explanatory one. (shrink)

Linguistic ontologists and antilinguistic, ‘serious’ ontologists both accept the inference from ‘Fido is a dog’ to ‘Fido has the property of being a dog’ but disagree about its ontological consequences. In arguing that we are committed to properties on the basis of these transformations, linguistic ontologists employ a neo-Fregean meta-ontological principle, on which the function of singular terms is to refer. To reject this, serious ontologists must defend an alternative. This paper defends an alternative on which the function of singular (...) terms is not generally to refer and on which they are generally ontologically noncommittal. This is the best way to reject linguistic, ‘easy’ arguments for the existence of properties. The account recommends neutralism about quantification (drawing on Barcan Marcus and Meinongianism), coherently bringing together two important yet uncombined meta-ontological movements. Moreover, it employs Ramseyan insights about the transformations to provide a nonreductionist, non-error-theoretic redundancy approach to explicit talk about properties. (shrink)

The Eleatic Visitor speaks forcefully when he insists, ‘Necessarily, whenever there is speech, it is speech of something; it is impossible for it not to be of something’. For ‘if it were not of anything, it would not be speech at all; for we showed that it is impossible for there to be speech that is speech of nothing’. Presumably, at 263c10, when he claims to have ‘shown’ that it is impossible for speech to be of nothing, the Visitor is (...) referring back to the Parmenidean puzzles at Sophist 237ff. (shrink)

The basic philosophical controversy regarding ordinary objects is: Do tables and chairs, sticks and stones, exist? This paper aims to do two things: first, to explain why how this can be a controversy at all, and second, to explain why this controversy has arisen so late in the history of philosophy. Section 1 begins by discussing why the 'obvious' sensory evidence in favor of ordinary objects is not taken to be decisive. It goes on to review the standard arguments against (...) the existence of ordinary objects – including those based on problems with causal redundancy, parsimony, co-location, sorites arguments, and the special composition question. Section 2 goes on to address what it is about the contemporary approach to metaphysics that invites and sustains this kind of controversy, and helps make evident why debates about ordinary objects lead so readily to debates in metametaphysics about the nature of metaphysics itself. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In the ‘ordinary business of life’, everyone makes claims about what there is. For instance, we say things like: ‘There are some beautiful chairs in my favourite furniture shop’. Within the context of philosophical debate, some philosophers also make claims about what there is. For instance, some ontologists claim that there are chairs; other ontologists claim that there are no chairs. What is the relation between ontologists’ philosophical claims about what there is and ordinary claims about what there is? According (...) to Cian Dorr, ontologists’ claims and denials of existence belong to ‘a sort of professional jargon’. Dorr claims, for example, that ‘There are prime numbers between 20 and 30’ can be used superficially or used fundamentally. Ordinary uses of are superficial: we use the sentence to assert a boring, well-known truth. But in the ontology room, is used fundamentally, to assert that numbers are ‘part of the ultimate furniture of reality’: and this is a substantial metaphysical doctrine, not a boring truth. In this paper, we will show that none of Dorr’s arguments for these claims succeeds. (shrink)

My wife and I and our three children may stand in various relations: being a family, being a basketball team, and so on. I show that Frege's doctrine of existence, when coupled with this simple point, easily solves the problem of material constitution and blocks the overdetermination argument for eliminativism. It does all this work while providing a plausible and clear reductionistic account of material objects. These seem to be very good reasons for accepting Frege's doctrine of existence.

Huw Price has argued that naturalistic philosophy inevitably leads to a deflationary approach to ontological questions. In this paper, I rebut these arguments. A more substantive, less language-focused approach to metaphysics remains open to naturalists. However, rebutting one of Price’s main arguments requires rejecting Quine’s criterion of ontological commitment. So, even though Price’s argument is unsound, it reveals that naturalists cannot rest content with broadly Quinean, “mainstream metaphysics,” which, I suggest, naturalists also have independent reasons to reject.

Modes-of-being figure centrally in Heidegger's masterwork Being and Time. Testimony to this is Heidegger's characterisation of two of his most celebrated enquiries—the Existential analytic and the Zeug analysis—as investigations into the respective modes-of-being of the entities concerned. Yet despite the importance of this concept, commentators disagree widely about what a mode-of-being is. In this paper, I systematically outline and defend a novel and exegetically grounded interpretation of this concept. Strongly opposed to Kantian readings, such as those advocated by Taylor Carman (...) and Cristina Lafont, I interpret a mode-of-being as a universal that defines a district —that is, a natural class of entities that ought to be conceptualised in a special way. As such, every mode-of-being plays an important metaphysical and epistemic role: serving both to unify a natural class of a high degree of generality and as the interpretandum of an act yielding the basic-concepts pertaining to the entities therein. In explicating and arguing for this interpretation, I attribute a characteristically Aristotelian philosophical position to the early Heidegger, encompassing both metaphysical and epistemological realism and a conceptualist theory of universals. (shrink)

Some realists claim that theoretical entities like numbers and electrons are indispensable for describing the empirical world. Motivated by the meta-ontology of Quine, I take this claim to imply that, for some first-order theory T and formula δ(x) such that T ⊢ ∃xδ ∧ ∃x¬δ, where δ(x) is intended to apply to all and only empirical entities, there is no first-order theory T′ such that (a) T and T′ describe the δ:s in the same way, (b) T′ ⊢ ∀xδ, and (...) (c) T′ is at least as attractive as T in terms of other theoretical virtues. In an attempt to refute the realist claim, I try to solve the general problem of nominalizing T (with respect to δ), namely to find a theory T′ satisfying conditions (a)–(c) under various precisifications thereof. In particular, I note that condition (a) can be understood either in terms of syntactic or semantic equivalence, where the latter is strictly stronger than the former. The results are somewhat mixed. On the positive side, even under the stronger precisification of (a), I establish that (1) if the vocabulary of T is finite, a nominalizing theory can always be found that is recursive if T is, and (2) if T postulates infinitely many δ:s, a nominalizing theory can always be found that is no more computationally complex than T. On the negative side, even under the weaker precisification of (a), I establish that (3) certain finite theories cannot be nominalized by a finite theory. (shrink)

In Metaphysics B 3 Aristotle sets out a famous argument for the thesis that being is not a genus. In his commentary on Metaphysics B, Syrianus criticizes this argument and explains in what sense being is to be regarded as a genus. I reconstruct both Syrianus’ criticisms and his own view. I bring out ways in which they can help us rethink key assumptions of Aristotle’s ontology and shed light both on Syrianus’ critical attitude towards Aristotle and on some of (...) Syrianus’ main views in metaphysics. (shrink)