In their influential paper “Ceteris Paribus, There is No Problem of Provisos”, Earman and Roberts (Synthese 118:439–478, 1999) propose to interpret the non-strict generalizations of the special sciences as statistical generalizations about correlations. I call this view the “statistical account”. Earman and Roberts claim that statistical generalizations are not qualified by “non-lazy” ceteris paribus conditions. The statistical account is an attractive view, since it looks exactly like what everybody wants: it is a simple and intelligible theory of special science laws (...) without the need for mysterious ceteris paribus conditions. I present two challenges to the statistical account. According to the first challenge, the statistical account does not get rid of so-called “non-lazy” ceteris paribus conditions. This result undermines one of the alleged and central advantages of the statistical account. The second challenge is that the statistical account, qua general theory of special science laws, is weakened by the fact that idealized law statements resist a purely statistical interpretation. (shrink)

In the recent philosophy of explanation, a growing attention to and discussion of non-causal explanations has emerged, as there seem to be compelling examples of non-causal explanations in the sciences, in pure mathematics, and in metaphysics. I defend the claim that the counterfactual theory of explanation (CTE) captures the explanatory character of both non-causal scientific and metaphysical explanations. According to the CTE, scientific and metaphysical explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I (...) support this claim by illustrating that CTE is applicable to Euler’s explanation (an example of a non-causal scientific explanation) and Loewer’s explanation (an example of a non-causal metaphysical explanation). (shrink)

Craig Callender, Jonathan Cohen and Markus Schrenk have recently argued for an amended version of the best system account of laws – the better best system account (BBSA). This account of lawhood is supposed to account for laws in the special sciences, among other desiderata. Unlike David Lewis's original best system account of laws, the BBSA does not rely on a privileged class of natural predicates, in terms of which the best system is formulated. According to the BBSA, a contingently (...) true generalization is a law of a special science S iff the generalization is an axiom (or a theorem) of the best system relative to the set of predicates used by special science S. We argue that the BBSA is, at best, an incomplete theory of special science laws, as it does not account for typical features of special science laws, such as attached ceteris paribus conditions and the idealized character of law statements in these disciplines. (shrink)

In “A Subjectivist’s Guide to Objective Chance,” David Lewis says that he is “led to wonder whether anyone but a subjectivist is in a position to understand objective chance.” The present essay aims to motivate this same Lewisean attitude, and a similar degree of modest subjectivism, with respect to objective causation. The essay begins with Newcomb problems, which turn on an apparent tension between two principles of choice: roughly, a principle sensitive to the causal features of the relevant situation, and (...) a principle sensitive only to evidential factors. Two-boxers give priority to causal beliefs, and one-boxers to evidential beliefs. The essay notes that a similar issue can arise when the modality in question is chance, rather than causation. In this case, the conflict is between decision rules based on credences guided solely by chances, and rules based on credences guided by other sorts of probabilistic evidence. Far from excluding cases of the latter kind, Lewis’s Principal Principle explicitly allows for them, in the form of the caveat that credences should follow beliefs about chances only in the absence of “inadmissible evidence.” The essay then exhibits a tension in Lewis’s views on these two matters, by presenting a class of decision problems—some of them themselves Newcomb problems—in which Lewis’s view of the relevance of inadmissible evidence seems in tension with his causal decision theory. It offers a diagnosis for this dilemma and proposes a remedy, based on an extension of a proposal due to Ned Hall and others from the case of chance to that of causation. The remedy suggests a new view of the relation between causal decision theory and evidential decision theory, namely, that they stand to each other much as chance stands to credence, being objective and subjective faces of the same practical coin. This has much the same metaphysical benefits as Lewis’s own view of chance and also throws interesting new light on Newcomb problems, providing an irenic resolution of the apparent disagreement between causal and evidential decision rules. (shrink)

