Mathematical platonism is the view that abstract mathematical objects exist. Ontological pluralism is the view that there are many modes of existence. This paper examines the prospects for plural platonism, the view that results from combining mathematical platonism and ontological pluralism. I will argue that some forms of platonism are in harmony with ontological pluralism, while other forms of platonism are in tension with it. This shows that there are some interesting connections between the platonism–antiplatonism dispute and recent debates over (...) ontological pluralism. (shrink)

Many have argued that the question, “Why is there something rather than nothing?” (henceforth: the Question) is defective in some way. While much of the literature on the Question rightly attends to questions about the nature and limits of explanation, little attention has been paid to how new work in metaontology might shed light on the matter. In this paper I discuss how best to understand the Question in light of the now common metaontological commitment to quantifiers that vary in (...) metaphysical naturalness. I show that proponents of this view have arguments at their disposal that appear to challenge the metaphysical substantivity of the Question. Then I argue that, not only are there ways to resist these arguments, the arguments do not pose a challenge to the Question if it is construed in a way that makes reference to many quantifiers. Rendering the Question with multiple quantifiers not only allows one to grant the prima facie substantivity of the Question, but allows us to express it in a way that is mode-of-being-neutral and ontology-neutral—an independently desirable aim. (shrink)

While historically prominent theories of truth such as the correspondence theory, coherentism, pragmatism, verificationism, and instrumentalism diverge in many ways, they converge in at least one fundamental respect. They are all monist theories of truth. They incorporate the thesis that there is one property—and one property only—in virtue of which propositions can be true. The truth pluralist, on the other hand, rejects this idea. There are several properties in virtue of which propositions can be true. This article offers a survey (...) of recent work on alethic pluralism—presenting various incarnations of the view, objections leveled against them, and various lines of response available to pluralists. (shrink)

According to K. McDaniel’s and J. Turner’s Ontological Pluralism, there are many ways of being that are more fundamental than being in general. In this paper, I shall analyze some constraints on this doctrine. Among other, ontological pluralists are committed to the idea that there are no things that have no way of being at all and that it is not legitimate to quantify over ways of being. Later on, I shall introduce a problem for ontological pluralism: if there is (...) a privileged way of being an ontological pluralist, then, given those constraints, ontological pluralists cannot logically express that privileged way. Finally, I shall justify the acceptance of a Half-Meinongian solution to this problem, that is roughly grounded on the acceptance of entities that have no way of being at all. (shrink)

