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’.

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)

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)

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)

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)

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.

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)

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)

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 Growing Block Theory of time says that the metaphysical openness of the future should be understood in terms of there not being any future objects or events. But in a series of works, Ross Cameron, Elizabeth Barnes, and Robbie Williams have developed a competing view that understands metaphysical openness in terms of it being indeterminate whether there exist future objects or events. I argue that the three reasons they give for preferring their account are not compelling. And since the (...) notion of “indeterminate existence” suffers conceptual problems, the Growing Block is the preferable view. (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)

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.

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)

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)

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)

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)

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.

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)

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)

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.

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)

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)

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.

English is spoken all around the world as it is chosen as the second language to speak within most of the countries. However, from the ancient history of the British to come into this South Asian region, the entrance of English as a speaking language happened. Though, after some centuries, the British went out of the mainland of India, it remains the second-largest spoken language there. Here comes another fact; many words in Standard English changed its form. So, this made (...) the dialects as much as changed that many ones refer to English in India as Indian English. In this present time, though, there are hundreds of languages chosen to speak Indian English that differ in many ways. The characters playing English roles also have a dialect changing of English in somewhat ways. Though the grammars and principal terms of English are still the same for Indian English, deviations came across the spoken language in many attributes. This paper identifies the entrance of English in India, the deviation of dialect change in Indian English with examples of characters still making way to English (Both British and Hollywood) movies with the dialects of Indian English many ways. The paper studies those ways and deviations of words in English in India that they use and call it Indian English. (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)

