Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true counterpossibles (viz., (...) ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

In recent years, William Lane Craig has vigorously championed a moral argument for God's existence. The backbone of Craig's argument is the claim that only God can provide a ' sound foundation in reality' for morality. The present article has three principal aims. The first is to interpret and clarify the account of the ontological foundation of morality proposed by Craig. The second is to press home an important objection to that account. The third is to expose the weakness of (...) Craig's case for saying that without God morality would be groundless and illusory. (shrink)

Many Christian philosophers believe that it is a great good that human beings are free to choose between good and evil – so good, indeed, that God is justified in putting up with a great many evil choices for the sake of it. But many of the same Christian philosophers also believe that God is essentially good – good in every possible world. Unlike his sinful human creatures, God cannot choose between good and evil. In that sense, he is not (...) ‘morally free’. (shrink)

The last 15 years or so has seen the development of a fascinating new area of cognitive science: the cognitive science of religion (CSR). Scientists in this field aim to explain religious beliefs and various other religious human activities by appeal to basic cognitive structures that all humans possess. The CSR scientific theories raise an interesting philosophical question: do they somehow show that religious belief, more specifically belief in a god of some kind, is irrational? In this paper I investigate (...) this question and argue that CSR does not show that belief in god is irrational. (shrink)

Guy Kahane asks an axiological question: what value would (or does) God’s existence bestow on the world? Supposing God’s existence is a matter of necessity, this axiological question faces a problem because answering it will require assessing the truth-value of counterpossibles. I argue that Kahane, Paul Moser, and Richard Davis and Paul Franks fail in their attempts to render the axiological question substantive. I then offer my own solution by bringing work in cognitive psychology and philosophy of mind to bear (...) on the possibility of assessing counterpossibles. I argue that humans can engage in counterpossible reasoning by “accepting” or “supposing” that the antecedent is true and “screening out” those beliefs that would result in contradictions when combined in inferences with the acceptance or supposition. These screened out propositions are not treated as false, but are ignored. I offer a three-valued logic for counterpossible reasoning. I conclude by outlining some implications for the axiological question. (shrink)

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, antirealism resting (...) on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (shrink)

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

Dispositions (powers, potentialities) have become popular in metaphysics in recent years, and some of their proponents are advertising them as the best metaphysical grounds for modality. This project has a logical as well as an ontological side: dispositionalists offer modal and counterfactual semantics that make no use of possible worlds. I argue that, as a result of their counterfactual semantics, dispositionalists are in fact committed to entities that play the same theoretical role as possible worlds. Roughly, the claim is that (...) certain counterfactuals (ones that concern 'very large' states) force the dispositionalist to posit world-sized states that play the theoretical role of worlds. As a result, dispositionalists can (and perhaps should) make use of the mainstream framework (Kripke frames and the Lewis–Stalnaker counterfactual semantics) even if they ground all modal facts in dispositions. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

We present an analysis of counterfactuals in terms of stories and combine it with an account similar to Walton’s account of truth in fiction to yield truth conditions for counterfactuals. We discuss unusual features of this account, and compare it to other main approaches. In particular, we argue that our analysis succeeds in accounting for counterpossibles and counterfactuals with true antecedents while the other two main approaches fail, and we give reasons for thinking that it is important to have an (...) adequate account of these two areas. (shrink)

Much seems to be at stake in metaphysical questions about, for example, God, free will or morality. One thing that could be at stake is the value of the universe we inhabit—how good or bad it is. We can think of competing philosophical positions as describing possibilities, ways the world might turn out to be, and to which value can be assigned. When, for example, people hope that God exists, or fear that we do not possess free will, they express (...) attitudes towards these possibilities, attitudes that presuppose answers to questions about their comparative value. My aim in this paper is to distinguish these evaluative questions from related questions with which they can be confused, to identify structural constraints on their proper pursuit, and to address objections to their very coherence. Answers to such evaluative questions offer one measure of the importance of philosophical disputes. (shrink)

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> ’ entails ‘A> ’. First, I provide a collapse theorem for the ‘counterfactual direct argument’. (...) The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction. (shrink)

We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

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)

Moral debunking arguments are meant to show that, by realist lights, moral beliefs are not explained by moral facts, which in turn is meant to show that they lack some significant counterfactual connection to the moral facts (e.g., safety, sensitivity, reliability). The dominant, “minimalist” response to the arguments—sometimes defended under the heading of “third-factors” or “pre-established harmonies”—involves affirming that moral beliefs enjoy the relevant counterfactual connection while granting that these beliefs are not explained by the moral facts. We show that (...) the minimalist gambit rests on a controversial thesis about epistemic priority: that explanatory concessions derive their epistemic import from what they reveal about counterfactual connections. We then challenge this epistemic priority thesis, which undermines the minimalist response to debunking arguments (in ethics and elsewhere). (shrink)

I examine issues in the philosophy of religion at the intersection of what possibilities there are and what a God, as classically conceived in the theistic philosophical tradition, would be able to do. The discussion is centered around arguing for an incompatibility between theism and two principles about possibility and ability, and exploring what theists should say about these incompatibilities. -/- I argue that theism entails that certain kinds and amounts of evil are impossible. This puts theism in conflict with (...) popular principles of modal recombination. However, theists have plausible explanations for the violations of recombination that they posit, and can suitably amend these principles without giving up their usefulness in accounting for what possibilities there are. -/- I also argue that despite the impossibility of these evils, God is able to bring these evils about. This puts theism in conflict with the principle that no one is able to do the impossible. However, theists can give a plausible account of why God is unique in being able to do the impossible, and have distinctive resources to address the arguments in favor of the idea that no one is able to do the impossible. And by denying this principle, theists are able to resolve several otherwise difficult puzzles, including reconciling conflicts between the divine attributes. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

This thesis was on how God is related to the truth-values of propositions on possible worlds - specifically, those propositions that do not seem to be about Him and constitute His ideas for what to create. It opened with a survey of some historical positions with special emphasis on Aquinas, Leibniz, Spinoza and Kant. Next, some criticisms were given for these so-called deity theories with the most space given to Brian Leftow’s critiques. The second chapter detailed Brian Leftow’s theological modality. (...) In it, secular modality is excogitated in an instant from eternity when God gets a set of creaturely natures in one imaginative act. His preferences that are based on His nature then determine the modality of what God thinks up. A number of objections were raised for the Leftowian project and the last chapter attempted to supplement an older deity theory with some insights from Leftow in order to avoid his initial criticisms. (shrink)