Critics of Divine Command Theory (DCT) argue that DCT implies the following counterpossible is true: If God commanded us to perform a terrible act, then the terrible act would be morally obligatory. However, our intuitions tell us that such a counterpossible is false. Therefore, DCT fails. This is the counterpossible terrible commands objection. In this paper, I argue that the counterpossible terrible commands objection fails. I start by considering a standard response by DCT proponents that appeals to vacuism—the view (...) that all counterpossibles are vacuously true. I argue that DCT proponents should pursue a different response instead. I then go on to provide a new response to the counterpossible terrible commands objection: I argue that we lack reason to think that the counterpossible in question is false by examining the underlying intuitions. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is (...) equivalent to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (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)

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.

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 (...) class='Hi'>vacuism, and give an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

Lewis/Stalnaker semantics has it that all counterpossibles (i.e., counterfactual conditionals with impossible antecedents) are vacuously true. Non-vacuism, by contrast, says the truth-values of counterpossibles are affected by the truth-values of the consequents. Some counterpossibles are true, some false. Williamson objects to non-vacuism. He asks us to consider someone who answered ‘11’ to ‘What is 5 + 7?’ but who mistakenly believes that he answered ‘13’. For the non-vacuist, (1) is false, (2) true: (1) If 5 + 7 were (...) 13, x would have got that sum right (2) If 5 + 7 were 13, x would have got that sum wrong Williamson is not persuaded by the initial intuitiveness of such examples: ... they tend to fall apart when thought through. For example, if 5 + 7 were 13 then 5 + 6 would be 12, and so (by another eleven steps) 0 would be 1, so if the number of right answers I gave were 0, the number of right answers I gave would be 1. (2006) That’s the whole argument—much of it implicit. Alan Baker’s critique (2007) of Brogaard and Salerno (2007) prompts us to say something less abbreviated about a less abbreviated form of Wiliamson’s argument. Then we further develop our (2007) counterfactual analysis of essense. (shrink)

It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...) vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (shrink)

Kit Fine (1994. “Essence and Modality”, Philosophical Perspectives 8: 1-16) argues that the standard modal account of essence as de re modality is ‘fundamentally misguided’ (p. 3). We agree with his critique and suggest an alternative counterfactual analysis of essence. As a corollary, our counterfactual account lends support to non-vacuism the thesis that counterpossibles (i.e., counterfactual conditionals with impossible antecedents) are not always vacuously true.

The variably strict analysis of conditionals does not only largely dominate the philosophical literature, since its invention by Stalnaker and Lewis, it also found its way into linguistics and psychology. Yet, the shortcomings of Lewis–Stalnaker’s account initiated a plethora of modifications, such as non-vacuist conditionals, presuppositional indicatives, perfect conditionals, or other conditional constructions, for example: reason relations, difference-making conditionals, counterfactual dependency, or probabilistic relevance. Many of these new connectives can be treated as strengthened or weakened conditionals. They are definable conditionals. (...) This article develops a technique to infer the logic for such definable conditionals from the known logic of the underlying defining conditional. The technique is applied to central examples. The results show that a large part of the zoo of conditionals arises from a basic conditional—a constant nucleus of the different contextual and conceptual variations of variably strict conditionals. (shrink)

Descartes is notorious for holding a strong anti-vacuist position. On his view, according to the standard reading, empty space not only does not exist in nature, but it is logically impossible. The very notion of a void or vacuum is an incoherent one. Recently Eric Palmer has proposed a revisionist reading of Descartes on empty space, arguing that he is more sanguine about its possibility. Palmer makes use of Descartes’ early correspondence with Marin Mersenne, including his commentary on Galileo’s Two (...) New Sciences. I argue that Palmer’s reading is mistaken, and that it relies on an understandable but faulty inference—i.e., that if Descartes considers the implications of an opposing view, he must find it at least coherent. Descartes, as I show from his correspondence and other texts, uses a variety of persuasive strategies, and levels charges of different logical strength, against positions which he takes to be incoherent. Thus we cannot infer from the fact that Descartes argues, e.g., that something is a superfluous theoretical entity, that he admits that entity’s coherence. He often chooses to argue a weaker thesis against an opponent so that he can use an argument to which the opponent is more likely to agree. (shrink)

