Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical partition (...) functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)

ABSTRACT. Two arguments have recently been advanced that Maxwell-Boltzmann particles are indistinguishable just like Bose-Einstein and Fermi-Dirac particles. Bringing modal metaphysics to bear on these arguments shows that ontological indistinguishability for classical (MB) particles does not follow. The first argument, resting on symmetry in the occupation representation for all three cases, fails since peculiar correlations exist in the quantum (BE and FD) context as harbingers of ontic indistinguishability, while the indistinguishability of classical particles remains purely epistemic. The second argument, deriving (...) from the classical limits of quantum statistical partition functions, embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a third argument is considered that attempts to deflate metaphysical concerns altogether by showing that the phase-space and distribution-space representations of MB-statistics have contrary haecceitistic import. Careful analysis shows this argument to fail as well, leaving de re modality unproblematically grounding particle identity in the classical context while genuine puzzlement about the underlying ontology remains for quantum statistics. (shrink)

This article is a presentation of Plantinga’s ontological argument in its historical and systematical frames. Criticisms of the argument are presented as well. Philosophical claims underlying the defense of the argument are described as minimalist, but their connection with a strong logical system is noted.

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of positive property. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes positive property as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" Pure attribution seems likely to be related to the Leibnizian concept of perfection.By a (...) careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, Gödel’s Ontological Argument, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism (the belief in merely possible objects) and modal realism (the belief in possible worlds). (shrink)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

Understanding the 'making-up' relations, to put things neutrally, posited in mechanistic explanations the sciences is finally an explicit topic of debate amongst philosophers of science. In particular, there is now lively debate over the nature of the so-called 'realization' relations between properties posited in such explanations. Despite criticism (Gillett, Analysis 62: 316-323, 2002a), the most common approach continues to be that of applying machinery developed in the philosophy of mind to scientific concepts in what is known as the 'Flat' or (...) 'Subset' model of 'realization' (Kim, Mind in a physical world, 1998; Shapiro, J Philos XCVII: 635-654, 2000; Clapp, J Philos XCVIII: 111-136,2001 ; Wilson, Philos Stud 145: 149-169,2009). My primary goal in this paper is to show in still more detail that the Subset model of realization is inadequate for the descriptive task of describing the 'making-up' relations posited between properties or their instances in mechanistic explanations in the higher sciences. And my secondary goal is to highlight why this critique of the Subset view as a first-order descriptive account also shows there are deep difficulties in using the Subset account to address second-order issues in the philosophy of science as well. (shrink)

Inter-level mechanistic explanations in the sciences have long been a focus of philosophical interest, but attention has recently turned to the compositional character of these explanations which work by explaining higher level entities, whether processes, individuals or properties, using the lower level entities they take to compose them. However, we still have no theoretical account of the constitution or parthood relations between individuals deployed in such explanations, nor any accounts of multiple constitution. My primary focus in this paper is to (...) outline a positive account of the constitution/part-whole relations between individuals posited in inter-level mechanistic explanations that takes constituents in the sciences to be ‘working parts’. Using this account, I then go on to illuminate the nature, and varieties, of multiple constitution that we find in the sciences and provide a starting theoretical framework for multiple constitution as well. (shrink)

I examine different strategies involved in stating anti-theistic arguments from natural evil, and consider some theistic replies. There are, traditionally, two main types of arguments from natural evil: those that purport to deduce a contradiction between the existence of natural evil and the existence of God, and those that claim that the existence of certain types or quantities of natural evil significantly lowers the probability that theism is true. After considering peripheral replies, I state four prominent theistic rebutting strategies: skeptical (...) theism; Richard Swinburne's view that moral knowledge entails natural evil; the soul-making theodicy; and the natural law theodicy. (shrink)