This paper is about metaphysical ‘infinitism’, the view that there are, or could be, infinite chains of ontological dependence. Its main aim is to show that, contrary to widespread opinion, metaphysical infinitism is a coherent position. On the basis of this, it is then additionally argued that metaphysical infinitism need not fare worse than the more canonical ‘foundationalist’ alternatives when it comes to formulating metaphysical explanations. In the course of the discussion, a rather unexplored parallel with the debate concerning infinitism (...) about justification is suggested. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (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’.

According to the conciliatory view in metaontology, there are multiple possible languages corresponding to the popular positions in ontology. In each of these languages, the term ‘exists’ expresses a distinct “existence-like” property, and consequently the claims associated with each of the rival ontological positions come out true in some such language. Species of the conciliatory view can be distinguished based on claims about how the various existence-like properties are related vis-à-vis metaphysical naturalness. On some versions, all of the existence-like properties (...) are held to be equally natural, such that there is no “metaphysically privileged” language. However on others, there is held to be a most natural existence-like property and hence a most fundamental ontological language. In this paper I defend two views, one metaontological and one ontological. I first defend a version of the conciliatory view according to which there is exactly one perfectly natural existence-like property, but the rest are still “reasonably” natural. I then argue that, assuming this metaontological view, we should accept a permissive ontological view in the fundamental language (i.e. one with a very expansive domain). (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

I argue that, in order for us to be justified in believing that two theories are metaphysically equivalent, we must be able to conceive of them as unified into a single theory, which says nothing over and above either of them. I propose one natural way of precisifying this condition, and show that the quantifier variantist cannot meet it. I suggest that the quantifier variantist cannot meet the more general condition either, and argue that this gives the metaphysical realist a (...) way to rule out theses like quantifier variance without appealing to fundamentality, grounding, or "levels" of reality. (shrink)

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] wonderful collection of most of van Inwagen’s recent essays on topics in fundamental ontology is certainly to be welcomed.1 Many of the essays are focused on articulating and arguing for van Inwagen’s preferred meta-ontology, which he calls neo-Quineanism. In addition to these essays, Existence also contains essays on the eliminability of variables, the status of fictional entities, the (...) nature of ontological categories, the nature of properties, mereology and change over time, the comparative merits of constituent and relational ontologies, a probing discussion of metaphysical issues in the philosophy of mind, as well as an interview with van Inwagen that describes his intellectual development and his assessment of his philosophical contributions. Each essay is written in van Inwagen’s characteristically charming and impeccable style. I... (shrink)

Composition as identity is the view that a whole is identical to its parts taken collectively. Such a view raises the question of how the same portion of reality can be both one thing and many things. A primitivist view holds that there is no explanation to be had and that we simply need to accept that being one thing and being many things are compatible. One might think that we can do better by resorting to relativization. A relativist view (...) may seem to explain how the same portion of reality can be both one thing and many things on the basis of the assumption that the portion of reality is these ways relative to different ‘concepts’ or ‘counts’. This paper discusses whether relativization truly leads to a satisfactory explanation of how something can be both one thing and many things. The conclusion will be that, when we consider the current accounts of the involved parameters, these relativizations make no explanatory progress. (shrink)

This paper explores some variants and aspects of multi-quantificational criteria of existence, examining these in the context of the debate between monism and pluralism in analytical philosophy. Assuming familiarity with the findings to date, we seek to apply to these the newly introduced concepts of “substitution” and “substitutional model”. Possible applications of formal theories involving multiple types of existential quantifier are highlighted, together with their methods of construction. These considerations then lead to a thesis asserting the irrelevance of both multi-quantificational (...) criteria and assumptions involving quantificational ontology to the debate between monism and pluralism in ontology. Many quantifiers cannot properly distinguish different modes of existence–as we aim to show by furnishing a general method for constructing counter-examples to any theory that assumes that different types of existential quantifier correspond to different modes of existence. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

In a forthcoming paper in this journal, entitled “Bad company objection to Joongol Kim’s adverbial theory of numbers”, Namjoong Kim presents an ingenious Russell-style paradox based on an analogue of Kim’s definition of the number 1, and argues that Kim’s theory needs to provide a criterion of demarcation between acceptable and unacceptable definitions of adverbial entities. This paper addresses this ‘bad company’ objection and some other related issues concerning Kim’s adverbial theory by clarifying the purposes and uses of the formal (...) framework of the theory. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

Esta investigación aborda el tema de la diferencia ontológica desde la perspectiva de las maneras del ser (ser-cómo), uno de los momentos constitutivos de la idea complejo-unitaria del ser. Tema y perspectiva se complementan recíprocamente. Primero, la diferencia ontológica posibilita evidenciar el fenómeno óntico de las maneras de ser del ente y el ontológico de las maneras del ser. Segundo, ambas maneras proveen una palpable visualización sobre los términos de la diferencia ontológica, desbrozando el terreno para distinguir al ser, no (...) sólo del ente, sino de la entidad, la cual está determinada unilateralmente por el ser-dado-delante (Vorhandenheit) en sentido amplísimo. (shrink)

I first provide an interpretation of the doctrine of creatio ex nihilo based on the Fourth Lateran Council, according to which God creates from nothing if and only if God creates everything except God Himself. I then show that this doctrine entails the modal problem that it is both possible and not possible that there is nothing at all except God, or alternatively, that it is both necessary and not necessary that there is something else besides God. I proceed to (...) examine several proposals to solve the problem, and find them all inadequate. Therefore, I conclude that creatio ex nihilo violates modal logic and is necessarily false. (shrink)

Quantifier variance entails that ‘there exists’ has a variety of meanings. Determining what makes all these meanings quantifier meanings is a problem associated with this view. A reasonable candidate suggested by Hirsch is the set of formal rules governing quantification. However, the collapse argument presents a notorious objection to the viability of the candidate: there cannot be more than one quantifier obeying the same rules up to logical equivalence. It is proposed that a quantifier variantist who intends to retain Hirsch’s (...) proposed solution can admit a many-sorted language in order to block the collapse argument. Within the many-sorted language, a Kaplanian thesis about the rules governing sorted quantifiers saves quantifier variance from meaning variance. (shrink)

According to ontological nihilism nothing exists. A recent argument purports to show that this view is indefensible, since its most plausible formulations are tacitly committed to quantificational claims that are inconsistent with the nihilist's view that there aren't any existents. I show that this objection begs the question against the nihilist. The objector's argument relies on an equivalence principle implying that claims which nihilists regard as non-quantificational should nonetheless be interpreted as equivalent to quantified claims, given that both kinds of (...) assertion are assertible in the same contexts. This style of reasoning is supported by considerations of charity, which suggest that similarities in inter-personal patterns of language use provide evidence of similarity in the semantic content of speakers' utterances. However, related considerations also suggest that intra-personal patterns of language use constitute significant semantic evidence of the same kind. When we appreciate this and further recognize that nihilists are disposed to assert the negation of any positive, quantified claim, we see that it is too much to expect principles of semantic interpretation based on considerations of charity to decisively refute nihilism. This result has interesting metametaphysical implications concerning the role and scope of analogous arguments based on principles of interpretive charity. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In this article, I defend a version of ontological pluralism, specifically with an eye toward laying metaphysical groundwork for an account of divine naming inspired by Avicenna. I try to show (1) that Avicenna’s pluralism is well-motivated as a metaphysical thesis and (2) that it offers substantive philosophical support for a correlatively pluralist approach to divine naming. My argument proceeds by identifying two influential objections to ontological pluralism, and then offering replies to these objections with the help of Avicenna. The (...) first objection pertains to pluralism as a position in general metaphysics, whereas the second pertains to pluralism as a position in theological epistemology or divine naming. To the extent that these replies are successful, I argue that Avicennian pluralism is compelling on both counts as a philosophical position. (shrink)

With metaphysical philosophy gaining prominence in the aftermath of the Quine-Carnap debate, not only has it become assumed that the Quinean critique leaves ontological pluralism behind as an untenable approach, but also that the same is true of deflationism more generally. Building on Quine’s criticisms against the analytic-synthetic distinction and the notion of quantifier variance, contemporary metaphysicians like van Inwagen and Sider continue to argue for the untenability of deflationary approaches to metaontology. In this paper I will argue that Quine’s (...) criticisms do not provide sufficient grounds for revitalizing metaphysics, as the aforementioned metaphysicians conceive them as doing, and that they also don’t eliminate all hope for Carnapian pluralism. Furthermore, Carnap’s initial position may even yield the most promising route for the pluralistically inclined. Moreover, pluralism is often conceived as being equivalent with the narrower notion of quantifier variance, often associated with Hirsch and Putnam. As this notion often is attributed not only to Carnap and other pluralists, but also is taken to be an essential feature of deflationism, explicating how their merits in fact don’t necessarily coincide with those of quantifier variance will clarify matters. I will conclude by noting how neither pluralism nor deflationism is committed to quantifier variance, and thus how arguments against the latter don’t entail a refutation of the former. (shrink)

Within the context of the debate between ontological monists and pluralists the paper discusses a number of argumentative strategies that the latter can apply to answer the “there can be only one” argument. I show here that the reply to this argument suggested by J. Turner has its disadvantages and suggest a number of adjustments thereof. In particular, I develop a concept of domain-specific quantifiers that allow the pluralist to elaborate his or her ontological position.

Historically, the problem of realism has often been viewed as an extension of the problem of the external world. At the same time, the assumption has often been made that realism is appropriate to some domains, while antirealism is appropriate to others. I here sketch a neutral realism that rejects both of these assumptions and thereby allows us to treat the realism debate independently of the debate over naturalism. The starting point of neutral realism is indeed neutral with respect to (...) any metaphysical commitment to the existence of some single totality of objects or facts, or to any unified all-encompassing domain that might be identified with nature. The resulting view is shown to open up new prospects for the treatment of the actuality of ethical or aesthetic values as well as for the question of the metaphysical relationship between concrete and abstract entities. (shrink)

We develop a theory about the metaphysics of time and modality that combines the conceptual resources devised in recent sympathetic work on ontological pluralism (the thesis that there are fundamentally distinct kinds of being) with the thought that what is past, future, and merely possible is less real than what is present and actual (albeit real enough to serve as truthmakers for statements about the past, future, and merely possible). However, we also show that despite being a coherent, distinctive, and (...) prima facie appealing position, the theory succumbs to what we call the “problem of mixed ontological status”. We conclude that the proponents of the theory can only evade these problems by developing ontological pluralism in a radically different way than it has been by its recent sympathizers. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and temporal ontology.

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

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)

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)