I begin with a personal confession. Philosophical discussions of existence have always bored me. When they occur, my eyes glaze over and my attention falters. Basically ontological questions often seem best decided by banging on the table--rocks exist, fairies do not. Argument can appear long-winded and miss the point. Sometimes a quick distinction resolves any apparent difficulty. Does a falling tree in an earless forest make noise, ie does the noise exist? Well, if noise means that an ear must (...) be there to hear it, then the answer to the question is evidently "no." But if noise means that, if there were (counterfactually) someone there, then he would hear it, then just as obviously, the answer becomes "yes.". (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.

This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical (...) vagueness is (roughly) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

Antonio Caso, “La existencia como economía y como caridad” (1916). Translated with Jose G. Rodriguez Jr. as “Existence as Economy and as Charity,” in 20th Century Mexican Philosophy: Essential Readings, eds. Carlos Alberto Sánchez and Robert Eli Sanchez, Jr. (New York: Oxford University Press, 2017).

If I see, hear, or touch a sparrow, the sparrow seems real to me. Unlike Bigfoot or Santa Claus, it seems to exist; I will therefore judge that it does indeed exist. The “sense of existence” refers to the kind of awareness that typically grounds such ordinary judgments of existence or “reality.” The sense of existence has been invoked by Humeans, Kantians, Ideologists, and the phenomenological tradition to make substantial philosophical claims. However, it is extremely controversial; its (...) very existence has been called into question. This paper aims to clarify the nature and reality of the sense of existence by studying a psychiatric condition in which the sense appears to be disrupted: depersonalization disorder (DPD). (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.

In this paper, I examine Kant's famous objection to the ontological argument: existence is not a determination. Previous commentators have not adequately explained what this claim means, how it undermines the ontological argument, or how Kant argues for it. I argue that the claim that existence is not a determination means that it is not possible for there to be non-existent objects; necessarily, there are only existent objects. I argue further that Kant's target is not merely ontological arguments (...) as such but the larger ‘ontotheist’ metaphysics they presuppose: the view that God necessarily exists in virtue of his essence being contained in, or logically entailed by, his essence. I show that the ontotheist explanation of divine necessity requires the assumption that existence is a determination, and I show that Descartes and Leibniz are implicitly committed to this in their published versions of the ontological argument. I consider the philosophical motivations for the claim that existence is a determination and then I examine Kant's arguments in the Critique of Pure Reason against it. (shrink)

This paper examines the role existence plays in measurement validity. I argue that existing popular theories of measurement and of validity follow a correspondence framework, which starts by assuming that an entity exists in the real world with certain properties that allow it to be measurable. Drawing on literature from the sociology of measurement, I show that the correspondence framework faces several theoretical and practical challenges. I suggested the validity-first framework of measurement, which starts with a practice-based validation process (...) as the basis for a measurement theory, and only posits objective existence when it is scientifically useful to do so. (shrink)

The idea that we may continue to exist in a bodiless condition after our death has long played an important role in beliefs about immortality, ultimate rewards and punishments, the transmigration of souls, and the like. There has also been long and heated disagreement about whether the idea of disembodied existence even makes sense, let alone whether anybody can or does survive dissolution of his material form. It may seem doubtful that anything new could be added to the debate (...) at this late date, but I hope to show that this is not so. I will explore the problem of disembodiment from a somewhat different direction than has been tried before, one that leads to what seem to me more interesting and more definite conclusions about its unintelligibility. Furthermore, the approach I will be taking puts both the traditional mind-body problem and the competing claims of dualism and physicalism in a fresh light that can help us to understand better the nature of our embodied existence. (shrink)

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.

In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is (...) the correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties). (shrink)

According to Leibniz’s infinite-analysis account of contingency, any derivative truth is contingent if and only if it does not admit of a finite proof. Following a tradition that goes back at least as far as Bertrand Russell, several interpreters have been tempted to explain this biconditional in terms of two other principles: first, that a derivative truth is contingent if and only if it contains infinitely complex concepts and, second, that a derivative truth contains infinitely complex concepts if and only (...) if it does not admit of a finite proof. A consequence of this interpretation is that Leibniz’s infinite-analysis account of contingency falls prey to Robert Adams’s Problem of Lucky Proof. I will argue that this interpretation is mistaken and that, once it is properly understood how the idea of an infinite proof fits into Leibniz’s circle of modal notions, the problem of lucky proof simply disappears. (shrink)

In this paper I discuss a number of different relationships between two kinds of obligation: those which have individuals as their subject, and those which have groups of individuals as their subject. I use the name collective obligations to refer to obligations of the second sort. I argue that there are collective obligations, in this sense; that such obligations can give rise to and explain obligations which fall on individuals; that because of these facts collective obligations are not simply reducible (...) to individual obligations; and that collective obligations supervene on individual obligations, without being reducible to them. The sort of supervenience I have in mind here is what is sometimes called ‘global supervenience’. In other words, there cannot be two worlds which differ in respect of the collective obligations which exist in them without also differing in respect of the individual obligations which exist in them. (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.

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with (...) Geach on both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

The aim of this paper is to clarify Spinoza’s views on some of the most fundamental issues of his metaphysics: the nature of God’s attributes, the nature of existence and eternity, and the relation between essence and existence in God. While there is an extensive literature on each of these topics, it seems that the following question was hardly raised so far: What is, for Spinoza, the relation between God’s existence and the divine attributes? Given Spinoza’s claims (...) that there are intimate connections between God’s essence and his existence – “God’s essence and his existence are one and the same”(E1p20) – and between God’s essence and the attributes – “By attribute I understand what the intellect perceives of substance, as constituting its essence” (E1d4), we would naturally expect that by transitivity, there is a significant relation between God’s existence and the attributes. Yet, as far as I know, there is little, if any, attempt in the existing literature to explicate such a relation, and it is one of my aims of this study to both raise the question and answer it. Eventually, I will argue that for Spinoza God is nothing but existence, and that the divine attributes are just fundamental kinds of existence, or, what is the same, as I will later argue, the intellect’s most fundamental and adequate conceptions of existence. In the first part of the paper I provide some background for Spinoza’s brief discussion in the TTP of God’s name and essence by studying the claims of Maimonides in the Guide of the Perplexed that God’s true essence is necessary existence, and that this essence is denoted by the ineffable Hebrew name of God, the Tetragrammaton (YHVH). In the second part of the paper I point out similar claims Spinoza presents in the TTP, and show how they respond to and echo Maimonides’ discussion in the Guide. In the third part, I examine Spinoza’s apparently conflicting claims in the Ethics about the relationship between God’s essence and existence. In some places Spinoza claims that God’s essence and existence are strictly identical (E1p10: “God’s essence his existence are one and the same”), but in other passages he makes the apparently much more modest claim that God’s essence involves existence (E1d1, E1p7d and E1p11d), which may lead one to believe that there is more to God’s essence than mere existence. I show that Spinoza’s understanding of the relation denoted by the Latin ‘involvit’ is consistent with the strict identification of essence and existence in God, and that Spinoza identifies God’s essence with self-necessitated existence, or eternity. Indeed, Spinoza’s understanding of eternity [aeternitas] as self-necessitated existence (E1d8) is one of the very few Spinozistic concepts that has no trace in Descartes. In this part I will also solve the long-standing problem of the sense in which the infinite modes can be called ‘eternal.’ In the fourth part I turn to the relation between the divine attributes and God’s existence and argue that, for Spinoza, the attributes are self-sufficient and adequate conceptions of existence. Finally, I will attempt to explain what brought Spinoza to deify existence. -/- Part I: “In that Day shall God be One, and his Name One”- Maimonides on God’s Name and Essence. -/- 1.1 Before we delve into the texts, let me suggest a few distinctions between various views on the issue of the relation between essence and existence in God. The view I suspect both Maimonides and Spinoza subscribe to can be termed the divine essence-existence Identity Thesis. -/- Identity Thesis (IT): God’s essence is existence and nothing but existence. We should distinguish the Identity Thesis from the much more common view according to which God’s essence contains existence, or (which I take to be roughly the same) that existence is one of the properties or perfections which constitute God’s essence. The latter view allows for the possibility (though it does not demand) that there is more to God’s essence than bare existence (e.g., God’s essence may include omniscience, omnipotence, etc.). I will term this view the divine essence-existence Containment Thesis. (shrink)

It may be a deep, yet often ignored, human need for a human being to have value. In this paper, I firstly point out the problem of value, which is, roughly, how to find a way for a human being to have value. Then, I point out the problem of existence, which is a related problem, which is, roughly, how to affirm existence in an absolute manner. After that, I propose a solution to the problem of existence, (...) which is a new way of thinking, which starts with a pure concept of existence, or in other words, a pure concept of "there be". This new way of thinking itself may be worthy of further philosophical research, especially metaphysical research. Finally, in this new way of thinking, I propose a solution to the problem of value, of which the main part is a metaphysical argument for that every entity has value. This paper may help to address the deep, yet often ignored, human need for a human being to have value. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)