Plantinga grants that there are possible worlds with freedom and no moral evil, but he argues that it is possible that although God is omnipotent, it is not within God’s power to actualize a world containing freedom and no moral evil. Plantinga believes that the atheologian assumes that it is necessary that it is within an omnipotent God’s power to actualize these better worlds, but in fact, Plantinga argues, this is demonstrably not the case. Since so many philosophers have regarded (...) Plantinga’s Free Will Defense to be a definitive solution to the logical problem of evil, the focus of the debate of the problem of evil has changed from the logical problem of evil to the evidential problem of evil. But we believe that the atheist tossed in the towel too early, and the theist celebrated victory too early. We will argue that Plantinga’s argument does not succeed. Mackie, incidentally, thought the same. He wrote “But how could there be logically contingent states of affairs, prior to the creation and existence of any created beings with free will, which an omnipotent god would have to accept and put up with? This suggestion is simply incoherent.” In this essay we argue that Plantinga fails to demonstrate that it is possible that God is omnipotent, and it is not within God’s power to actualize a world containing freedom but lacking moral evil. Thus Plantinga does not refute Mackie’s response to the Free Will Defense, and the point of Mackie’s question “Why could God not have made men such that they always freely choose the good?” still stands unrefuted. (shrink)

The thesis that the necessary and the a priori are extensionally equivalent consists of two independent claims: 1) All a priori truths are necessary and 2) all necessary truths are a priori. In Naming and Necessity1 Saul A. Kripke gives examples of necessary but a posteriori truths, so he disagrees with the second leg of the thesis.2 His examples are of two types; on the one hand statements involving essential properties and on the other hand true identity statements. My concern (...) will be with examples of the second type and whether they refute (2). (2), however, is ambiguous and can mean one of three things. (shrink)

In this paper I aim at explaining how analytic philosophical theology developed into a thriving field of research. In doing so, I place analytic philosophical theology into a larger intellectually narrative that is deeply influenced by the philosophy of Enlightenment. This larger framework shows that analytic philosophical theology aims at providing answers to concerns raised by a philosophical tradition that shaped fundamentally the making of our modern Western secular world.

In this paper we take up the question of the explanatory significance of the notion of propositional content. Our first goal is to disentangle two types of approach: According to what we call inflationism, propositions should be taken seriously enough to expect explanatory payoffs from them. The alternative deflationary approach rejects this claim. Our second goal is to explore the inflationism vs. deflationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that inflationism fails (...) and outline a variety of deflationism that offers the best prospects for explaining the singular/general divide. (shrink)

The paper surveys recent appraisals of David Lewis’s seminal paper on truth in fiction. It examines variations on standard criticisms of Lewis’s account, aiming to show that, if developed as Lewis suggests in his 1983 Postscript A, his proposals on the topic are—as Hanley puts it—‘as good as it gets’. Thus elaborated, Lewis’s account can resist the objections, and it offers a better picture of fictional discourse than recent resurrections of other classic works of the 1970s by Kripke, van Inwagen (...) and Searle. The turn that Lewis suggests and the paper recommends draws on the remaining outstanding contribution from that time: Walton’s. (shrink)

My general aim in this paper is to shed light on the controversial concept of a bare particular. I do so by arguing that bare particulars are best understood in terms of the individuative work they do within the framework of a realist constituent ontology. I argue that outside such a framework, it is not clear that the notion of a bare particular is either motivated or coherent. This is suggested by reflection on standard objections to bare particulars. However, within (...) the framework of a realist constituent ontology, bare particulars provide for a coherent theory of individuation—one with a potentially significant theoretical price tag, but one that also has advantages over rival theories. (shrink)

Consider a duty of beneficence towards a particular individual, S, and call a reason that is grounded in that duty a “beneficence reason towards S.” Call a person who will be brought into existence by an act of procreation the “resultant person.” Is there ever a beneficence reason towards the resultant person for an agent to procreate? In this paper, I argue for such a reason by appealing to two main premises. First, we owe a pro tanto duty of beneficence (...) to future persons; and second, some of us can benefit some of those persons by procreating. In support of the first premise I reject the presentist account of time in favor of the view that future persons are just as real as presently existing persons. I then argue that future persons are like us in all the morally relevant ways, and since we owe duties of beneficence to each other, we also owe duties of beneficence to future persons. In support of the second premise I offer an account of benefiting according to which an individual can be benefited by an action even if it makes her no better off than she would have been, had the action not been performed. This account of benefiting solves what I call the “non-identity benefit problem.” Finally, I argue that having a life worth living is a benefit, and some of us can cause some persons that benefit by causing them to exist. (shrink)

In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...) requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual. (shrink)

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...) that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (shrink)