According to orthodoxy, there are two basic moods of supposition: indicative and subjunctive. The most popular formalizations of the corresponding norms of suppositional judgement are given by Bayesian conditionalization and Lewisian imaging, respectively. It is well known that Bayesian conditionalization can be generalized (via Jeffrey conditionalization) to provide a model for the norms of partial indicative supposition. This raises the question of whether imaging can likewise be generalized to model the norms of ‘partial subjunctive supposition’. The present article casts doubt (...) on whether the most natural generalizations of imaging are able to provide a plausible account of the norms of partial subjunctive supposition. (shrink)

In his important book The Construction of Logical Space, Agustín Rayo lays out a distinctive metametaphysical view and applies it fruitfully to disputes concerning ontology and concerning modality. In this article, I present a number of criticisms of the view developed, mostly focusing on the underlying metametaphysics and Rayo’s claims on its behalf.

It is usually agreed that reality is temporal in the sense of containing entities that exist in time, but some philosophers, roughly those who have been traditionally called A-theorists, hold that reality is temporal in a far more profound sense than what is implied by the mere existence of such entities. This hypothesis of deep temporality typically involves two ideas: that reality is temporally compartmentalised into distinct present, past, and future ‘realms’, and that this compartmentalisation is temporally dynamic in the (...) sense that the boundaries of those temporal realms change from one moment to the next. The truth of something like this hypothesis is commonly thought to require that at least some of the facts that fundamentally constitute reality be tensed. While this seems plausible, realism about fundamental tensed facts does not seem to entail deep temporality. Nor is it clear exactly what realism about tense amounts to, given that no informative answer has been given to the question of what it is for a fact to be tensed. In this paper, I introduce a novel approach, perspectivalism about temporal reality, that seeks to vindicate the hypothesis of deep temporality by ascribing to reality a certain kind of temporally perspectival structure, which also provides a straightforward answer to the question of what the tensedness of facts consists in as well as to the question of what it is for reality to be constituted by such facts. (shrink)