Physicist Max Tegmark argues that if there are infinite universes or sub-universes, we will encounter our exact duplicates infinite times, the nearest within 10^10^115 m. Tegmark assumes Humean supervenience and a finite number of possible combinations of elementary quantum states. This paper argues on the contrary that Tegmark’s argument fails to hold if possible thoughts, persons, and life histories are all infinite in number. Are there infinite thoughts we could possibly think? This paper will show that there are. If so, (...) then it is not only Tegmark’s specific claim about our duplication that is called into question. We additionally acquire another strong argument against Humean supervenience. (shrink)

In this article, I present a case study of underdetermination in nineteenth-century electrodynamics between a pure field theory and a formulation in terms of action at a distance. A particular focus is on the question if and how this underdetermination is eventually resolved. It turns out that after a period of overt underdetermination, during which the approaches are developed separately, the two programmes are merged. On the basis of this development, I argue that the original underdetermination survives in hidden form (...) in ontological and methodological redundancies of the subsequent particle–field electrodynamics. Implications regarding criteria for theory choice and the realism debate are briefly addressed. (shrink)

Mill appears to be committed to two incompatible accounts of laws. While he seems to defend a Humean account of laws similar to Ramsey’s and Lewis’s, he also appears to rely on modal notions to distinguish lawful relations from accidental regularities. This paper will show that Mill’s two accounts of laws are in fact equivalent. This equivalence results from a proper understanding of the necessity involved in laws and a proper understanding of systematization. This equivalence reveals the true source of (...) the intimate connection between laws and systematization. Mill also provides an account of natural necessity that makes clear why experimentation is essential for gaining knowledge of laws. In contrast, Lewis’s account will be shown to have counterintuitive consequences regarding the relationship between laws and experimentation. Moreover, it will be shown that Mill’s views about inference result in a distinction between two modes of systematizing: subsumption and derivation. This distinction is overlooked in contemporary accounts of systematization, but Mill rightly notes that the metaphysical implications and epistemic role of these two modes are importantly different. (shrink)

In a recent paper in this journal, James Hawthorne, Jürgen Landes, Christian Wallmann, and Jon Williamson argue that the principal principle entails the principle of indifference. In this paper, I argue that it does not. Lewis’s version of the principal principle notoriously depends on a notion of admissibility, which Lewis uses to restrict its application. HLWW base their argument on certain intuitions concerning when one proposition is admissible for another: Conditions 1 and 2. There are two ways of reading their (...) argument, depending on how you understand the status of these conditions. Reading 1: The correct account of admissibility is determined independently of these two principles, and yet these two principles follow from that correct account. Reading 2: The correct account of admissibility is determined in part by these two principles, so that the principles follow from that account but only because the correct account is constrained so that it must satisfy them. HLWWshow that, given an account of admissibility on which Conditions 1 and 2 hold, the principal principle entails the principle of indifference. I argue that, on either reading of the argument, it fails. First, I argue that there is a plausible account of admissibility on which Conditions 1 and 2 are false. That defeats reading 1. Next, I argue that the intuitions that lead us to assent to Condition 2 also lead us to assent to other very closely related principles that are inconsistent with Condition 2. This, I claim, casts doubt on the reliability of those intuitions, and thus removes our justification for Condition 2. This defeats the second reading of the HLWW argument. Thus, the argument fails. (shrink)

ABSTRACTThis book symposium onAccuracy and the Laws of Credenceconsists of an overview of the book’s argument by the author, Richard Pettigrew, together with four commentaries on different aspects of that argument. Ben Levinstein challenges the characterisation of the legitimate measures of inaccuracy that plays a central role in the arguments of the book. Julia Staffel asks whether the arguments of the book are compatible with an ontology of doxastic states that includes full beliefs as well as credences. Fabrizio Cariani raises (...) concerns about the argument offered in the book for various chance-credence principles. And Sophie Horowitz questions the assumptions at play in the book’s argument for the Principle of Indifference, as well as asking how the various laws of credence considered in the book relate to one another. (shrink)