Temporal nihilism is the view that our lives won’t matter after we die. According to the standard interpretation, this is because our lives won’t make a permanent difference. Many who consider the view thus reject it by denying that our lives need to have an eternal impact. However, in this paper, I develop a different formulation of temporal nihilism revolving around the persistence of personal value itself. According to this stronger version, we do not have personal value after death, so (...) our past life no longer has wellbeing after we die. The standard objections to the standard interpretation don’t apply to this more nihilistic nihilism. I offer a new response according to which personal value persists after death because the person continues to exist. (shrink)

Peter Graham has recently given a dilemma purportedly showing the compatibility of libertarianism about free will and the anti-skeptical epistemology of testimony. In the first part of this paper I criticize his dilemma: the first horn either involves a false premise or makes the dilemma invalid. The second horn relies without argument on an implausible assumption about testimonial knowledge, and even if granted, nothing on this horn shows libertarianism does not entail skepticism about testimonial justification. I then argue for the (...) incompatibility of (i) a view entailed by Open Theism, viz., that there are no true counterfactuals of freedom, (ii) a popular form of process reliabilism about justification and knowledge, and (iii) a weak anti-skepticism about testimonial justification and knowledge. I conclude that there is a costly tension between certain views about testimony and about free will. (shrink)

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

In a previous issue of this journal Michael Veber argued that God could not answer certain prayers because doing so would be immoral. In this article I attempt to demonstrate that Veber’s argument is simply the logical problem of evil applied to a possible world. Because of this, his argument is susceptible to a Plantinga-style defense.

Seth Shabo has presented a new argument that attempts to codify familiar worries about indeterminism, luck, and control. His ‘Assimilation Argument’ contends that libertarians cannot distinguish overtly randomized outcomes from exercises of free will. Shabo claims that the argument possesses advantages over the Mind Argument and Rollback Argument, which also purport to establish that indeterminism is incompatible with free will. I argue first that the Assimilation Argument presents no new challenges over and above those presented by the Rollback Argument, and (...) second that the Rollback Argument itself neither presents a deep challenge to, nor raises the cost of, accepting libertarianism. (shrink)

This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the relationship between ontology, conceived as the branch of philosophy concerned with the question of what entities exist, and metaphysics, conceived as the complementary part of philosophy that seeks to explain, of those entities, what they are. Most philosophers claim that it is not possible to address the first question without at the same time addressing the second, since knowing whether an entity exists requires knowing (...) what that entity is. Prof. Whether argues against this popular position and offers a detailed analysis of the idea according to which it is possible to do ontology without engaging in metaphysics. Prof. Whether and Prof. What agree that, rather than being merely possible, in some cases it is, for methodological reasons, even preferable to start with a metaphysics-free ontology, postponing any inquiry concerning the nature of the entities included in the ontological inventory to a later stage. However, Prof. What notes that it is not always possible to do ontology without metaphysics, because there are certain kinds of entities, such as universals and possible worlds, that necessarily need a prior metaphysical characterization. (shrink)

I begin with a distinction between narrow and broad defenses to the logical problem of evil. The former is simply an attempt to show that God and evil are not logically incompat-ible whereas the latter attempts the same, but only by appealing to beliefs one takes to be true in the actual world. I then argue that while recent accounts of original sin may be consistent with a broad defense, they are also logically incoherent. After considering potential replies, I conclude (...) by proposing an account of original sin that is both logically coherent and consistent with a broad defense. (shrink)

In his recent paper in Sophia , ‘Theodicy: The Solution to the Problem of Evil, or Part of the Problem?’ Nick Trakakis endorses the position that theodicy, whether intellectually successful or not, is a morally obnoxious enterprise. My aim in this paper is to defend theodicy from this accusation. I concede that God the Creator is a moral monster by human standards and neither to be likened to a loving parent nor imitated. Nonetheless, God is morally perfect. What is abhorrent (...) is not tough-minded theodicy but the hubris of imitating God. I further claim that it is no accident that the same sort of objection is made to act utilitarianism as to tough-minded theodicy if the latter is misinterpreted as implying a guide for human action. (shrink)

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

It is plausible that every true representation is made true by something in the world beyond itself. I believe that a simple fact is the truthmaker of each true proposition. Simple facts are not familiar entities. This lack of familiarity might lead many to regard them with suspicion, to think that including them in one’s ontology is an ad hoc maneuver. Although such suspicion is warranted initially, it is, I believe, ultimately unfounded. In this paper, I first present what I (...) take to be the simplest argument for simple facts. I then clarify what a simple fact is supposed to be by elucidating the way in which such entities are simple and elaborating an account of their nature. The simplest argument for simple facts relies on a premise that is deeply plausible and yet not uncontroversial, so I present a second argument that forgoes this premise. The second argument is more subtle—and shows the relevance to this discussion of unity from complexity, a metaphysical notion of profound importance—and yet leads to the same conclusion: simple facts exist. I end by considering some concerns one might have regarding the existence of simple facts or the fundamental role that I maintain they have in making true our thoughts and claims about the world. (shrink)