‘It feels like I have lost a part of myself’ is frequently uttered by those grieving the death of a loved one. Despite the ubiquity of such utterances, and the palpable sense that they express something true, few philosophers have considered what, if anything, accounts for their truth. Here, I develop a suggestion from Donald Baxter according to which Composition as Identity provides us a means to understand the grief utterances literally. In doing so, I identify and develop a version (...) of Leibniz's Law required for Composition as Identity to account for the truth of the grief utterances. In turn, this principle helps shed light on Composition as Identity's central claim: that the parts are identical to the whole. By considering objections to the resulting view, I construct a list of desiderata for other philosophers interested in accounting for the grief utterances. (shrink)

Some metaphysicians believe that existence debates are easily resolved by trivial inferences from Moorean premises. This paper considers how the introduction of negative Moorean facts—negative existentials that command Moorean certainty—complicates this picture. In particular, it shows how such facts, when combined with certain plausible metaontological principles, generate a puzzle that commits the proponents of this method to a contradiction.

Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.

Two epistemic principles are Knowledge Exclusion and Belief Exclusion. Knowledge Exclusion says that it is necessarily the case that if an agent knows that p, then she does not believe that ∼p, and Belief Exclusion says that it is necessarily the case that if an agent believes that q, then she does not believe that ∼q. Many epistemologists find it reasonable to reject the latter principle and accept the former. I argue that this is in fact not reasonable by proposing (...) a case in which an agent can use that she has contradictory beliefs towards a proposition as decisive evidence for that proposition. A natural response is that this case conflicts with common assumptions about the relation between knowledge, contradictory beliefs and rationality. I reply by drawing ideas from Lasonen-Aarnio’s remarks on unreasonable knowledge to explain why these common assumptions do not threaten my argument. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