Günther recently suggested a 'new‘ conditional. This conditional is not new, as already remarked by Wansing and Omori. It is just David Lewis‘ forgotten alternative 'doctored‘ conditional and part of a larger class termed neutral conditionals. In this paper, I answer some questions raised by Wansing and Omori, concerning the motivation, the logic, the connexive flavor and contra-classicality of such neutralized conditionals. The main message being: Neutralizing a vacuist conditional avoids (some) paradoxes of strict implication, changes the logic essentially only (...) by Aristotle‘s Thesis, makes strong connexivity impossible, and remains in the realm of non-contra-classical logics. (shrink)

In most of the more lively fields of physical enquiry in the first three decades of the seventeenth century, a striking contrast may be observed between the antiquity of the problems attacked, and the innovatory procedures applied to solve them. None of these questions, inherited from a past now remote, seemed more pressing than the time-honoured controversy of the plenum versus the vacuum, especially as the concept of the atomic structure of matter was so closely associated with the existence of (...) the void. The more one studies the arguments produced at that time, the more one will be impressed with the value and importance, for the vacuists and the atomists, of the Pneumatics of Hero of Alexandria. When we read Galileo's explanation of combustion, “the extremely fine particles of fire, penetrating the narrow pores of the metal would fill the minute intervening vacuum, and would set free these minute particles from the forced attraction which these same vacua exert’, we can hear clear echoes of Hero's account of disseminated micro-vacua. Now Hero's work is clearly divided into two sections: a theoretical preface and a collection of 78 “pneumatic devices”. One might be tempted to claim that he, rather than his fellow-atomist Lucretius, inspired the first tentative syntheses of seventeenth-century atomism but it would still be necessary to agree that his chief contributions to the achievements of that generation lie in the experimental techniques which they derived from his instrumentation. Were it not for the popularity of his pneumatic demonstrations, he could never have won such a great reputation as a natural philosopher. Without that reputation, his opinions on this topic would not have been valued as almost equal to those of the mighty Aristotle, especially since he was so decidedly in the minority. (shrink)

There is at present a certain dispute about counterfactuals taking place. What is at issue is whether counterfactuals with necessarily false antecedents are all true. Some hold that such counterfactuals are vacuously true, appearances notwithstanding. Let us call such people vacuists. Others hold that some counterfactuals with necessarily false antecedents are true; some are false: it just depends on their contents. Let us call such people non-vacuists. As a notable representative of the vacuists, I will take Tim Williamson. On the (...) other side, I will take the position defended by Berto, French, Priest, and Ripley. I will argue (unsurprisingly) that the better choice is Non-Vacuism. That, however, is a subsidiary aim of this paper. The main point is to illustrate the method of theory-choice. (shrink)

RésuméL’opuscule de Pascal Expériences nouvelles touchant le vide donne le schéma d’une démonstration physique visant à mettre un terme aux controverses entre plénistes et vacuistes. La forme traditionnelle de la dispute avec laquelle Pascal veut rompre se trouve cependant réactivée par Étienne Noël, qui reprend à son compte des objections plénistes que les Expériences nouvelles n’envisagent comme possibles que pour mieux les invalider. Les lettres de Pascal Au très révérend père Noël et À Monsieur Le Pailleur permettent au contraire de (...) délimiter un autre champ disputationnel que celui auquel Noël obéit. Pascal subordonne la dispute à la reconnaissance de principes épistémologiques communs: la discussion antithétique sur le vide doit être contrôlée par des critères méthodologiques acceptés par tous. Contre la figure de la dispute savante, Pascal définit ainsi un modèle radicalement nouveau: la dispute scientifique. (shrink)

Résumé L’opuscule de Pascal _Expériences nouvelles touchant le vide_ donne le schéma d’une démonstration physique visant à mettre un terme aux controverses entre plénistes et vacuistes. La forme traditionnelle de la dispute avec laquelle Pascal veut rompre se trouve cependant réactivée par Étienne Noël, qui reprend à son compte des objections plénistes que les _Expériences nouvelles_ n’envisagent comme possibles que pour mieux les invalider. Les lettres de Pascal _Au très révérend père Noël_ et _À Monsieur Le Pailleur_ permettent au contraire (...) de délimiter un autre champ disputationnel que celui auquel Noël obéit. Pascal subordonne la dispute à la reconnaissance de principes épistémologiques communs: la discussion antithétique sur le vide doit être contrôlée par des critères méthodologiques acceptés par tous. Contre la figure de la dispute savante, Pascal définit ainsi un modèle radicalement nouveau: la dispute scientifique. (shrink)