David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which (...) world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

A standard conception of metaphysical modality accepts that Some de re modal claims are true, These should be understood in terms of a possible worlds semantics, and There is trans-world identity. For instance, it seems true that Humphrey could have won the election. In possible worlds speak, we say that there exists a possible world where Humphrey wins the election. Furthermore, had that possibility been actualized instead of this one, Humphrey—our Humphrey, the very same man—would still have existed. Here, I (...) argue that this way of understanding de re modal claims, in conjunction with certain other plausible assumptions, entails that The World is a necessary being. (shrink)

In this paper I investigate the epistemic implications of a recent theory of religious cognition that draws on predictive coding. The theory argues that certain experiences are heavily shaped by a subject’s prior (religious) beliefs and thereby makes religious believers prone to detect invisible agents. The theory is an update of older theories of religious cognition but departs from them in crucial ways. I will assess the epistemic implications by reformulating existing arguments based on other (older) theories of religious cognition.

The issues I explore in this paper are best introduced by the table with which it begins. The left-hand entry in each row gives expression to a kind objectivity; the right-hand entry affirms the existence of a special kind of object. When philosophers believe in any of the entities on the right, it is typically because they think them necessary to ground the facts on the left. By the same token, when philosophers deny any of the facts on the left, (...) it is often because they cannot bring themselves to believe in the associated kind of object on the right. My project is to explore the extent to which it is possible to have the objectivity without the objects—for example, absolute motion without substantival space, objective predication without universals, objective synonymy without propositions, and objective modality without possible worlds. Each of these combinations would have been congenial to A.N. Prior. (shrink)

Many people who claim that evolution and theism are in tension assume that God, being omnipotent, could create life in different ways. For instance, Paul Draper has argued that the fact that life evolved on earth supports naturalism over theism. However, for there to be a probabilistic tension between naturalism and theism, because of the fact of evolution, a certain background assumption must be true, namely, that God could have made biological organisms and species through an act of Genesis-style special (...) creation, or some combination of evolution and special creation. But that background assumption is potentially faulty. Why? Because special creation presupposes that biological organisms and species are spatiotemporally unrestricted entities, and if the dominant paradigm in biology, and philosophy of biology, on the ontological status of organisms and species is correct, then they are spatiotemporally restricted entities. (shrink)

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

Several philosophers have recently suggested that truths about unactualized metaphysical possibilities are true in virtue of the existence of actual objects and their dispositional properties. For example, on this view, it is true that unicorns are metaphysically possible only if some actual object has (or had) the disposition to bring it about that there are unicorns. This view, a dispositionalist version of what has recently been dubbed “The New Actualism,” is a proposal about the nature of modal truthmakers. But, I (...) will argue, this proposal entails much more than that. Here, I will demonstrate that, if the modal truthmakers are the dispositional properties of actual objects, then either (i) there exists one or more causally potent necessary beings, or (ii) necessarily, there exists an actually infinite number of contingent beings. (shrink)

Conceivability arguments constitute a serious threat against reductive physicalism. Recently, a number of authors have proven and characterized a devastating logical truth centered on these arguments: namely, that their soundness entails the inconceivability of reductive physicalism. In this paper, I demonstrate that this is only a logical truth when reductive physicalism is interpreted in its stronger, intrinsic sense, as opposed to its weaker—yet considerably more popular—extrinsic sense. The basic idea generalizes: perhaps surprisingly, stronger forms of reduction are uniquely resistant to (...) the conceivability arguments opposing them. So far as the modal epistemology of reduction is concerned, therefore, it pays to go intrinsic. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

The article begins with a reflection on the ‘conversation between mythologies’ present in the debate between C. Robert Mesle and John Hick on the role of Irenaean theodicy and process theology to tackle convincingly the problem of evil in the contemporary and future context of scientific advancement. I argue that, although these two authors consider their mythological perspectives to be widely different, there is a possibility of advancing toward conciliating the two views. I call the resulting myth the ‘aesthetic myth,’ (...) which focuses on the Trinitarian God, seen concomitantly as omnipotent and limited. Inspired also by the thought of St. Francis of Assisi and St. Maximus the Confessor, this myth asserts nature’s free initiative as co-creator with the Logos and the natural evil emerging from this initiative. Moral evil comes from natural evil; thus, ‘original sin’ shows no unsurpassable gap between God and humanity. (shrink)

In this paper I show that a novel ontic reading of explanation, intending to capture the de re essential features of individuals, can support the qualitative view of individual essences. It is argued further that the putative harmful consequences of the Leibniz Principle and its converse for the qualitative view can be avoided, provided that individual essences are not construed in the style of the naïve bundle theory with set-theoretical identity- conditions. Adopting either the more sophisticated two-tier BT or, alternatively, (...) the neo-Aristotelian position of taking essences as natures in the Aristotelian sense, can help to evade these main charges against the qualitative view. The functional parallels with the alternative haecceitistic view of individuation and individual essence will also be considered. (shrink)