This thesis seeks to understand the nature of and relation between science and philosophy articulated in the early work of the French philosopher Gilles Deleuze. It seeks to challenge the view that Deleuze’s metaphysical and metaphilosophical position is in important part an attempt to respond to twentieth century developments in the natural sciences, claiming that this is not a plausible interpretation of Deleuze’s early thought. The central problem identified with such readings is that they provide an insufficient explanation of the (...) nature of philosophy’s contribution to the encounter between philosophy and science that they discern in Deleuze’s work. The philosophical, as opposed to scientific, dimension of the position attributed to Deleuze remains obscure. In chapter 1, it is demonstrated that this question of philosophy’s contribution to intellectual life and of how to differentiate philosophy from the sciences is a live one in Deleuze’s early thought. An alternative, less anachronistic interpretation of the parameters of Deleuze’s early project is offered. The remaining chapters of the thesis examine the early Deleuze’s understanding of the divergence between philosophy and science. Chapter 2 gives an account of Deleuze’s metaphilosophy, alongside a reconstruction of his largely implicit early understanding of science. The divergent intellectual processes and motivating concerns that account for Deleuze’s understanding of the differentiation of science and philosophy are thus clarified. In chapter 3, Deleuze’s use of mathematical and physical concepts is examined. It is argued that these concepts are used metaphorically. In chapter 4, the association between modern science and the Deleuzian concept of immanence that has been proposed by some Deleuze scholars is examined and ultimately challenged. The thesis concludes with some reflections on the significance of Deleuze’s early work for contemporary debates concerning the future of continental philosophy and the nature of philosophy more generally. (shrink)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

This article aims to provide a metaphysical elucidation of the notion of Theism and a coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical Theism. A model of this notion and its extensions is formulated within the ontological pluralism framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David Lewis, which enables it to be explicated clearly and consistently, and two often raised objections against the elements of this notion can be (...) successfully answered. (shrink)

[Draft substantially revised, September 2021] David Lewis acclimated us to talk of “nonactual concreta that exist,” regarding talking donkeys and the like. I shall argue that this was not for the best, and try to normalize a way of describing them as “actual concreta that do not exist.” The basis of this is a defense of the Meinongian thesis “there are objects of which it is true that there are no such objects,” re: fictitious and illusory objects. I first formulate (...) the problem of negative existentials in a novel way, and discuss why this new version is more forceful against anti-Meinongians. Additional data is also pressed against anti-Meinongians--e.g., the truth of ‘Pegasus is imaginary’, and a reading of ‘There actually are illusory objects’ where it comes out true. The Meinongian, in contrast, easily and uniformly explains the same data, by allowing the existence Pegasus, pink elephants, and the like. But contra Meinong, these cases suggest that the nonexistent objects are mind-dependent objects, and I clarify and defend this suggestion from several objections. The resulting Meinongianism is thus “conservative” in that it merely acknowledges the sense in which there are mind-dependent objects, imaginary and illusory objects being prime examples. Of special note, the “ideology” is conservative as well in that the typical Meinongian jargon of “nuclear” or “encoded” properties is paraphrased away. New suggestions about the ontology of abstracta, mere possibilia, and impossibilia are sketched in light of this. Comparisons are also made with Thomasson, Crane, and McGinn, among others. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)