Jim Joyce has presented an argument for Probabilism based on considerations of epistemic utility [Joyce, 1998]. In a recent paper, I adapted this argument to give an argument for Probablism and the Principal Principle based on similar considerations [Pettigrew, 2012]. Joyce’s argument assumes that a credence in a true proposition is better the closer it is to maximal credence, whilst a credence in a false proposition is better the closer it is to minimal credence. By contrast, my argument in that (...) paper assumed (roughly) that a credence in a proposition is better the closer it is to the objective chance of that proposition. In this paper, I present an epistemic utility argument for Probabilism and the Principal Principle that retains Joyce’s assumption rather than the alternative I endorsed in the earlier paper. I argue that this results in a superior argument for these norms. (shrink)

Making sense of our reasoning in disputes about necessary truths requires admitting nonvacuous counterpossibles. One class of these is the counteressentials, which ask us to make contrary to fact suppositions about essences. A popular strategy in accounting for nonvacuous counterpossibles is to extend the standard possible worlds semantics for subjunctive conditionals by the addition of impossible worlds. A conditional A □-> C is then taken to be true if all of the nearest A worlds are C worlds. I argue that (...) a straightforward extension of the standard possible worlds semantics to impossible worlds does not result in a viable account of counteressentials and propose an alternative covering law semantics for counteressentials. (shrink)

A probability distribution is regular if it does not assign probability zero to any possible event. Williamson argued that we should not require probabilities to be regular, for if we do, certain “isomorphic” physical events must have different probabilities, which is implausible. His remarks suggest an assumption that chances are determined by intrinsic, qualitative circumstances. Weintraub responds that Williamson’s coin flip events differ in their inclusion relations to each other, or the inclusion relations between their times, and this can account (...) for their differences in probability. Haverkamp and Schulz rebut Weintraub, but their rebuttal fails because the events in their example are even less symmetric than Williamson’s. However, Weintraub’s argument also fails, for it ignores the distinction between intrinsic, qualitative differences and relations of time and bare identity. Weintraub could rescue her argument by claiming that the events differ in duration, under a non-standard and problematic conception of duration. However, we can modify Williamson’s example with Special Relativity so that there is no absolute inclusion relation between the times, and neither event has longer duration except relative to certain reference frames. Hence, Weintraub’s responses do not apply unless chance is observer-relative, which is also problematic. Finally, another symmetry argument defeats even the appeal to frame-dependent durations, for there the events have the same finite duration and are entirely disjoint, as are their respective times and places. (shrink)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

Lewis’s Principal Principle is widely recognized as a rationality constraint that our credences should satisfy throughout our epistemic life. In practice, however, our credences often fail to satisfy this principle because of our various epistemic limitations. Facing such violations, we should correct our credences in accordance with this principle. In this paper, I will formulate a way of correcting our credences, which will be called the Adams Correcting Rules and then show that such a rule yields non-commutativity between conditionalizing and (...) correcting. With the help of the notion of ‘accuracy’, then, I attempt to provide a vindication of the Adams Correcting Rule and show how we can respond to the non-commutativity in question. (shrink)

Contemporary Humeans treat laws of nature as statements of exceptionless regularities that function as the axioms of the best deductive system. Such ‘Best System Accounts’ marry realism about laws with a denial of necessary connections among events. I argue that Hume’s predecessor, George Berkeley, offers a more sophisticated conception of laws, equally consistent with the absence of powers or necessary connections among events in the natural world. On this view, laws are not statements of regularities but the most general rules (...) God follows in producing the world. Pace most commentators, I argue that Berkeley’s view is neither instrumentalist nor reductionist. More important, the Berkeleyan Best System can solve some of the problems afflicting its Humean rivals, including the problems of theory choice and Nancy Cartwright’s ‘facticity’ dilemma. Some of these solutions are available in the contemporary context, without any appeal to God. Berkeley’s account deserves to be taken seriously in its own right. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

