We initially characterize what we’ll call existence problems as problems where there is evidence that a putative entity exists and this evidence is not easily dismissed; however, the evidence is not adequate to justify the claim that the entity exists, and in particular the entity hasn’t been detected. The putative entity is elusive. We then offer a strategy for determining whether an existence problem is philosophical or scientific. According to this strategy (1) existence problems are characterized in (...) terms of causal roles, and (2) these problems are categorized as scientific or philosophical on the basis of the epistemic context of putative realizers. We argue that the first step of the strategy is necessary to avoid begging the question with regard to categorization of existence problems, and the second step categorizes existence problems on the basis of a distinction between two ways in which an entity can be elusive. This distinction between kinds of elusiveness takes as background a standard account of inference to the best explanation. Applying this strategy, we argue that the existence of a multiverse is a scientific problem. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, (...) which makes room for the possibility of super-vague existence. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

Metaphysicians frequently appeal to intuition. But when is that appeal useful? I consider that question by focusing on our existential intuitions. In particular, I want to go some way to answering the question of whether, and when, appeal to existential intuitions is useful, by consid-ering the issue in the light of an argument for unrestricted composition. This argument appeals to a difference in the extent to which restricted and unrestricted compositionalists appeal to existential intuitions, and concludes that at the very (...) least, restricted compositionalists are on shak-ier epistemic ground than unrestricted compositionalists. Having outlined this argument for unrestricted composition, I con-sider the nature of the unrestricted existential quantifier in the context of three different metaphysical scenarios about the way the world might be: scenarios that differ with respect to whether the metaphysics of a world completely or uniquely settles the division of that world into ob-jects. I argue that appeal to intuition is not only useful but necessary if we are to determine the intension of ‘exists’ and hence its extension at any given world. But this appeal is not simply an appeal to our brute ex-istential intuitions—our dispositions actually to quantify over a certain domain. Rather, it requires equilibration over a set of worlds in which we consider our ‘quantificational’ dispositions in each world, where, importantly, included in this set of worlds are worlds in which the meta-physics differently settles the division of those worlds into objects. Ul-timately, I argue, our dispositions yield various conditional claims about our concept <existence>. These are conditional claims of the most ab-stract kind: they tell us, for instance, that if there is some natural, unique division of our world into objects, then the unrestricted quantifier ranges over all and only the objects in that domain. But, I will argue, our untu-tored, world-bound dispositions are no guide at all to what actually ex-ists even on the supposition that metaphysics alone does not uniquely or completely settle a natural division of our world into objects. Hence they are no guide to the nature of composition. And to the extent that certain restricted compositionalist views depend on such intuitions, so much the worse for them. Or so I shall argue. (shrink)