The thesis of existentialism holds that if a proposition p exists and predicates something of an object a, then in any world where a does not exist, p does not exist either. If “possibly, p” entails “in some possible world, the proposition that p exists and is true,” then existentialism is prima facie incompatible with the truth of claims like “possibly, the Eiffel Tower does not exist.” In order to avoid this claim, a distinction between two kinds of world-indexed truth (...) –and two associated kinds of modality –is needed. This paper embodies an attempt to develop a full account of just such a distinction. (shrink)

I don’t think Lynne Rudder Baker’s constitution view can account for personal identity problems of a synchronic or diachronic nature. As such, it cannot accommodate the Christian’s claim of eschatological bodily resurrection-a principle reason for which she gives this account. In light of this, I press objections against her constitution view in the following ways: First, I critique an analogy she draws between Aristotle’s “accidental sameness” and constitution. Second, I address three problems for Baker’s constitution view [‘Constitution Problems’ ], each (...) more problematic than the next: CP1: Her definition of constitution lacks explanatory power; CP2: If there is a plausible definition of constitution, constitution implies either too many persons or no human persons at all; CP3: Constitution yields no essential distinction between human and divine persons. If my argument go through, her constitution view has neither an explanation for diachronic personal identity nor personal identity through resurrection. (shrink)

The so-called Direct Argument for the incompatibility of moral responsibility and causal determinism depends on a rule of inference called Rule A, a rule that says no one is even partly morally responsible for a necessary truth. While most philosophers think that Rule A is valid, Stephen Kearns has recently offered several alleged counterexamples to the rule. In the paper, I show that Kearns’ counterexamples are unsuccessful.