It is customary to distinguish experimental from purely observational sciences. The former include physics and molecular biology, the latter astronomy and palaeontology. Experiments involve actively intervening in the course of nature, as opposed to observing events that would have happened anyway. When a molecular biologist inserts viral DNA into a bacterium in his laboratory, this is an experiment; but when an astronomer points his telescope at the heavens, this is an observation. Without the biologist’s handiwork the bacterium would never have (...) contained foreign DNA; but the planets would have continued orbiting the sun whether or not the astronomer had directed his telescope skyward. The observational/experimental distinction would probably be difficult to make precise 1, as the notion of an ‘intervention’ is not easily defined, but it is intuitively fairly clear, and is frequently invoked by scientists and historians of science. Experimentation, or ‘putting questions to nature’, is often cited as a hallmark of the modern scientific method, something that permitted the enormous advances of the last 350 years. And it is sometimes said that the social sciences lag behind the natural because controlled experiments cannot be done so readily in the former. Moreover in certain sciences, e.g. epidemiology, students are explicitly taught that experimental data is preferable to observational data, particularly for doing causal inference. So the distinction between observational and experimental science has quite wide currency, and is often regarded as methodologically significant. Surprisingly, mainstream philosophy of science has had rather little to say about the observational/experimental distinction. 2 For example, discussions of confirmation usually invoke a notion of ‘evidence’, to be contrasted with ‘theory’ or ‘hypothesis’; the aim is to understand how the evidence bears on the hypothesis. But whether this ‘evidence’ comes from observation or experiment generally plays no role in the discussion; this is true …. (shrink)

A principle endorsed by many theories of objective chance, and practically forced on us by the standard interpretation of the Kolmogorov semantics for chance, is the principle that when a proposition P has a chance, any proposition Q that is necessarily equivalent to P will have the same chance as P. Call this principle SUB (for the substitution of necessary equivalents into chance ascriptions). I will present some problems for a theory of chance, and will argue that the best way (...) to resolve these problems is to reject SUB, and similar principles e.g. for the chances of outcomes or the chances of events. Objective chance, it turns out, carves things more finely than necessary equivalence does. (shrink)

I argue—from a Humean perspective—for the falsity of what I call the “Admissibility of Historical Information Thesis”. According to the AHIT, propositions that describe past events are always admissible with respect to propositions that describe future events. I first demonstrate that this thesis has some counter-intuitive implications and argue that a Humean can explain the intuitive attractiveness of the AHIT by arguing that it results from a wrong understanding of the concept of chance. I then demonstrate how a Humean “best (...) system” analysis of chance predicts the existence of inadmissible historical information and discuss the implications of this conclusion to the debate between Humeans and non-Humeans. (shrink)

A triviality result for what Lewis called “the Desire by Necessity Thesis” and Broome : 265–267, 1991) called “the Desire as Expectation Thesis” is presented. The result shows that this thesis and three other reasonable conditions can be jointly satisfied only in trivial cases. Some meta-ethical implications of the result are discussed. The discussion also highlights several issues regarding Lewis ’ original triviality result for “the Desire as Belief Thesis” that have not been properly understood in the literature.