This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date (...) Meinongian theory (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (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’.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan (...) formulas, and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

This essay examines the role of non-existent objects in "epistemological ontology" — the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Außersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ (...) and the quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

Consciousness is connected with the fact that a subject is aware and open to the manifestation of whatever appears. Existence, by contrast, is used to express the fact that something is given in experience, is present, or is real. Usually, the two notions are taken to be somehow related. This chapter suggests that existence is at best introduced as a metaphysical (or meta-experiential) concept that inevitably escapes the domain of conscious experience. In order to illustrate this claim, two (...) case studies are considered. The first case is provided by Descartes’s famous treatment of consciousness and existence in his Meditations on First Philosophy. The second case is meant to contrast the Cartesian approach by taking the opposite route, as delineated by Emanuele Severino (1929–2020) in his ‘fundamental ontology’. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at (...) engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

Alessandro Torza argues that Ted Sider’s Lewisian argument against vague existence is insufficient to rule out the possibility of what he calls ‘super-vague existence’, that is the idea that existence is higher-order vague, for all orders. In this chapter it is argued that the possibility of super-vague existence is ineffective against the conclusion of Sider’s argument since super-vague existence cannot be consistently claimed to be a kind of linguistic vagueness. Torza’s idea of super-vague existence (...) seems to be better suited to model vague existence under the assumption that vague existence is instead a form of ontic indeterminacy, contra what Ted Sider and David Lewis assume. (shrink)

Considering whether existence, i.e., being, is a thing might seem like the height of aimless metaphysical chin stroking. However, the issue—specifically, whether existence is a quality—is significant, bearing on how reality, this all-encompassing totality, is. On one view, reality at large is ontologically fixed, the sum total of things does not (and cannot) vary; on another view, reality is ontologically transient, the sum total of things varies. I first show that if existence is a thing, that reality (...) is ontologically fixed follows. So I consider whether existence is indeed a thing. I demonstrate that “it” could not be: existence is no existent. I then discuss what it is to exist, given existence is nothing at all. I maintain there are no grounds for the view that reality is ontologically fixed. I argue, from the irrefragable basis of temporal differentiation—the world going from thus…to as so—that reality is ontologically transient. I consider some objections to ontological transience and conclude by considering the key to understanding the overall structure in reality and what it reveals about how very inconstant all this is. (shrink)

Four accounts, three of them Kantian, of true sentences of the form “ exists” are contrasted. Russell’s theory that such sentences are meaningless is contrasted with two other Kantian theories that are analogous to one another: Frege’s semantic-ascent theory and the Frege-inspired ungerade (indirect, “oblique”) theory. Frege’s objection to the semantic-ascent account of identity is applied, ironically with equal force, against his account of existence. A second argument favoring the ungerade theory is offered. The argument is then refuted through (...) an application of a general strategy suggested by Kripke. A fourth theory, the deeply anti-Kantian existence-as-predicate theory, fully accommodates these results. (shrink)

This thesis explores and discusses foundational issues concerning the relationship between phenomenological philosophy and the enactive approach to cognitive science, with the aim of clarifying, developing, and promoting the project of enactive phenomenology. This project is framed by three general ideas: 1) that the sciences of mind need a phenomenological grounding, 2) that the enactive approach is the currently most promising attempt to provide mind science with such a grounding, and 3) that this attempt involves both a naturalization of phenomenology (...) and a phenomenologization of the concept of nature. More specifically, enactive phenomenology is the project of pursuing mutually illuminative exchanges between, on the one hand, phenomenological investigations of the structures of lived experience and embodied existence and, on the other, scientific accounts of mind and life – in particular those framed by theories of biological self-organization. The thesis consists of two parts. Part one is an introductory essay that seeks to clarify some of enactive phenomenology’s overarching philosophical commitments by tracing some of its historical roots. Part two is a compilation of four articles, each of which intervenes in a different contemporary debate relevant to the dissertation’s project. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

One of the newest research areas in moral philosophy is moral phenomenology: the dedicated study of the experiential dimension of moral mental life. The idea has been to bring phenomenological evidence to bear on some central issues in metaethics and moral psychology, such as cognitivism and noncognitivism about moral judgment, motivational internalism and externalism, and so on. However, moral phenomenology faces certain foundational challenges, pertaining especially to the existence, describability, and importance of its subject matter. This paper addresses these (...) foundational challenges, arguing that moral experiences – in the phenomenal, what-is-like sense of the term – exist, are informatively describable, and are central for the concerns of moral philosophy at large. (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)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Existence value refers to the value humans ascribe to the existence of something, regard­less of whether it is or will be of any particular use to them. This existence value based on preference satisfaction should be taken into account in evaluating activities that come with a risk of species extinction. There are two main objections. The first is that on the preference satisfaction interpretation, the concept lacks moral importance because satisfying people’s preferences may involve no good or (...) well-being for them. However, existence value can be based on a restricted version of the preference satisfaction theory, which is not vulnerable to the skeptical arguments about the link between preference satisfaction and well-being. The second objection is that even if preference satisfaction can be linked to well-being, understanding existence value in terms of individual preference satisfaction is incoherent, because existence value reflects disinterested preferences that involve no benefits to the individual. However, the fact that existence value may involve disinterested preferences does not threaten the coherence of the concept, but suggests that it does not fit smoothly into the “utilitarian” or “welfarist” framework it is commonly considered within. A pluralistic normative approach based on prima facie duties can be an alternative to standard utilitarian-style approaches for considering existence value in concrete cases involving a risk of species extinction, such as through deep sea mining. (shrink)

The distinction between essence (essentia) and existence (existentia) plays a major role in Spinoza’s metaphysics. Although the distinction did not originate with Avicenna, it is primarily through Avicenna’s influence that it became widespread, if not ubiquitous, in both Jewish and Christian medieval philosophy (e.g., Ogden 2021). Spinoza was clearly familiar with this important distinction through his study of Maimonides, Crescas, and Descartes, and it is particularly useful to examine Spinoza’s employment of the distinction in contrast to Descartes’. In the (...) Meditations, Descartes relies on the distinction in a proof of God’s existence, and in his exploration of the essence of material things (both in Meditation Five). (shrink)

