Humean supervenience is the conjunction of three theses: Truth supervenes on being, Anti‐haecceitism, and Spatiotemporalism. The first clause is a core part of Lewis's metaphysics. The second clause is related to Lewis's counterpart theory. The third clause says there are no fundamental relations beyond the spatiotemporal, or fundamental properties of extended objects. Supervenience is classified into strong modal Humean supervenience, local modal Humean supervenience and familiar modal Humean (...) class='Hi'>supervenience which states that: for any two "worlds like ours", if the spatiotemporal distribution of fundamental qualities is the same at each world, the contingent facts are also the same. The fact that quantum mechanics raises problems for Humean supervenience does not undercut the philosophical significance of Lewis's defense of Humean supervenience. Humean supervenience says that in a world like ours, the fundamental properties are local qualities: perfectly natural intrinsic properties of points, or of point‐sized occupants of points. (shrink)

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic necessitation, and scientific/dispositional essentialism. These views are examined especially with regard to their take on the apparent modal force of laws and their ability to explain that modal force. It will be suggested that none of the three views, at least in their strongest form, can be maintained if some laws are metaphysically necessary, but others are metaphysically contingent. (...) Some reasons for thinking that such variation in the modal status of laws exists will be presented with reference to physics. This drives us towards a fourth, hybrid view, according to which there are both necessary and contingent laws. The prospects for such a view are studied. (shrink)

The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and that a liberal view, according to (...) which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

For Humean atomists, cosmic contents supervene on a spatiotemporal mosaic of modally insulated, freely recombinable local qualities. One piecemeal subspecies of Humean atomism promises more than global supervenience—somehow or other—on a separable base; it constrains how exactly elemental inputs yield everything else. Roughly, the distribution of basic local qualities across elements in one part of our cosmos metaphysically suffices for the complete local physical state of that part: anything sharing this part’s basic elemental decoration should share its (...) more complete contents, regardless of what may be happening elsewhere. On a non-piecemeal alternative, derivative contents can be recognizably local to, or manifest within, one part of our cosmos while reflecting some more global elemental base. To develop this alternative, non-piecemeal Humeans can borrow inspiration from some critics of Humean supervenience, who already distinguish a broader notion of locality from strict Humean intrinsicality. (shrink)

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)

A simple argument proposes a direct link between realism about quantum mechanics and one kind of metaphysical holism: if elementary quantum theory is at least approximately true, then there are entangled systems with intrinsic whole states for which the intrinsic properties and spatiotemporal arrangements of salient subsystem parts do not suffice. Initially, the proposal is compelling: we can find variations on such reasoning throughout influential discussions of entanglement. Upon further consideration, though, this simple argument proves a bit too simple. To (...) get such metaphysically robust consequences out, we need to put more than minimal realism in. This paper offers a diagnosis: our simple argument seems so compelling thanks to an equivocation. The predictions of textbook quantum theory already resonate with familiar holistic slogans; for realists, then, any underlying reality, conforming to such predictions, also counts as holistic in some sense or other, if only by association. Such associated holism, though, does not establish the sort of specific, robust supervenience failure claimed by our simple argument. While it may be natural to slide to this stronger conclusion, facilitating the slide is not minimal realism per se but an additional explanatory assumption about how and why reality behaves in accordance with our theory: roughly, quantum theory accurately captures patterns in the features and behaviors of physical reality because some underlying metaphysical structure constrains reality to exhibit these patterns. Along with the diagnosis comes a recommendation: we can and should understand one traditional disagreement about the metaphysics of entanglement as another manifestation of a familiar and more general conflict between reductive and non-reductive conceptions of metaphysical theorizing. Such reframing makes clearer what resources reductionists have for resisting the simple argument’s challenge from quantum holism. It also has an important moral for their opponents. Traditional focus on whole-part supervenience failure distracts from a root disagreement about metaphysical structure and its role in our theorizing. Non-reductionists fond of our simple argument would be better off tackling this root directly. (shrink)

It has been argued that Humean Supervenience is threatened by the existence of quantum entanglement relations. The most conservative strategy for defending HS is to add the problematic entanglement relations to the supervenience basis, alongside spatiotemporal relations. In this paper, I’m going to argue against this strategy by showing how certain particular cases of tripartite entanglement states – i.e. GHZ states – posit some crucial problems for this amended version of HS. Moreover, I will show that the (...) principle of free recombination – which is strictly linked to HS – is severely undermined if we add entanglement relations to the supervenience basis. I conclude that the conservative move is very unappealing, and therefore the defender of HS should pursue other, more controversial, strategies. (shrink)

