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 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)

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)

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)

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)

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)

I explain a tension between musical creationism 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 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)

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.

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)

REVIEW (1): "Jeff Kochan’s book offers both an original reading of Martin Heidegger’s early writings on science and a powerful defense of the sociology of scientific knowledge (SSK) research program. Science as Social Existence weaves together a compelling argument for the thesis that SSK and Heidegger’s existential phenomenology should be thought of as mutually supporting research programs." (Julian Kiverstein, in Isis) ---- REVIEW (2): "I cannot in the space of this review do justice to the richness and range of (...) Kochan's discussion [...]. There is a great deal in this foundational portion of Kochan's discussion that I find tremendously interesting and engaging [...]." (David R. Cerbone, in Studies in History and Philosophy of Science) ---- REVIEW (3): "Science as Social Existence will be of interest not only to Heidegger scholars but to anyone engaged in science and technology studies. [...] This is an informative and original book. Kochan should be praised for his clear, pleasant-to-read prose." (Michael Butler, in CHOICE). (shrink)

When Husserl speaks of the so-called ?transcendental reduction? or ?phenomenological epoch?? many believe that he is eschewing the question of truth or existence. Two reasons are given for this: First, Husserl explicitly states that when we perform the reduction, we should no longer naively ?accept [the world] as it presents itself to me as factually existing? (Id I ?30, p. 53) and should suspend our judgement with regard to ?the positing of its actual being? (Id I ?88, p. 182). (...) Second, Husserl seems to have no problem in referring to an ?object? of thought even when we refer to non-existent, hallucinatory or indeed impossible objects. This seems to suggest that he is not interested in the question whether or not there is a corresponding ?ordinary? object. The paper seeks to question this and will show that his inquiry never loses sight of the questions of truth and existence but rather brings them into the foreground. (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.

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)

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)

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)

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)

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)

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is (...) an object, which definitely exists, about which it is vague whether the relevant borderline parts compose it. (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)

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)

Do numbers exist? Do properties? Do possible worlds? Do fictional characters? Many metaphysicians spend time and effort trying to answer these and other questions about the existence of various entities. These inquiries have recently encountered opposition: a group of philosophers, drawing inspiration from Aristotle, have argued that many or all of the existence questions debated by metaphysicians can be answered trivially, and so are not worth debating. Our task is to defend existence questions from the neo-Aristotelians' attacks.

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)

This paper draws on the notion of the ‘project,’ as developed in the existential philosophy of Heidegger and Sartre, to articulate an understanding of the existential structure of engagement with virtual worlds. By this philosophical understanding, the individual’s orientation towards a project structures a mechanism of self-determination, meaning that the project is understood essentially as the project to make oneself into a certain kind of being. Drawing on existing research from an existential-philosophical perspective on subjectivity in digital game environments, the (...) notion of a ‘virtual subjectivity’ is proposed to refer to the subjective sense of being-in-the-virtual-world. The paper proposes an understanding of virtual subjectivity as standing in a nested relation to the individual’s subjectivity in the actual world, and argues that it is this relation that allows virtual world experience to gain significance in the light of the individual’s projectual existence. The arguments advanced in this paper pave the way for a comprehensive understanding of the transformative, self-transformative, and therapeutic possibilities and advantages afforded by virtual worlds. (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)

To a first approximation, ontology is concerned with what exists, metaontology with what it means to say that something exists. So understood, metaontology has been dominated by three views: (i) existence as a substantive first-order property that some things have and some do not, (ii) existence as a formal first-order property that everything has, and (iii) existence as a second-order property of existents’ distinctive properties. Each of these faces well-documented difficulties. In this chapter, I want to expound (...) a fourth theoretical option, which unfortunately has remained ‘under the radar.’ This is Franz Brentano’s view, according to which to say that X exists is not to attribute a property at all (first- or second-order), but to say that the correct attitude to take toward X is that of accepting or believing in it. (shrink)

A platitude questioned by many Buddhist thinkers in India and Tibet is the existence of the world. We might be tempted to insert some modifier here, such as “substantial,” “self-existent,” or “intrinsically existent,” for, one might argue, these thinkers did not want to question the existence of the world tout court but only that of a substantial, self-existent, or otherwise suitably qualified world. But perhaps these modifiers are not as important as is generally thought, for the understanding of (...) the world questioned is very much the understanding of the world everybody has. It is the understanding that there is a world out there —independent of our minds — and that when we speak and think about this world we mostly get it right. But the Madhyamaka thinkers under discussion here deny that there is a world out there and claim that our opinions about it are to the greatest part fundamentally and dangerously wrong. (shrink)

