The objection of horrible commands claims that divine command metaethics is doomed to failure because it is committed to the extremely counterintuitive assumption that torture of innocents, rape, and murder would be morally obligatory if God commanded these acts. Morriston, Wielenberg, and Sinnott-Armstrong have argued that formulating this objection in terms of counterpossibles is particularly forceful because it cannot be simply evaded by insisting on God’s necessary perfect moral goodness. I show that divine command metaethics can be defended even against (...) this counterpossible version of the objection of horrible commands because we can explain the truth-value intuitions about the disputed counterpossibles as the result of conversational implicatures. Furthermore, I show that this pragmatics-based defence of divine command metaethics has several advantages over Pruss’s reductio counterargument against the counterpossible version of the objection of horrible commands. (shrink)

Though most of analytic philosophy is based upon intuitions, some philosophers are beginning to question whether intuitions are an appropriate basis for philosophical theory. This paper responds to the arguments of some contemporary philosophers who hold that intuitions should not be treated as evidence for anything other than our contingent psychological constitution. It begins with a demonstration that skeptical arguments by Gilbert Harman and Alvin Goldman are variations on an argument with the potential to undermine the use of intuitions in (...) much philosophical inquiry. After a demonstration that Nicholas Sturgeon’s response to Harman’s argument is inadequate, it argues that all of the instances of the skeptical argument are unsuccessful because they are epistemically self-defeating. (shrink)

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)

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)

In a pair of recent essays, William Lane Craig has argued that certain open theist understandings of the nature of the future are both semantically and modally confused. I argue that this is not the case and show that, if consistently observed, the customary semantics for counterfactuals Craig relies on not only undermine the validity of his complaint against the open theist, they actually support an argument for the openness position.

The Platonic theist Peter van Inwagen argues that God cannot create abstract objects. Thus, the quantifier ‘everything’ in traditional statements of the doctrine of creation should be appropriately restricted to things that can enter into causal relations and abstract objects cannot: ‘God is the creator of everything distinct from himself…that can enter into causal relations.’ I respond to van Inwagen arguing that he has provided no good reason for thinking abstract objects must be uncreated. And if this is the case, (...) then there is no good reason to think that God cannot create abstract objects. (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)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

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)

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 dissertation explores various attempts to solve the Dependence Problem problem posed by the following question: How can necessary truths stand to God in a one-way relation of dependence, given that neither they nor God could have failed to exist?

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)