A central dispute in social ontology concerns the existence of group minds and actions. I argue that some authors in this dispute rely on rival views of existence without sufficiently acknowledging this divergence. I proceed in three steps in arguing for this claim. First, I define the phenomenon as an implicit higher-order disagreement by drawing on an analysis of verbal disputes. Second, I distinguish two theories of existence—the theory-commitments view and the truthmaker view—in both their eliminativist and (...) their constructivist variants. Third, I examine individual contributions to the dispute about the existence of group minds and actions to argue that these contributions have an implicit higher-order disagreement. This paper serves two purposes. First, it is a study to apply recent advances in meta-ontology. Second, it contributes to the debate on social ontology by illustrating how meta-ontology matters for social ontology. (shrink)

In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract (...) away all existent entities, the resulting "nothing" is the entirety, the all. That “nothing is the complete definition of the situation. An entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in "nothing"? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow "nothing" to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the ideas that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

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)

Michael Huemer argues, on statistical grounds, that ``existence is evidence for immortality". On reasoning derived from the anthropic principle, however, mere existence cannot be evidence against any non-indexical, ``eternal'' hypothesis that predicts observers. This note attempts to advertise the much-flouted anthropic principle's virtues and workings in a new way, namely by calling attention to the fact that it is the primary intension of one's indexically-described evidence that best characterizes one's epistemic position.

The official definitions that appear at the beginning of four of the five parts of the "Ethics" do not include an account of "existence." However Spinoza does provide a definition of “existence” in the scholium to proposition 45 of Part 2. This is an odd place for such an important doctrine, and all the more so given that the account there differs from anything resembling commonsense. In this paper I show that, for Spinoza, to exist is to be (...) eternal. Existence in the strict sense is eternal existence. (shrink)

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously (...) has no subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the (...) powerset of the natural numbers. (shrink)

From the Qur'an, Surah Maryam: -/- (21) So she conceived him, and went in seclusion with him to a remote place. (22) And the pains of childbirth drove her to the trunk of a palm tree: she cried (in her anguish): "Ah! would that I had died before this! Would that I had been a thing forgotten and out of sight!" (23) But (a voice) cried to her from beneath the (palm tree): "Grieve not! for thy Lord hath provided a (...) rivulet beneath thee;" (24) "And shake towards thyself the trunk of the palm tree: it will let fall fresh ripe dates upon thee." (25) "So eat and drink and cool (thine) eye. And if thou dost see any man say 'I have vowed a fast to (Allah) Most Gracious, and this day will I enter into no talk with any human being.'" -/- This Surah depicts a human being in unbearable pain. What makes the pain tolerable is the sympathy that God shows for Mary. Hearing her inner voice, understanding her suffering and her grief, God is moved to provide her with practical and substantive support to help her bear her agony. For me this story portrays a God who is active in the world, hears the supplications of humanity, and has empathy with the needy, the oppressed, and those who are suffering. -/- Yet I am concerned that our theological traditions in the Islamic world (as also in Christendom) have developed through the centuries such that God is now seen, by overwhelming theological consensus, as an immutable being, a being outside time who has determined our providence from the standpoint of eternity, who has foreknowledge of every free action of his creations and has designed all according to His plan for past and future events; who knows in advance even the timings and contents of our petitionary prayers and has decided already whether to answer them. (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)

C endorses the doctrine of Composition as Identity, which holds that a composite object is identical to its many parts, and entails that one object can be identical to several others. In this dialogue, N argues that many‐one identity, and thus composition as identity, is conceptually confused. In particular, N claims it violates two conceptual truths: that existence facts fix identity facts, and that identity is no addition to being. In response to pressure from C, N considers several candidate (...) interpretations of the first slogan. Each interpretation imagines God issuing a divine existential decree that counts as ‘fixing the existence facts’, and then considers what questions about identity are left open by it. N eventually hits on an appealing interpretation of the slogan that C can neither undermine nor accommodate, and uses it to interpret the second slogan as well. (shrink)

A traditional conception of ontology takes existence to be its proprietary subject matter—ontology is the study of what exists (§ 1). Recently, Jonathan Schaffer has argued that ontology is better thought of rather as the study of what is basic or fundamental in reality (§ 2). My goal here is twofold. First, I want to argue that while Schaffer’s characterization is quite plausible for some ontological questions, for others it is not (§ 3). More importantly, I want to offer (...) a unified characterization of ontology that covers both existence and fundamentality questions (§§ 4-5). (shrink)