Much debate in contemporary metaphysics of time has centred on whether or not tense is essential to the understanding of a temporal reality. The rival positions in this debate are associated with two very different pictures of the relationship between time and existence. Those who argue for the dispensability of tense see the phenomenon of tense as an epistemological accretion which infects our perception of the world but is in no way essential to a complete description of reality. With (...) respect to existence, things past and future are supposed to be on an equal footing with things present. Thus the Quinean ‘time slice’ ontology, which sees the world as a four-dimensional entity in space-time, repudiates any ontological significance to the differences between past, present and future. For the Quinean, what differences we see between past, present and future existents pertain to our limited mode of access to reality. In a perception which grasped the world as it really is tense differences would have no place. In this respect the Quinean position resembles Spinoza's claim in the Ethics that in so far as the mind conceives a thing under the dictates of reason it is affected equally, whether the idea be of a thing future, past or present. (shrink)

Une négation qui se voudrait absolue, mais niant tout existant -jusqu’à l’existant qu’est la pensée effectuant cette négation même- ne saurait mettre fin à la « scène » toujours ouverte de l’être, de l’être au sens verbal : être anonyme qu’aucun étant ne revendique, être sans étants ou sans êtres, incessant « remue-ménage », pour reprendre une métaphore de Blanchot, il y a impersonnel, comme un « il pleut » ou un « il fait nuit ». Terme foncièrement distinct du (...) « es gibt » heideggerien. Il n’a jamais été ni la traduction, ni la démarque de l’expression allemande et de ses connotations d’abondance et de générosité. Il faut insister sur le caractère désertique, obsédant et horrible de l’il y a et sur son inhumaine neutralité.Neutralité à surmonter. Sortie recherchée dans ce livre. Analyses esquissées dans ce sens de la relation à autrui. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

An influential position in the philosophy of biology claims that there are no biological laws, since any apparently biological generalization is either too accidental, fact-like or contingent to be named a law, or is simply reducible to physical laws that regulate electrical and chemical interactions taking place between merely physical systems. In the following I will stress a neglected aspect of the debate that emerges directly from the growing importance of mathematical models of biological phenomena. My main aim is to (...) defend, as well as reinforce, the view that there are indeed laws also in biology, and that their difference in stability, contingency or resilience with respect to physical laws is one of degrees, and not of kind . (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)

The existence of God is once again the focus of vivid philosophical discussion. From the point of view of analytic theology, however, people often talk past each other when they debate about the putative existence or nonexistence of God. In the worst case, for instance, atheists deny the existence of a God, which no theists ever claimed to exist. In order to avoid confusions like this we need to be clear about the function of the term 'God' (...) in its different contexts of use. In what follows, I distinguish between the functions of 'God' in philosophical contexts on the one hand and in theological contexts on the other in order to provide a schema, which helps to avoid confusion in the debate on the existence or non-existence of God. (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.

Martin Heidegger devotes extensive discussion to medieval philosophers, particularly to their treatment of Truth and Being. On both these topics, Heidegger accuses them of forgetting the question of Being and of being responsible for subjugating truth to the modern crusade for certainty: ‘truth is denied its own mode of being’ and is subordinated ‘to an intellect that judges correctly’. Though there are some studies that discuss Heidegger’s debt to and criticism of medieval thought, particularly that of Thomas Aquinas, there is (...) no constructive reply to his assertions. As a result, Heidegger’s critique had an unprecedented effect on the credibility of medieval philosophy, whereby great portions of the philosophical community dismiss it altogether as an illegitimate Onto‐Theology. It is the aim of this study to offer a constructive reply that will fundamentally grapple with these allegations. By constructive reply we mean not only a reply that avoids the problems Heidegger raises regarding existence, essence and truth, but more importantly, one that uses Heidegger’s criticism in order to present a more insightful account of these notions. The present study is composed of two parts where the second serves as a sort of addendum. The first part, the core of this study, is an attempt to develop an understanding of the distinction between essence and existence that, on the one hand, accords with Heidegger’s criticism while on the other hand advances our understanding of how we think and understand reality. After presenting Heidegger’s depiction of Aquinas’s distinction between essence and existence (esse) as a real distinction, the study will present several views propounded by scholars of Aquinas regarding the status of this distinction. It will be argued that it is not clear whether the distinction is real, formal or conceptual, and that different types of distinction are applied in different places, particularly in regard to the phantasm that Aquinas considers essential to the human act of thinking. The second part diverges from the first part and focuses on Heidegger’s criticism of Aquinas’s conception of truth as adequation, i.e., what it is that grounds the possibility of truth as adequation. This divergence is necessary in order to present a full metaphysical response to Heidegger’s criticism. Since the aim of the present study is to argue that Aquinas’s philosophical system can contend with Heidegger’s criticism, a partial reply would greatly diminish its effectiveness. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the (...) class='Hi'>existence of things is grasped. (shrink)

Along the strike of this article we’ll try to perform two tasks. The first one is to review the world existence but not in form of concept but in form of modern scientific-philosophic system of views on the Universe structure and on the processes of formation and development of non-organic world, worlds of life and intelligence. The second one is to answer the question “what is the essence of human life?” through the scientific-philosophic understanding of the world existence.

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

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.

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)

