In ‘Quiddistic Knowledge’ (Schaffer in Philos Stud 123:1–32, 2005), Jonathan Schaffer argued influentially against the view that the laws of nature are metaphysically necessary. In this reply I aim to show how a coherent and well-motivated form of necessitarianism can withstand his critique. Modal necessitarianism—the view that the actual laws are the laws of all possible worlds—can do justice to some intuitive motivations for necessitarianism, and it has the resources to respond to all of Schaffer’s objections. It also has certain (...) advantages over contingentism in the domain of modal epistemology. I conclude that necessitarianism about laws remains a live option. (shrink)

Jonathan Schaffer argues against a necessary connection between properties and laws. He takes this to be a question of what possible worlds we ought to countenance in our best theories of modality, counterfactuals, etc. In doing so, he unfairly rigs the game in favor of contingentism. I argue that the necessitarian can resist Schaffer’s conclusion while accepting his key premise that our best theories of modality, counterfactuals, etc. require a very wide range of things called ‘possible worlds’. However, the necessitarian (...) can and should insist that, in many cases, these worlds are not metaphysically possible. I will further argue that, having taken such a stance, the necessitarian has additional resources to respond to Schaffer’s other arguments against the view. (shrink)

Evidential decision theory (EDT) says that the choiceworthiness of an option depends on its evidential connections to possible outcomes. Causal decision theory (CDT) holds that it depends on your beliefs about its causal connections. While Newcomb cases support CDT, Arif Ahmed has described examples that support EDT. A new account is needed to get all cases right. I argue that an option A's choiceworthiness is determined by the probability that a good outcome ensues at possible A‐worlds that match actuality in (...) the facts causally unaffected by your decision (the “unaffected facts”). Moreover, you should evaluate A on the assumption that A is compossible with the unaffected facts. This view entails that you should use EDT when evaluating A on the assumption that the unaffected facts determine your action, but use CDT when assessing A on the opposite assumption. A's choiceworthiness equals a weighted average of these conditional assessments. The weights are determined by your beliefs about whether the unaffected fact determine your action. This account gets both Newcomb and Ahmed cases right. According to an influential view, whether you take the unaffected facts to determine your action can make a difference to whether you can regard yourself as free and the action as being under your control. While my account is neutral on this issue, it entails that whether you take the unaffected facts to determine your action is important in a different way: it matters to whether you should follow EDT or CDT. (shrink)

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, I (...) present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine emergence (...) of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)