The chapters of the book are seemingly short, but deep explorations on the various fields and possibilities of human being and existence. Such explorations of course reorder and reformulate the timely and essential possibilities of philosophy and philosophizing. These together convey the true weight and stakes of things. For it is indeed so that: „Philosophy is destined to deal with the Deepest and most disturbing questions. It would hardly survive, if they were definitively solved.”.

Why is there something rather than nothing? This is probably the most profound question that can be asked. In this paper, a rather unexpected simple solution is provided. The solution comes from analysing the truth value of the proposition “I exist.” It will be shown that this proposition is always true, so our existence is a logical necessity. Speculations about the implications over the universe as a whole are then provided.

In this theory, we explore the interconnectedness of existence and non-existence through subjectivity and objectivity. We provide numerous logical proofs and explanations for existence and nonexistence and the historical context surrounding them, noting that philosophers have been unable to choose between subjectivity and objectivity for centuries. We contend that traditional logic could be revamped to accommodate the inner connectedness of paradoxes like existence without existence, primarily subjectivity and objectivity, which are incorporated in all. (e.g., dialetheism (...) and paraconsistent logic.) It is presented to promote discourse and critical feedback, not assert definitive conclusions. -/- This theory was created within 22 days, thus bound to have much gap within. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Time may be infinite in both directions. If it is, then, if persons could live at most once in all of time, the probability that you would be alive now would be zero. But if persons can live more than once, the probability that you would be alive now would be nonzero. Since you are alive now, with certainty, either the past is finite, or persons can live more than once.

One important task of metaphysics is to answer the question of what it is for an object to exist. The first part of this book offers a systematic reconstruction and critique of contemporary views on existence. The upshot of this part is that the contemporary debate has reached an impasse because none of the considered views is able to formulate a satisfactory answer to this fundamental metaphysical question. The second part reconstructs Thomas Aquinas’s view on existence (esse) and (...) argues that it contributes a new perspective which allows us to see why the contemporary debate has reached this impasse. It has come to this point because it has taken a premise for granted which Aquinas’s view rejects, namely, that the existence of an object consists in something’s having a property. A decisive contribution of Aquinas’s theory of esse is that it makes use of the ideas of metaphysical participation and composition. In this way, it can be explained how an object can have esse without being the case that esse is a property of it. This book brings together a reconstruction from the history of philosophy with a systematic study on existence and is therefore relevant for scholars interested in contemporary or medieval theories of existence. (shrink)

I explain a tension between musical creationism (the view that musical works are abstract artifacts) and the view that there is no vague existence. I then suggest ways to reconcile these views. My central conclusion is that, although some versions of musical creationism imply vague existence, others do not. I discuss versions of musical creationism held by Jerrold Levinson, Simon Evnine, and Kit Fine. I also present two new versions. I close by considering whether the tension is merely (...) an instance of a general problem raised by artifacts, both abstract and concrete. I argue that on at least one defensible account of music the tension is especially problematic for abstracta. I focus on musical works, but much of the paper straightforwardly applies to other kinds of abstract artifacts. (shrink)

The author challenges both the eliminative idealist's contention that physical objects do not exist and the phenomenalist idealist's view that statements about physical objects are translatable into statements about private mental experiences. Firstly, he details how phenomenalist translations are parasitic on the realist assumption that physical objects exist independently of experience. Secondly, the author confronts eliminative idealism head on by exposing its heuristic sterility in contrast with realism's predictive success.

Many philosophers have appealed to the PSR in arguments for a being that exists a se, a being whose explanation is in itself. But what does it mean, exactly, for something to have its explanation ‘in itself’? Contemporary philosophers have said next to nothing about this, relying instead on phrases plucked from the accounts of various historical figures. In this article, I analyse five such accounts – those of Anselm, Aquinas, Descartes, Spinoza, and Leibniz – and argue that none are (...) satisfactory. Should we abandon or restrict the PSR, then? I think that would be hasty, for many reasons. I therefore consider the prospects of explaining everything, including God, given the constraints of certain features of good explanations, and conclude with several observations about future approaches. (shrink)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

Sceptics about substantial disputes in ontology often argue that when two philosophers seem to disagree on a quantified claim, they are actually equivocating on the notion of existence that they are using. When temporal elements play a central role, as in the debate between presentists and eternalists, the hypothesis of an equivocation with respect to existence acquires more plausibility. However, the anti-sceptic can still argue that this hypothesis is unjustified.