This paper is a response to Lewis’ ‘Humean Supervenience Debugged’ . Lewis was in the business of defending Humean Supervenience, and the project seemed successful until the case of chance. Lewis thus originally named chance the ‘big bad bug’ for Humean Supervenience until the aforementioned paper in which he claims victory. Here I argue that he was unsuccessful and that Humean Supervenience remains bugged by chance. I will show how this bug remains (...) due to a misdiagnosis of where the problem lies with regard to undermining. First, I define Humean Supervenience and chance, and state the bug in its original form, then secondly I describe Lewis’ attempt to remove the bug. Thirdly, I explain why the bug persists, despite Lewis’ efforts, and show the real source of the undermining problem to be due to the circularity of Humean Supervenient style accounts of chance. Finally I describe the situation this leaves chance in, and show how the incompatibility of chance and Humean Supervenience is evidence for the nonexistence of chance. I conclude that it is the circularity of the formation of Humean Supervenient laws of chance which continue to bug Humean Supervenience, leaving it untenable and resulting in little chance for chance. (shrink)

Humean Supervenience is a metaphysical model of the world according to which all truths hold in virtue of nothing but the total spatiotemporal distribution of perfectly natural, intrinsic properties. David Lewis and others have worked out many aspects of HS in great detail. A larger motivational question, however, remains unanswered: As Lewis admits, there is strong evidence from fundamental physics that HS is false. What then is the purpose of defending HS? In this paper, we argue that the (...) philosophical merit of HS is largely independent of whether it correctly represents the world’s fundamental structure. In particular, we show that insofar as HS is an apt model of the world’s higher-level structure, it thereby provides a powerful argument for reductive physicalism and explains otherwise opaque inferential relations. Recent criticism of HS on the grounds that it misrepresents fundamental physical reality is, therefore, beside the point. (shrink)

A central question in the philosophy of science is: What is a law of nature? Different answers to this question define an important schism: Humeans, in the wake of David Hume, hold that the laws of nature are nothing over and above what actually happens and reject irreducible facts about natural modality (Lewis, 1983, 1994; cf. Miller, 2015). According to Non-Humeans, by contrast, the laws are metaphysically fundamental (Maudlin, 2007) or grounded in primitive modal structures, such as dispositional essences (...) of powerful properties (Bird, 2007), necessitation relations (Armstrong, 1983), or primitive subjunctive facts (Lange, 2009). This volume focuses on recent developments in the discussion of Humeanism, specifically on pragmatic versions of the view that put the needs of limited agents like us front and center. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

According to the thesis of modal supervenience it is impossible that two objects be alike in their actual properties but differ in their modal properties. Some have argued that the concept of supervenience is inapplicable to the modal-actual case. Some have argued that the thesis of modal supervenience is trivially true. These arguments are refuted; a thesis of the supervenience of the modal on the actual is meaningful and nontrivial. The significance (...) of the thesis is nevertheless limited by the problem of finding a nonmodal specification for the purported subvenient properties. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience (...) and the Growing-Block theory are incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (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)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which (...) of these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical (...) utility as a tool for dissolving philosophical paradox. (shrink)

In a recent paper, Barry Loewer attempts to defend Humeanism about laws of nature from a charge that Humean laws are not adequately explanatory. Central to his defense is a distinction between metaphysical and scientific explanations: even if Humeans cannot offer further metaphysical explanations of particular features of their “mosaic,” that does not preclude them from offering scientific explanations of these features. According to Marc Lange, however, Loewer’s distinction is of no avail. Defending a transitivity principle linking scientific explanantia (...) to their metaphysical grounds, Lange argues that a charge of explanatory inadequacy resurfaces once this intuitive principle is in place. This paper surveys, on behalf of the Humean, three strategies for responding to Lange’s criticism. The ready availability of these strategies suggests that Lange’s argument may not bolster anti-Humean convictions, since the argument rests on premises that those not antecedently sharing these convictions may well reject. The three strategies also correspond to three interesting ways of thinking about relations of grounding linking Humean laws and their instances, all of which are consistent with theses of Humean supervenience, and some of which have been heretofore overlooked. (shrink)

An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled (...) states. Recently, however, arguments have been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for (...) him, all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

The representational theory of phenomenal experience is often stated in terms of a supervenience thesis: Byrne recently characterises it as the thesis that “there can be no difference in phenomenal character without a difference in content”, while according to Tye, “[a]t a minimum, the thesis is one of supervenience: necessarily, experiences that are alike in their representational contents are alike in their phenomenal character.” Consequently, much of the debate over whether representationalism is true centres on purported counter-examples – (...) that is to say, purported failures of supervenience. The refutation of putative counter-examples has been, it seems to me, by and large successful. But there is a certain class of these for which the representationalist response has been something less than completely convincing. These are the cross-modality cases. I will explain what I mean, and then argue that the response in question is not only unconvincing but actually undermines the representationalist position. (shrink)