I argue that there are such things as nomological probabilities—probabilities that play a certain explanatory role with respect to stable, long-run relative frequencies. Indeed, I argue, we should be willing to accept nomological probabilities even if they turn out to be metaphysically weird or even wholly sui generis entities. I then give an example of one way in which this argument should shape future work on the metaphysics of chance by describing a challenge to a common group of analyses of (...) objective probability—Humean analyses— understood as analyses of nomological probability. (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

I follow Hájek (Synthese 137:273–323, 2003c) by taking objective probability to be a function of two propositional arguments—that is, I take conditional probability as primitive. Writing the objective probability of q given r as P(q, r), I argue that r may be chosen to provide less than a complete and exact description of the world’s history or of its state at any time. It follows that nontrivial objective probabilities are possible in deterministic worlds and about the past. A very simple (...) chance–credence relation is also then natural, namely that reasonable credence equals objective probability. In other words, we should set our actual credence in a proposition equal to the proposition’s objective probability conditional on available background information. One advantage of that approach is that the background information is not subject to an admissibility requirement, as it is in standard formulations of the Principal Principle. Another advantage is that the “undermining” usually thought to follow from Humean supervenience can be avoided. Taking objective probability to be a two-argument function is not merely a technical matter, but provides us with vital flexibility in addressing significant philosophical issues. (shrink)

This article examines the implications of the holonomy interpretation of classical electromagnetism. As has been argued by Richard Healey and Gordon Belot, classical electromagnetism on this interpretation evinces a form of nonseparability, something that otherwise might have been thought of as confined to nonclassical physics. Consideration of the differences between this classical nonseparability and quantum nonseparability shows that the nonseparability exhibited by the classical electromagnetism on the holonomy interpretation is closer to separability than might at first appear.

Humeans take reality to be devoid of ‘necessary connections’: things just happen. Laws of nature are to be understood in terms of what ‘just happens’, not vice versa. Here the Humean needs some conception of what it is that ‘just happens’ – a conception of the Humean mosaic. Lewis’s Humeanism incorporates such a conception in the form of a Lewis-style metaphysics of objects, properties, and modality. Newer versions of Humeanism about laws of nature, such as the Better Best Systems approach, (...) typically reject such a Lewisian metaphysics, but it remains unclear what they can offer in its place. By exploring different candidate conceptions, this paper sheds light on the limits of Humeanism about laws of nature: not all conceptions of the Humean mosaic form a suitable basis for a Humean theory of laws. In fact, only a metaphysics roughly in line with Lewis’s will do. The paper ends with a tentative generalization of this result, thus pointing to the ‘limit’ of Humeanism in general: taking the Humean way of thinking to its limit results in a rejection of the whole idea of such a mosaic – and hence of Humean mosaic-based accounts of anything. (shrink)

The last 20 years or so has seen an intense search carried out within Dempster–Shafer theory, with the aim of finding a generalization of the Shannon entropy for belief functions. In that time, there has also been much progress made in credal set theory—another generalization of the traditional Bayesian epistemic representation—albeit not in this particular area. In credal set theory, sets of probability functions are utilized to represent the epistemic state of rational agents instead of the single probability function of (...) traditional Bayesian theory. The Shannon entropy has been shown to uniquely capture certain highly intuitive properties of uncertainty, and can thus be considered a measure of that quantity. This article presents two measures developed with the purpose of generalizing the Shannon entropy for (1) unordered convex credal sets and (2) possibly non-convex credal sets ordered by second order probability, thereby providing uncertainty measures for such epistemic representations. There is also a comparison with the results of the measure AU developed within Dempster–Shafer theory in a few instances where unordered convex credal set theory and Dempster–Shafer theory overlap. (shrink)

This article argues against Nina Emery’s view that there are compelling reasons to believe in nomological probabilities. To the degree that we can see no other way to detect the occurrence of the explanans apart from the bare fact that the explanandum happened, we may be skeptical that the proposed explanation is correct and open to the possibility that there is none. This provides us with a way to distinguish physical entities from mathematical ones, illuminating interpretations of quantum mechanics.

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the world (...) supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by tentatively (...) proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

This paper examines two mistakes regarding David Lewis’ Principal Principle that have appeared in the recent literature. These particular mistakes are worth looking at for several reasons: The thoughts that lead to these mistakes are natural ones, the principles that result from these mistakes are untenable, and these mistakes have led to significant misconceptions regarding the role of admissibility and time. After correcting these mistakes, the paper discusses the correct roles of time and admissibility. With these results in hand, the (...) paper concludes by showing that one way of formulating the chance–credence relation has a distinct advantage over its rivals. (shrink)

This pair of articles provides a critical commentary on contemporary approaches to statistical mechanical probabilities. These articles focus on the two ways of understanding these probabilities that have received the most attention in the recent literature: the epistemic indifference approach, and the Lewis-style regularity approach. These articles describe these approaches, highlight the main points of contention, and make some attempts to advance the discussion. The second of these articles discusses the regularity approach to statistical mechanical probabilities, and describes some areas (...) where further research is needed. (shrink)

In The Concept of Mind, Gilbert Ryle argued that a more sophisticated understanding of the dispositional nature of ‘intelligent capacities’ could bolster philosophical resistance to the tempting view that the human mind is possessed of metaphysically ‘occult’ powers and properties. This temptation is powerful in the context of accounting for the special qualities of responsible agency. Incompatibilists indulge the temptation; compatibilists resist it, using a variety of strategies. One recent strategy, reminiscent of Ryle’s, is to exploit a more sophisticated understanding (...) of dispositional properties to account for these qualities. But ‘new dispositionalists’ run up against a ‘hard problem’ that threatens the approach. This paper argues that the threat may be averted by embracing a yet more radical ‘Rylean’ view of the distinctive dispositional nature of ‘intelligent capacities’. (shrink)

Leibniz speaks, in a variety of contexts, of there being two realms—a "kingdom of power or efficient causes" and "a kingdom of wisdom or final causes." This essay explores an often overlooked application of Leibniz's famous "two realms doctrine." The first part turns to Leibniz's work in optics for the roots of his view that nature can be seen as being governed by two complete sets of equipotent laws, with one set corresponding to the efficient causal order of the world, (...) and the other to its teleological order. The second part offers an account of how this picture of lawful over-determination is to be reconciled with Leibniz's mature metaphysics. The third addresses a line of objection proposed by David Hirschmann to the effect that Leibniz's doctrine undermines his stated commitment to an efficient, broadly mechanical account of the natural world. Finally, the fourth part suggests that Leibniz's thinking about the harmony of final and efficient causes in connection with corporeal nature may help to shed light on his understanding of the teleological unfolding of monads as well. (shrink)

Humeanism started life as a metaphysical program that could turn out to be false if our best physical theories were to postulate ontological features at odds with Humean ones. However, even if this has arguably already happened, Humeanism is still considered one of the strongest and most appealing metaphysical theories for describing the physical world. What is even more surprising is that a radical Humean thesis—Super-Humeanism—which posits an extremely parsimonious ontology including nothing more than propertyless matter points and their distance (...) relations, is said by its proponents to follow from an attentive reading of our best physical theories. Given its close relationship with physics, Super-Humeans argue that their doctrine conforms to Scientific Realism, offers the ontology that best explains physics’ empirical evidence, and is a naturalistic theory. This paper investigates the strategies that Super-Humeans have adopted to defend these three claims and, more generally, its alleged closeness to physics. I will show that, contrary to what advocates of Super-Humeanism claim, some of its commitments have inevitably created a gap between itself and physics that is difficult to overcome. While it is laudable that Super-Humeans have adopted various strategies to close this gap, no strategy has yet fully succeeded. (shrink)

In this paper, I discuss whether the results of loop quantum gravity (LQG) constitute a fatal blow to Humeanism. There is at least a prima facie reason for believing so: while Humeanism regards spatiotemporal relations as fundamental, LQG describes the fundamental layer of our reality in terms of spin networks, which are not in spacetime. However, the question should be tackled more carefully. After explaining the importance of the debate on the tenability of Humeanism in light of LQG, and having (...) presented the Humean doctrine, I review two cases which present serious threats to Humeanism, one concerning the fundamentality of vectorial quantities and the other concerning quantum entanglement. In particular, I recall the strategies that are usually employed in these two cases in order to save Humeanism: in the first case, the strategy consists in amending the characterization of the Humean mosaic; in the second case, it consists in adopting a realist or nomological interpretation of the wave function. These solutions will turn out to be helpful in my discussion of LQG where, after describing LQG, I show that Humeans might save their doctrine either by endorsing a realist interpretation of spin networks, or by giving them a nomological status and, at the same time, by revisiting the characterization of the Humean mosaic. However, I conclude that both solutions are wanting. (shrink)

According to the doctrine of Super-Humeanism, the world’s mosaic consists only of permanent matter points and changing spatial relations, while all the other entities and features figuring in scientific theories are nomological parameters, whose role is merely to build the best law system. In this paper, I develop an argument against Super-Humeanism by pointing out that it is vulnerable to and does not have the resources to solve the well-known problem of immanent comparisons. Firstly, I show that it cannot endorse (...) a fundamentalist solution à la Lewis, since its two pillars—a minimalist ontology and a best system account of lawhood—would generate, together, a tedious problem of internal coherence. Secondly, I consider anti-fundamentalist strategies, proposed within Humeanism, and find them inapplicable to the Super-Humean doctrine. The concern is that, since it is impossible to choose the best law system within Super-Humeanism, this doctrine may be charged with incoherence. (shrink)

I argue that time travel to the past is impossible, given a certain metaphysical theory, namely, The Dynamic Theory of Time. I first spell out my particular way of capturing the difference between The Dynamic Theory of Time and its rival, The Static Theory of Time. Next I offer four different arguments for the conclusion that The Dynamic Theory is inconsistent with the possibility of time travel to the past. Then I argue that, even if I am wrong about this, (...) it will still be true that The Dynamic Theory entails that you should not want to travel back to the past. Finally, I conclude by considering a puzzle that arises for those who believe that time travel to the past is metaphysically impossible: What exactly are we thinking about when we seem to be thinking about traveling back in time? For it certainly does not feel like we are thinking about something that is metaphysically impossible. (shrink)

The contemporary Humean programme that seeks to combine property realism with the denial of necessary connections between distinct existences is flawed. Objects and properties by their very natures are entangled in such connections. It follows that modal notions cannot be reductively analysed by appeal to the concept property, not even if the reducing theory posits an abundant supply of entities to fall under that concept.

In What is a Law of Nature? (1983) David Armstrong promotes a theory of laws according to which laws of nature are contingent relations of necessitation between universals. The metaphysics Armstrong develops uses deterministic causal laws as paradigmatic cases of laws, but he thinks his metaphysics explicates other sorts of laws too, including probabilistic laws, like that of the half-life of radium being 1602 years. Bas van Fraassen (1987) gives seven arguments for why Armstrong’s theory of laws is incapable of (...) explicating probabilistic laws. The main thrust of the arguments is that Armstrong’s metaphysical apparatus serves to drive up the initial probability values stated by probabilistic laws. Armstrong replies .. (shrink)

Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...) not subjective probabilities either. Rather, they are a third type of probability, which I call counterfactual probability. The main distinguishing feature of counterfactual-probability is the role it plays in conveying important counterfactual information in explanations. This distinguishes counterfactual probability from chance as a second concept of objective probability. (shrink)

Contrary to Lewis and Vihvelin, I argue that free will in a deterministic world is an ability to break a law of nature or to change the remote past. Even if it were true, as Lewis and Vihvelin think, that an agent who is predetermined to perform a particular act might not break a law or change the remote past by doing otherwise, it would nevertheless be true that he is able to do otherwise only if he is able to (...) break a law or to change the remote past. (shrink)

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we propose a (...) Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

Among the most important questions in the metaphysics of science are "What are the natures of fundamental laws and chances?" and "What grounds the direction of time?" My aim in this paper is to examine some connections between these questions, discuss two approaches to answering them and argue in favor of one. Along the way I will raise and comment on a number of issues concerning the relationship between physics and metaphysics and consequences for the subject matter and methodology of (...) metaphysics. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to organize (...) information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

Humean reductionism about laws of nature is the view that the laws reduce to the total distribution of non-modal or categorical properties in spacetime. A worry about Humean reductionism is that it cannot motivate the characteristic modal resilience of laws under counterfactual suppositions and that it thus generates wrong verdicts about certain nested counterfactuals. In this paper, we defend Humean reductionism by motivating an account of the modal resilience of Humean laws that gets nested counterfactuals right.