My aim in this paper is to critically assess Plantinga’s modal ontological argument for existence of God, such as it is presented in the book “The Nature of Necessity”. Plantinga tries to show that this argument is valid and it is rational to believe in his main premise, namely “there is a possible world in which maximal greatness is instantiated”. On the one hand, I want to show that this argument is logically valid in both systems B and S5 of (...) modal logic. On the other hand, I think that this argument is not a good argument to show that God exists or that it is rational to believe in God. (shrink)

I defend an account of God’s ineffability that depends on the distinction between fundamental and non-fundamental truths. I argue that although there are fundamentally true propositions about God, no creature can have them as the object of a propositional attitude, and no sentence can perfectly carve out their structures. Why? Because these propositions have non-enumerable structures. In principle, no creature can fully grasp God’s intrinsic nature, nor can they develop a language that fully describes it. On this account, the ineffability (...) of God is explained in terms of the inability of our language and mental capacities to grasp God as he really is. I will motivate my account by distinguishing it from a rival proposal. According to this rival, there are no fundamentally true propositions about God’s intrinsic nature. I argue that this rival proposal faces problems that my account does not face. And unlike this rival and other accounts of ineffability, my account provides a fitting explanation of why God is ineffable. God is ineffable because the structure of his intrinsic nature is infinite. (shrink)

Alvin Plantinga, in the ninth chapter ofThe Nature of Necessity, sets out a defence of the Free Will Defence (FWD)2. In what follows, I shall set out, to begin with, a statement of the main line of his argument3. I shall, then, set out a number of minor criticisms of the ninth chapter. Finally, I shall set out a criticism of Plantinga’s argument.

This paper elaborates the problem of temporal unity for dynamic presentism and diagnoses the source of that problem in the dynamic presentist’s discarding the traditional C-series in its avoidance of McTaggart’s A-series paradox. This C-series provided the fixed structure of time which the transitory aspects of time then followed, and thereby unify those transitory aspects. It then considers ersatzer presentism as an ostensible solution to the problem of temporal unity by providing a new abstract C-series for dynamic presentism. However, after (...) a closer examination of the details of this proposal, it is found that the ersatz-B-series itself needs to be temporally variable to capture the transitory aspects of time that it is meant to track. Consequently, it cannot provide the fixed structure of time required to unify the transitory aspects of time into a temporal series. It is therefore suggested that dynamic presentists look for a more course-grained determiner of temporal progression to construct the presentist-friendly C-series required to unify their transitory aspects of time. (shrink)

A new version of the ontological argument for the existence of God is outlined and examined. After giving a brief account of some traditional ontological arguments for the existence of God, where their defects are identified, it is explained how this new argument is built upon their foundations and surmounts their defects. In particular, this version uses the resources of impossible worlds to plug the common escape route from standard modal versions of the ontological argument. After outlining the nature of (...) impossible worlds, and motivating the need for positing them, the new argument is delineated and its premises justified. It is taken for granted that the argument cannot be sound, since it would prove too much. However, its premises are all plausible, and their denial promises to have significant ramifications. Several intuitive lines of objections are then explored in order to illuminate their shortcomings. The puzzle that the argument poses is therefore not whether the argument is sound, for it clearly cannot be. Rather, it is to place pressure on its plausible premises, so some plausible account of how the argument fails can be identified, and that the devising of such an account promises to be insightful. In the process, we should gain an improved understanding of how such ontological arguments work. (shrink)

Daniel Dombrowski contends that: a number of versions of the ontological argument [OA] are sound; the deity whose existence is most well established by the OA is the deity picked out by Hartshorne’s neoclassical concept of God; skeptics who insist that the OA only shows that “if God exists, then God exists necessarily” are contradicting themselves, and the OA is worth a great deal since it effectively demonstrates the rationality of theism. I argue that theses and are clearly false and (...) offer a presumptive case for thinking that is false, since, absent an independent proof of God’s existence, the theist appears to be in no position to rationally assert. I also show that the Anselmian OA harmonizes rather poorly with a Hartshornean neoclassical conception of God. I conclude by assessing the philosophical and dialectical worth of ontological arguments vis-à-vis establishing the rationality of theism. (shrink)