When it comes to evaluating reductive hypotheses in metaphysics, supervenience arguments are the tools of the trade. Jaegwon Kim and Frank Jackson have argued, respectively, that strong and global supervenience are sufficient for reduction, and others have argued that supervenience theses stand in need of the kind of explanation that reductive hypotheses are particularly suited to provide. Simon Blackburn's arguments about what he claims are the specifically problematic features of the supervenience of the moral on the (...) natural have also been influential. But most discussions of these arguments have proceeded under the strong and restrictive assumptions of the S5 modal logic. In this paper we aim to remedy that defect, by illustrating in an accessible way what happens to these arguments under relaxed assumptions and why. The occasion is recent work by Ralph Wedgwood, who seeks to defend non-reductive accounts of moral and mental properties together with strong supervenience, but to evade both the arguments of Kim and Jackson and the explanatory challenge by accepting only the weaker, B, modal logic. In addition to drawing general lessons about what happens to supervenience arguments under relaxed assumptions, our goal is therefore to shed some light on both the virtues and costs of Wedgwood's proposal. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (and, for (...) that matter, Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

Laws of nature have various roles in scientific practice. It is widely agreed that an adequate theory of lawhood ought to align with the roles that scientists assign to the laws. But philosophers disagree over whether Humean laws or non-Humean laws are better at filling these roles. In this paper, I provide an argument for settling this dispute. I consider possible situations in which scientists receive conclusive evidence that—according to the non-Humean—falsifies their beliefs about the laws, but (...) which—according to the Humean—does not falsify their beliefs about the laws. I argue that, in these possible scenarios, all law-related aspects of scientific practice would remain unchanged. In other words, scientists would treat the regularities “preferred” by the Humean as the laws of nature. On this basis, I conclude that non-Humean laws fail to align with scientific practice. (shrink)

Expressivists traditionally explain normative supervenience by saying it is a conceptual truth. I argue against this tradition in two steps. First, I show the modal claim that stands in need of explanation has been stated imprecisely. Classic arguments in metaethics for normative supervenience and those that rely on it as a premise presuppose a constraint on the supervenience base that is rarely (if ever) made explicit: the repeatability of the non-normative properties on which the normative supervenes. (...) Non-normative properties are repeatable when it is possible for numerically distinct individuals to share them. Second, I show if the modal truth that stands in need of explanation entails that there are individuals exactly alike in repeatable non-normative respects that cannot normatively differ, then standard expressivist accounts of normative supervenience as a conceptual truth are unsuccessful. Expressivist metasemantics for normative terms, together with constitutive facts about the non-cognitive attitudes essentially involved in normative thought, strongly suggest that repeatable supervenience could not be a conceptual truth. I argue, finally, that although repeatable supervenience bears the marks of a conceptual truth, expressivists should be content to treat it as an ordinary normative truth, and to explain it the same way they explain other normative truths. (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. (shrink)

In this paper, I raise a novel objection to David Lewis’s Humean account of laws. The objection is that non-universal laws are metaphysically possible, but Lewis’s account cannot accommodate them. I then propose and defend an extension of Lewis’s view that gives us an account of Humean non-universal laws.

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal (...) processes, and that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

Materialists who do not deny the existence of mental phenomena usually claim that the mental supervenes on the physical, i.e. that there cannot be a change in the mental life of a man without there being a change in the man's body. This modal claim is usually understood in terms of logical necessity. I argue that this is a mistake, resulting from assumptions inherited from logical empiricism, and that it should be understood in terms of synthetic necessity.

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. (...) Those assumptions arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence (...) according to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

I show how the two great Humean ways of understanding laws of nature, projectivism and systems theory, have unwittingly reprised developments in metaethics over the past century. This demonstration helps us explain and understand trends in both literatures. It also allows work on laws to “leap- frog” over the birth of many new positions, the nomic counterparts of new theories in metaethics. However, like leap-frogging from agriculture to the internet age, it’s hardly clear that we’ve landed in a good (...) place. My reactionary advice is to return to Hume and work on the central insights that motivated Humeanism about modality in the first place. When updated with contemporary insights, there we will find an attractive naturalistic theory of laws, or so I’ll argue, and along the way we’ll see how projectivism and systems theory both get something right about this overall theory. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with (...) so-called inner and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it (...) is easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to simplify the quantum ontology and define a unique initial condition in such a world. First, I introduce Density Matrix Realism, the thesis that the quantum universe is described by a fundamental density matrix that represents something objective. This stands in sharp contrast to Wave Function (...) Realism, the thesis that the quantum universe is described by a wave function that represents something objective. Second, I suggest that the Past Hypothesis is sufficient to determine a unique and simple density matrix. This is achieved by what I call the Initial Projection Hypothesis: the initial density matrix of the universe is the normalized projection onto the special low-dimensional Hilbert space. Third, because the initial quantum state is unique and simple, we have a strong case for the \emph{Nomological Thesis}: the initial quantum state of the universe is on a par with laws of nature. This new package of ideas has several interesting implications, including on the harmony between statistical mechanics and quantum mechanics, the dynamic unity of the universe and the subsystems, and the alleged conflict between Humean supervenience and quantum entanglement. (shrink)

For Humeans, many facts—even ones intuitively “about” particular, localized macroscopic parts of the world—turn out to depend on surprisingly global fundamental bases. We investigate some counterintuitive consequences of this picture. Many counterfactuals whose antecedents describe intuitively localized, non-actual states of affairs nevertheless end up involving wide-ranging implications for the global, embedding Humean mosaic. The case of self-undermining chances is a familiar example of this. We examine that example in detail and argue that popular existing strategies such as “holding (...) the laws fixed as laws” or “holding the laws fixed as true” are of no help. Interestingly, we show how a new proposal that draws on the resources of the Mentaculus can yield the right results—but only on the assumption that the Humean can make cross-world identifications. We go on to argue that the Humean cannot make such identifications. We conclude that the root of this trouble is deeper, and its reach broader, than the familiar cases suggest. We think it is very much an open question whether the Humean has sufficient resources to properly conceptualize macroscopic objects or to analyze these “local” counterfactuals. (shrink)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

The thought experiment is a seemingly indispensable tool in the armchair philosopher’s toolbox. One wonders, for example, how philosophers could come to think that justified true belief isn’t knowledge, that reference isn’t determined by an expression’s associated description, or that moral responsibility doesn’t require the ability to do otherwise, without the use of thought experiments. But even if thought experiments play an integral role in philosophical methodology, their legitimacy is at least initially puzzling: one would think that significant knowledge of (...) the world requires extensive empirical investigation. But since thought experiments are done from the armchair, how can they tell us about the world? -/- A standard account of the nature and utility of thought experiments provides an answer to this question, and in a way that fits naturally with a standard picture of the nature of the facts philosophers investigate: Philosophers are about the business of investigating the essences of things and kinds. But a thing’s essential and accidental properties are modal properties. Thus, one can discern a thing’s essence by discovering its modal profile. But if so, then thought experiments are naturally suited as tools for the armchair philosopher. For thought experiments shed light on modal facts. Therefore, since philosophers investigate essences, facts about essence are modal facts, and the thought experiment is one of the few tools they have for discerning such facts, thought experiments play a legitimate and indispensable role in philosophical methodology. In my dissertation, I argue that the standard account of the nature and utility of thought experiments is inadequate, and sketch a more promising account. -/- First, I argue that our knowledge of possibility is restricted to the relatively humdrum. And if so, then since the standard account ties the utility of thought experiments to our knowledge of possibility, too many thought experiments will be ruled out as useless, which raises serious concerns about the significance, and perhaps even the legitimacy, of armchair philosophy. Thus, there is pressure for armchair philosophers to reject the standard account. -/- Second, I sketch an alternative picture of the nature of facts philosophers investigate – one that’s more fine-grained than the standard modal-profile picture. Relatedly, I sketch a correspondingly fine-grained semantics for claims about such facts. This alternative picture underwrites the legitimacy of a hitherto underappreciated sort of thought experiment, which I call the non-modal thought experiment. Such thought experiments shed light on facts about the world that are more fine-grained than what can be discerned by merely examining their modal profiles. I argue that non-modal thought experiments often succeed at just the points where the more familiar modal thought experiments fail, and thus that the two are naturally suited to complement one another in the philosopher’s practice. -/- Finally, I exploit the points mentioned above to sketch an account of the variety and utility of thought experiments that’s much more nuanced than that of the standard account. I then illustrate some of its virtues by indicating its ability to account for a wide range of epistemically forceful thought experiments – both humdrum and exotic –, and by demonstrating how it can be used to make progress in debates that have reached a stalemate due to conflicting modal intuitions. -/- . (shrink)

Epistemic modals in consequent place of indicative conditionals give rise to apparent counterexamples to Modus Ponens and Modus Tollens. Familiar assumptions of fa- miliar truth conditional theories of modality facilitate a prima facie explanation—viz., that the target cases harbor epistemic modal equivocations. However, these explana- tions go too far. For they foster other predictions of equivocation in places where in fact there are no equivocations. It is argued here that the key to the solution is to drop the (...) assumption that modal claims are inherently relational (i.e., that they ex- press a logical relation between a prejacent and a premise-set) in favor of a view that treats them as inherently quantificational. In particular it is suggested that modals are mass noun descriptions of information. We demonstrate how this approach unlocks the equivocation problem. (shrink)

Indicative judgments pertain to what is true. Epistemic modal judgments pertain to what must or might be true relative to a body of information. A standard view is that epistemic modals implicitly quantify over alternative possibilities, or ways things could turn out. On this view, a proposition must be true just in case it is true in all the possibilities consistent with the available information, and a proposition might be true just in case it is true in at least (...) one possibility consistent with the available information. I report three experiments testing this view of epistemic modals. The results show that although modal judgments are sensitive to information about alternative possibilities, the standard quantification theory mischaracterizes the ordinary meaning of modals. I then report two more experiments testing the hypothesis that epistemic modals express willingness to attribute knowledge based on the available information. The results support this hypothesis. The results also show that the difference between “inside” and “outside” probabilistic information, familiar from the judgment and decision-making literature, affects epistemic modal judgments. (shrink)

Several philosophers of science have drawn attention to a number of modeling practices where scientific models primarily contribute modal information. Examples now abound, and, recently, there have also been some preliminary attempts to address questions of under what conditions, and by virtue of what, models can perform this modal epistemic function. This paper sets out to constructively review those attempts through a prism of the more general literature on the epistemology of modality. One aim of this exercise is (...) to expose the underlying justificatory strategies of the modal modeling accounts – which are strikingly convergent with those already identified by modal epistemologists. Another aim is to highlight some challenges familiar to modal epistemology and discuss the form they take in the context of modal modeling as well as the resources that modal modeling accounts have for dealing with them. This is all done with an eye to pointing out ways forward in further developing the work on the epistemology of modal modeling. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, (...) I provide a precise formulation of modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state (...) in a way that adds no significant complexity to the best system and solves the ''supervenient-kind problem'' facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic (...) predicates. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section (...) 2 presents the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Do the laws of nature supervene on ordinary, non-nomic matters of fact? Lange's criticism of Humean supervenience (HS) plays a key role in his account of natural laws. Though we are sympathetic to his account, we remain unconvinced by his criticism. We focus on his thought experiment involving a world containing nothing but a lone proton and argue that it does not cast sufficient doubt on HS. In addition, we express some concern about locating the lawmakers in an (...) ontology of primitive subjunctive facts and suggest that a 'mixed' metaphysics to the lawmaker question might be attractive. (shrink)

This paper is the product of an interdisciplinary, interreligious dialogue aiming to outline some of the possibilities and rational limits of supernatural religious belief, in the light of a critique of David Hume’s familiar sceptical arguments -- including a rejection of his famous Maxim on miracles -- combined with a range of striking recent empirical research. The Humean nexus leads us to the formulation of a new ”Common-Core/Diversity Dilemma’, which suggests that the contradictions between different religious belief systems, (...) in conjunction with new understandings of the cognitive forces that shape their common features, persuasively challenge the rationality of most kinds of supernatural belief. In support of this conclusion, we survey empirical research concerning intercessory prayer, religious experience, near-death experience, and various cognitive biases. But we then go on to consider evidence that supernaturalism -- even when rationally unwarranted -- has significant beneficial individual and social effects, despite others that are far less desirable. This prompts the formulation of a ”Normal/Objective Dilemma’, identifying important trade-offs to be found in the choice between our humanly evolved ”normal’ outlook on the world, and one that is more rational and ”objective’. Can we retain the pragmatic benefits of supernatural belief while avoiding irrationality and intergroup conflict? It may well seem that rationality is incompatible with any wilful sacrifice of objectivity. But in a situation of uncertainty, an attractive compromise may be available by moving from the competing factions and mutual contradictions of ”first-order’ supernaturalism to a more abstract and tolerant ”second-order’ view, which itself can be given some distinctive intellectual support through the increasingly popular Fine Tuning Argument. We end by proposing a ”Maxim of the Moon’ to express the undogmatic spirit of this second-order religiosity, providing a cautionary metaphor to counter the pervasive bias endemic to the human condition, and offering a more cooperation- and humility-enhancing understanding of religious diversity in a tense and precarious globalised age. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)