In this paper, I set out to answer two foundational questions concerning our psychological engagements with fictions. The first is the question of fictional transformation: How we can see fictional media while also ‘seeing’ those objects as fictional ones? The second is the question of fictional response: How and why we take the objects of fiction to be the types of things that we can respond to and judge? Standard responses to these questions rely on distinct cognitive attitudes like pretense, (...) imagination, and make-believe. I call this position the distinct attitude view. I argue against the DAV, arguing instead that a psychological framework of fiction can answer the two questions without appealing to distinct mental attitudes. Hence, I call my position the standard attitude view. The challenge for the SAV is to explain the two questions in terms of everyday mental states and the intentional content of those states. I do so by appealing to the concept of taking the fictional stance.... (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

Many philosophers have attempted to provide a solution to the paradox of fiction, a triad of sentences that lead to the conclusion that genuine emotional responses to fiction are irrational. We suggest that disagreement over the best response to this paradox stems directly from the formulation of the paradox itself. Our main goal is to show that there is an ambiguity regarding the word ‘exist’ throughout the premises of the paradox. To reveal this ambiguity, we display the diverse existential commitments (...) of several leading theories of emotion, and argue that none of the theories we consider are committed to notions of ‘exist’ employed by the paradox. We conclude that it is unclear whether or not there remains a paradox of fiction to be solved—rather than to be argued for—once this ambiguity is addressed. (shrink)

Among the central theses defended in this paper are the following. First, the logical incompatibility version of the argument from evil is not one of the crucial versions, and Plantinga, in fostering the illusion that it is, seriously misrepresents claims advanced by other philosophers. Secondly, Plantinga’s arguments against the thesis that the existence of any evil at all is logically incompatible with God’s existence. Thirdly, Plantinga’s attempt to demonstrate that the existence of a certain amount of evil in the world (...) does not render improbable the existence of God involves both a false claim and a fallacious inference. (shrink)

I argue that ensouled animalism—the view that we are identical to animals that have immaterial souls as parts—has a pair of advantages over its two nearest rivals, materialistic animalism and pure dualism. Contra pure dualism, ensouled animalism can explain how physical predications can be literally true of us. Contra materialistic animalism, ensouled animalism can explain how animals can survive death. Furthermore, ensouled animalism has these advantages without creating any problems beyond those already faced by animalism and by belief in souls. (...) However, some animalists, including Eric Olson, think that animals cannot have immaterial parts. I present a sufficient condition for animal parthood that implies animals can have immaterial parts. Ensouled animalism is not only possible, but also doubly attractive. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

This study intends to show that the question whether faith can be justified without proofs can be resolved by importing ideas from Kierkegaard’s and Plantinga’s affirmative take on the matter. There is a deep similarity between the way they understand belief in God and belief in Christianity: for both the first is considered universal human knowledge and the second seen as a gift from God. Against the charge that such an understanding is irrational Plantinga offers an externalist epistemological model which (...) allows those beliefs to be warranted. The authors also share the modern idea that there is an objective truth, combining it with the postmodern stance that no method exists which would guarantee access to it. A specific contribution on Kierkegaard’s part to the understanding of the rationality of transitions toward a Christian stage of existence is to show in detail the way in which such transitions are mediated through inwardnes - a perspective akin to Michael Polanyi’s scientific epistemology. One can see in both authors not only a deep commonality of ideas, but also a remarkable way in which their understandings augment each other. Whereas Plantinga’s inquiry contributes to the rational plausibility of a “Justified Faith without Reasons” project, Kierkegaard’s venture balances such a logical-analytic effort with a deep existential inquiry. (shrink)

It is standard practice to appeal to libertarian free will to explain how God’s existence might be compatible with much of the evil we see in the actual world. Libertarian free will has also been important to certain responses to the argument for atheism from divine hiddenness. But what is often neglected in appealing to libertarian free will, as others have pointed out, is an explanation of why God would create us with such free will in the first place. Laura (...) Ekstrom argues that free will is simply not worth its cost. J.L. Schellenberg goes a step further and argues that, if it turns out we have libertarian free will, that is actually evidence against God’s existence. In this paper I discuss a couple reasons God might have for creating libertarian free will. (shrink)

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account of the epistemology of (...) hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

Theological literacy is an important asset in the development of a comprehensive agricultural ethic and philosophy. Four areas are delimited in which theological reflection is relevant for agricultural study.

Critics of wide functionalism have traditionally sought to attack the theory by exposing weaknesses in its account of the qualitative content of experience. Wide functionalist theories of intentional content, however, were spared philosophical scrutiny. I propose that wide functionalist accounts of the intentional content are equally susceptible to attack. I will attempt to demonstrate this by enlisting the functionalist's old foe from the qualia wars - the inverted spectrum hypothesis - in a new way. If the argument is sound, not (...) only will I have shown that the inverted spectrum hypothesis may have more use than philosophical literature recognizes, I will have also exposed a weakness in a dominant philosophical theory: the wide functionalist theory of intentional content. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

I argue that God could give us the robust power to do other than we do in a deterministic universe.

The Principle of Credulity: 'It is basic to human knowledge of the world that we believe things are as they seem to be in the absence of positive evidence to the contrary' [Swinburne 1996: 133]. This underlies the Evidential Problem of Evil, which goes roughly like this: ‘There appears to be a lot of suffering, both animal and human, that does not result in an equal or greater utility. So there's probably some pointless suffering. As God's existence precludes pointless suffering, (...) theism is implausible.’ CORNEA is the principle that observation O raises hypothesis H's probability only if O is more probable given H than it is given not-H. Theists sometimes maintain that apparently pointless suffering is just as likely given theism as atheism (I support this claim by appealing to a Lewisian account of the relevant counterfactuals). Given CORNEA, therefore, what we see of suffering does not make theism unlikely. I maintain that a consequence of so deploying CORNEA is that CORNEA and the Principle of Credulity are incompatible. We are left with a skeptical paradox. CORNEA is a consequence of Bayes’s Theorem, I argue; but it is incompatible with a presupposition of empirical science, namely, that appearances create epistemic warrant, ceteris paribus. External-world probability skepticism follows. I treat the paradox as real. First, I offer an account of how we strike a balance in practice between CORNEA, on the one hand, and the Principle of Credulity and the scientific enterprise on the other. Second, I try to resolve the paradox outright by rejecting the Principle of Credulity and maintaining that the scientific project remains well motivated even allowing probability skepticism. On either response to the paradox, the Evidential Problem of Evil continues to have serious, but defeasible, force against theism. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)

Despite its appeal and popularity, the view that membership in a natural kind is essential to an individual is unsupported by the logic of essences and has no compelling reflective support. While the view has strong intuitive and empirical support this is insufficient to establish it. There are advantages to abandoning the view that kind membership is essential to individuals. One of these advantages is that it allows for a reconfiguring of the problem of material constitution in a way that (...) removes much of the paradox. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

William James advocated a form of finite theism, motivated by epistemological and moral concerns with scholastic theism and pantheism. In this article, I elaborate James’s case for finite theism and his strategy for dealing with these concerns, which I dub the problems of suffering. I contend that James is at the very least implicitly aware that the problem of suffering is not so much one generic problem but a family of related problems. I argue that one of James’s great contributions (...) to philosophical theism is his advocacy for the view that adequate theistic philosophizing is not so much about cracking this family of problems, but finding a version of the problem to embrace. (shrink)

Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...) view or its criticism is tenable depends on how we understand the necessitation claim. In fact, Aristotelian efficient causation may be said to involve two distinct necessary connections: one is a relation between causes considered as potential, while the other relates them considered as active. That is, the claims that (1) what has the power to heat necessarily heats what has the power to be heated, and that (2) a particular flame which is actually under a pot necessarily heats it, both of which appear to be true for Aristotle, involve distinct notions of necessity. The latter kind of necessity is based on the facts, as Aristotle sees them, about change, whereas the former is based in the nature of properties. Though different, both kinds of necessity are instances of what contemporary philosophers would call metaphysical necessity, and together they also amount to a theory of causal determination. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

Neo‐Aristotelian Plenitude is the thesis that, necessarily, any property that could be had essentially by something or other is had essentially by something or other if and only if and because it is instantiated; any essentializable property is essentialized iff and because it is instantiated. In this paper, I develop a partial nonmodal characterization of ‘essentializable' and show it cannot be transformed into a full characterization. There are several seemingly insurmountable obstacles that any full characterization of essentializability must overcome. Moreover, (...) these obstacles threaten other views in the conceptual neighborhood such as Counterpart Theoretic Plenitude and Conceptualist Plenitude. (shrink)

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (shrink)