This paper sketches and motivates a metaphysics of mind that is both substance dualist and, to a large extent, property reductive. Call it “property reductive emergent dualism”. Section “Emergent Dualism” gives the broad outlines of the view. Sections “Problems of Mental Causation” and “Theoretical Virtues” argue that it can claim several advantages over non-reductive physicalist theories of mind. Section “Problems of Mental Causation” considers metaphysical challenges to mental causation in detail. Section “Theoretical Virtues” considers overall theoretical virtues: ontological and ideological (...) economy, unification with physical sciences, the promise of explanatory gain. On these grounds, I propose that the view coupling substance dualism with property reductivism deserves further philosophical attention. (shrink)

This paper proposes that if individual X ‘inherits’ property F from individual Y, we should be leery of explanations that appeal to X’s being F. This bears on what I’ll call “emergent substance dualism”, the view that human persons or selves are metaphysically fundamental or “new kinds of things with new kinds of causal powers” even though they depend in some sense on physical particulars :5–23, 2006; Personal agency. Oxford University Press, Oxford, 2008). Two of the most prominent advocates of (...) this view, Lynne Rudder Baker and E.J. Lowe, suggest that emergent particulars have physical properties in virtue of the relations they bear to physical particulars—they ‘inherit’ their physical properties. In Sect. 1, I argue that having a property F this way is not instantiating F. In Sect. 2, I raise concerns that if emergent particulars don’t instantiate physical properties, then facts about emergent particulars don’t explain intentional actions. I suggest that emergent dualism would be more attractive if it could avoid this apparent consequence. In Sect. 3, I propose a view according to which some instances of physical properties are instantiated by both an emergent particular and its body. (shrink)

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it (...) evades concerns that its rivals face. (shrink)

This paper explores a new non-deflationary approach to the puzzle of nonexistence and its cousins. On this approach, we can, under a plausible assumption, express true de re propositions about certain objects that don’t exist, exist indeterminately or exist merely possibly. The defense involves two steps: First, to argue that if we can actually designate what individuates a nonexistent target object with respect to possible worlds in which that object does exist, then we can express a de re proposition about (...) “it”. Second, to adapt the concept of outer truth with respect to a possible world – a concept familiar from actualist modal semantics – for use in representing the actual world. (shrink)

Kurt Gödel’s version of the Ontological Proof derives rather than assumes the crucial Possibility Claim: the claim that it is possible that something God-like exists. Gödel’s derivation starts off with a proof of the Possible Instantiation of the Positive: the principle that, if a property is positive, it is possible that there exists something that has that property. I argue that Gödel’s proof of this principle relies on some implausible axiological assumptions but it can be patched so that it only (...) relies on plausible principles. But Gödel’s derivation of the Possibility Claim also needs a substantial axiological assumption, which is still open to doubt. (shrink)

In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of (...) Anselm’s argument by using modern formal logic. In particular, we try to explain why formal reconstructions of the argument, despite its apparent simplicity, tend to become quite involved. (shrink)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the background of debates (...) about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (shrink)

Aquinas’ philosophy is revolutionary, especially his doctrine of essence within the context of natural philosophy has transcended that of Aristotle. The principal distinctions between the doctrines of Aquinas and Aristotle are demonstrated in four layers which are entity-nature, compositeness, particularity and potentiality of essence. Aquinas not only overturns and reforms the Western traditional view of essence, but also constructs a prominent “joint” connecting essentialism to existentialism in Western philosophy.

Theories of personal identity purport to specify truth conditions for sentences of the form 'x-at-ti is the same person as y-at-tj. Most philosophers nowadays agree that such truth conditions are to be stated in terms of psychological continuity. However; opinions vary as to how the notion of psychological continuity is to be understood. In a recent contribution to this journal, Slors offers an account in which psychological continuity is spelled out in terms of narrative connectedness between mental states.The present paper (...) argues that Slors' theory either is no theory of personal identity at all or is too weak.Towards the end of the paper, it is indicated how the problem uncovered for Slors' theory may be avoided. (shrink)