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)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

In this paper, I argue that there is an inconsistency between two presentist doctrines: that of ontological symmetry and asymmetry of fixity. The former refers to the presentist belief that the past and future are equally unreal. The latter refers to the A-Theoretic intuition that the past is closed or actual, and the future is open or potential. My position in this paper is that the presentist is unable to account for the temporal asymmetry that is so fundamentally a part (...) of her theory. In Section I, I briefly outline a recent defence of presentism due to Craig, and argue that a flaw in this defence highlights the tension between the presentist's doctrines of ontological symmetry and asymmetry of fixity. In Section II, I undertake an investigation, on the presentist's behalf, in order to determine whether she is capable of reconciling these two doctrines. In the course of the investigation, I consider different asymmetries, other than that of ontology, which might be said fundamentally to constitute temporal asymmetry, and the asymmetry of fixity in particular. In Section III, I also consider whether the presentist is able to avail herself of some of the standard B-Theoretic accounts of the asymmetry of fixity, and argue that she cannot. Finally, I conclude that temporal asymmetry cannot be accounted for (or explained) other than through the postulation of an ontological asymmetry. (shrink)

Kripke defines a rigid designator as one that designates the same object in every possible world in which that object exists. He argues that proper names are rigid. So also, he claims, are various natural kind terms. But we wonder how they could be. These terms are general and it is not obvious that they designate at all. It has been proposed that these kind terms rigidly designate abstract objects. This proposal has been criticized because all terms then seem to (...) come out rigid, thus trivializing rigidity. The paper starts with further criticisms of this proposal aimed particularly at a recent version given by LaPorte. The paper goes on to develop and defend an alternative proposal presented briefly in Devitt and Sterelny (1999): instead of taking those natural kind terms to rigidly designate an object we take them to rigidly apply to the members of their extensions. Schwartz has rightly insisted that a notion of rigidity must do some theoretical work if it is to be interesting. The paper argues that rigid application for kind terms does the same primary work as rigid designation for singular terms, the work of refuting description theories of some terms; and it does the same secondary work, of explaining certain modal phenomena (with one exception). (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some of them depend on others? (...) If so, how might one understand the dependence relation? (shrink)

An e-book devoted to 13 critical discussions of Thaddeus Metz's book "Meaning in Life: An Analytic Study", with a lengthy reply from the author. -/- Preface Masahiro Morioka i -/- Précis of Meaning in Life: An Analytic Study Thaddeus Metz ii-vi -/- Source and Bearer: Metz on the Pure Part-Life View of Meaning Hasko von Kriegstein 1-18 -/- Fundamentality and Extradimensional Final Value David Matheson 19-32 -/- Meaningful and More Meaningful: A Modest Measure Peter Baumann 33-49 -/- Is Meaning in (...) Life Comparable?: From the Viewpoint of ‘The Heart of Meaning in Life’ Masahiro Morioka 50-65 -/- Agreement and Sympathy: On Metz’s Meaning in Life Sho Yamaguchi 66-89 -/- Metz’s Quest for the Holy Grail James Tartaglia 90-111 -/- Meaning without Ego Christopher Ketcham 112-133 -/- Death and the Meaning of Life: A Critical Study of Metz’s Meaning in Life Fumitake Yoshizawa 134-149 -/- Metz’ Incoherence Objection: Some Epistemological Considerations Nicholas Waghorn 150-168 -/- Meaning in Consequences Mark Wells 169-179 -/- Defending the Purpose Theory of Meaning in Life Jason Poettcker 180-207 -/- Review of Thaddeus Metz’s Meaning in Life Minao Kukita 208-214 -/- A Psychological Model to Determine Meaning in Life and Meaning of Life Yu Urata 215-227 -/- Assessing Lives, Giving Supernaturalism Its Due, and Capturing Naturalism: Reply to 13 Critics of Meaning in Life Thaddeus Metz 228-278 . (shrink)

This paper argues that there are true synthetic modal claims and that modal questions in philosophy in general are to be interpreted not in terms of logical necessity but in terms of synthetic necessity. I begin by sketching the debate about modality between logical positivism and phenomenology. Logical empiricism taught us to equate being tautological with being necessary. The common view is that tautologies are necessary in the narrow sense but that there is also necessity in a wider sense. I (...) argue against this that we should distinguish necessity from analyticity and possibility from consistency. (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth whose epistemic justification (...) is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

This collection of essays explores the philosophy of human knowledge from a multitude of perspectives, with a particular emphasis upon the justification component of the classical analysis of knowledge and with an excursion along the way to explore the role of knowledge in Texas Hold ‘Em poker. An important theme of the collection is the role of knowledge in religion, including a detailed argument for agnosticism. A number of the essays touch upon issues in philosophical logic, among them a fascinating (...) new counter-example to Modus Ponens. The collection is rounded out with essays on causality and the philosophy of mind. The author’s perspective on the philosophy of human knowledge is fresh and challenging, as evidenced by essays entitled “On Epistemic Preferability;” “On Being Unjustified;” “The Logic of ‘Unless’” and “Is ‘This sentence is true.’ True?” An interesting feature of The Logic of Philosophy: Pesky Essays is the inclusion of responses to several of its key essays, contributed by such prominent contemporary philosophers as Roderick Chisholm, Ted Sider and Tomas Kapitan. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

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 essay is a lengthy response to six contributors to a special issue edited by Adeshina Afolayan and devoted to critical discussions of _A Relational Moral Theory: African Ethics in and Beyond the Continent_. Key topics include: the proper role of metaphysics when doing moral philosophy; the appropriate aims of moral philosophy in the light of relational values and properties; the ir/relevance of imperceptible agents for an African ethic; the un/attractiveness of the principle that one morally should promote the common (...) good; the nature of virtue (vice) and its relation to rightness (wrongness); and how to capture self-regarding virtues and duties to oneself theoretically. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

James Sterba has constructed a powerful argument for there being a conflict between the presence of evil in the world and the existence of God. I contend that Sterba’s argument depends on a crucial assumption, namely, that God has an obligation to act according to the principle of meticulous providence. I suggest that two of his analogies confirm his dependence on this requirement. Of course, his argument does not rest on either of these analogies, but they are illustrative of the (...) role that meticulous providence plays in his argument. I then investigate the ethical principles Sterba invokes in his use of meticulous providence and suggest that not only do we often not predicate goodness of human persons based on these principles of obligation, but that these principles are much too stringent to function to determine moral obligations and moral goodness. From there, I contend that to think that God has a similar obligation regarding meticulous providence in order to be good encounters several serious problems, especially with respect to the soul-building Sterba wants to preserve. I conclude by considering Sterba’s reply in terms of a limited application of meticulous providence. (shrink)

I reply to criticisms from King and Soames and critically examine two aspects of current orthodoxy about propositions: that they are representational and that they are structured. I argue that (especially once one gives up on intrinsically representational propositions) there is no good reason to think that propositions have representational properties, and distinguish a few different senses in which propositions might be structured, expressing some skepticism about the more ambitious ones.

In a recent article (Kraay 2013), I argued that some prominent responses to two important arguments for atheism invoke divine satisficing – and that the coherence and propriety of this notion have not been established. Chris Tucker (2016) agrees with my evaluation of divine satisficing, but disagrees with my exegesis of these responses. He argues that they should be understood as invoking motivated submaximization instead. After reviewing the dialectical situation to date, I assess whether motivated submaximization can be deployed in (...) such a way as to defeat these argument for atheism. I argue that it’s far from clear that it can. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it is (...) impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

Argues that divine timelessness is at best irrelevant and at worst counterproductive for addressing the problem of foreknowledge and future contingents.

Compares and contrasts Open Theism with Theological Determinism, Molinism, and Process Theism.

2020 update of the entry "Properties".

I develop a model of providence on which God brings about good states of affairs by means of evil states of affairs, but without intending the latter. The model's key ingredient is a backward-looking counterpart of the distinction between intended and merely foreseen consequences of an action: namely, a distinction between intended and merely foreseen means to an end. The model enables greater-good theodicies to avoid worries about whether a perfect being could intend evil.

This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. The aim of the dissertation is to contribute to our understanding of the nature of grounding and its relation to other central phenomena in metaphysics. -/- Chapter 1 of the dissertation provides a brief (...) presentation of grounding and introduces some distinctions of relevance to later chapters. Chapter 2 discusses the question of whether grounding can be reduced. Four reductive accounts – in terms of fundamentality and supervenience, essence, reduction, and metaphysical laws respectively – are considered. All of these accounts are found to be subject to objections and are consequently rejected. -/- Chapter 3 considers the relation between grounding and another important phenomenon in metaphysics, namely ontological dependence. The question of the relation between the two is approached through an investigation of their modal connection (or lack thereof). It is argued that on the common assumption that grounding is a factive relation, ontological dependence can be shown to be neither necessary nor sufficient for grounding. Furthermore, to get any form of modal connection between the two relations, one needs to move to a non-factive conception of grounding or consider generic ontological dependence and accept a potentially controversial principle about the modal behaviour of grounding. Even then, the modal connection between grounding and ontological dependence is weak and subject to qualifications. -/- Chapter 4 develops and defends the novel notion of metaphysically opaque grounding. It is commonly assumed that grounding is an especially intimate and powerful connection and enables a form of explanation that is particularly strict and illuminating. An arguably related idea is that grounding is necessarily connected with the core features of things – their essences or natures. Metaphysically opaque grounding constitutes a form of grounding that falsifies both of these ideas. Chapter 4 makes the notion of metaphysically opaque grounding precise, motivates the idea that there are genuine cases of such grounding, explores its consequences for the theory of grounding, and defends the notion from potential objections, concluding that there are currently no strong reasons to rule out opaque grounding. (shrink)

I argue that scientism in general is best understood as the thesis that the boundaries of the natural sciences should be expanded in order to include academic disciplines or realms of life that are widely considered not to belong to the realm of science. However, every adherent and critic of scientism should make clear which of the many varieties of scientism she adheres to or criticizes. In doing so, she should specify whether she is talking about (a) academic or universal (...) scientism, (b) reductive, methodological, epistemological, ontological, moral, or existential, scientism, (c) full or partial scientism, (d) strong or weak scientism, and (e) in the case of moral and existential scientism: replacement or illusion scientism. The strongest version of scientism one could defend is a conjunction of the following theses: strong full epistemological scientism, strong full ontological scientism, strong full Illusion-moral scientism, strong Illusion-existential scientism, and strong full reductive scientism. After a detailed discussion of each of the main varieties of scientism and their interrelations, the paper provides a conceptual map, consisting of two figures, which displays the main varieties of scientism and the relations that obtain between them, primarily, those of implication and mutual exclusion. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

Latest version of my SEP entry on ontological arguments, which first appeared in 1996. General discussion of ontological arguments. Includes a brief historical overview, a taxonomy of different kinds of ontological arguments, a brief survey of objections to the different kinds of ontological arguments identified in the taxonomy, and more extended discussions of Anselm's ontological argument (Proslogion 2), Godel's ontological argument, and Plantinga's ontological argument.

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)