This is the published version of a talk on meta-ontology in a conference of a multidisciplinary research project on "logic and sensibility". It argues against univocalism about "existence" and for a variety of perspectivism.

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)

In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify (...) Kant’s elusive theory of existence through its opposition to Baumgarten. I will show that Kant’s refutation of (i)–(iii) does not stand alone but is grounded on his own definition of existence as (absolute) positing. Thus contrary to common practice, Kant’s negative claims about what existence is not cannot be understood in isolation but must be taken as jointly dependent on Kant’s positive claim of what existence is. I will show that the theses (i)–(iii) fail because they presuppose that existence contributes to the intension or content of a concept, whereas according to Kant existence in fact posits a (non-empty) extension to the concept. (shrink)

It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn is an example of a know-how representation. Such representations are argued to have their origin in a principle called the minimum duplication of resources. For most the subsequent discussions existence of colour name strategy suffices. It is pointed out that the BerlinA- KayA universal partial ordering of colours and the frequency (...) of traffic accidents classified by colour are surprisingly similar; a detailed analysis is not carried out as the specific colours recorded are not identical. Some consequences of the existence of a name strategy for the philosophy of language and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary throughout to use real numbers as opposed to bi-valent quantities; and also that the concomitant label associated with sentences should not be of unconditional truth, but rather several real-valued quantities associated with visual communication. The implication of real-valued truth quantities is that the Continuum Hypothesis of pure mathematics is side-stepped, because real valued quantities occur ab initio. The existence of name strategy shows that thought/sememes and talk/phonemes can be separate, and this vindicates the assumption of thought occurring before talk used in psycho-linguistic speech production models. (shrink)

The paper deals with the "deuteros plous", literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s "Phaedo", the key passage being Phd. 99e4–100a3. The second voyage refers to what Plato’s Socrates calls his “flight into the logoi”. Elaborating on the subject, the author first (I) provides a non-standard interpretation of the passage in question, and then (II) outlines the philosophical problem that it seems to imply, and, finally, (III) tries to apply this philosophical problem to the "ultimate (...) final proof" of immortality and to draw an analogy with the ontological argument for the existence of God, as proposed by Descartes in his 5th "Meditation". The main points are as follows: (a) the “flight into the logoi” can have two different interpretations, a common one and an astonishing one, and (b) there is a structural analogy between Descartes’s ontological argument for the existence of God in his 5th "Meditation" and the "ultimate final proof" for the immortality of the soul in the "Phaedo". (shrink)

After reviewing Kant’s well-known criticisms of the traditional proofs of God’s existence and his preferred moral argument, this paper presents a detailedanalysis of a densely-packed theistic argument in Religion within the Bounds of Bare Reason. Humanity’s ultimate moral destiny can be fulfilled only through organized religion, for only by participating in a religious community can we overcome the evil in human nature. Yet we cannot conceive how such a community can even be founded without presupposing God’s existence. Viewing (...) God as the internal moral lawgiver, empowering a community of believers, is Kant’s ultimate rationale for theistic belief. (shrink)