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)

Quantum blobs are the smallest phase space units of phase space compatible with the uncertainty principle of quantum mechanics and having the symplectic group as group of symmetries. Quantum blobs are in a bijective correspondence with the squeezed coherent states from standard quantum mechanics, of which they are a phase space picture. This allows us to propose a substitute for phase space in quantum mechanics. We study the relationship between quantum blobs with a certain class of level sets defined by (...) Fermi for the purpose of representing geometrically quantum states. (shrink)

We use the notion of polar duality from convex geometry and the theory of Lagrangian planes from symplectic geometry to construct a fiber bundle over ellipsoids that can be viewed as a quantum-mechanical substitute for the classical symplectic phase space. The total space of this fiber bundle consists of geometric quantum states, products of convex bodies carried by Lagrangian planes by their polar duals with respect to a second transversal Lagrangian plane. Using the theory of the John ellipsoid we relate (...) these geometric quantum states to the notion of “quantum blobs” introduced in previous work; quantum blobs are the smallest symplectic invariant regions of the phase space compatible with the uncertainty principle. We show that the set of equivalence classes of unitarily related geometric quantum states is in a one-to-one correspondence with the set of all Gaussian wavepackets. We emphasize that the uncertainty principle appears in this paper as geometric property of the states we define, and is not expressed in terms of variances and covariances, the use of which was criticized by Hilgevoord and Uffink. (shrink)

Einstein claimed that the fundamental dynamical insight of special relativity was the equivalence of mass and energy. I disagree. Not only are mass and energy not equivalent but talk of such equivalence obscures the real dynamical insight of special relativity, which concerns the nature of 4-forces and interactions more generally. In this paper I present and defend a new ontology of special relativistic particle dynamics that makes this insight perspicuous and I explain how alleged cases of mass–energy conversion can be (...) accommodated within that ontology. (shrink)

Quantum Theory and Humeanism have long been thought to be incompatible due to the irreducibility of the correlations involved in entangled states. In this paper, we reconstruct the tension between Humeanism and entanglement via the concept of causal structure, and provide a philosophical introduction to the ER=EPR conjecture. With these tools, we then show how the concept of causal structure and the ER=EPR conjecture allow us to resolve the conflict between Humeanism and entanglement.

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem of (...) interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson’s nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these authors (...) suggested. Unlike Arntzenius’s proposal, it does not introduce regions with no interior. It also has a much richer measure theory than Russell’s proposal and does not retreat to mere finite additivity. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

This essay proposes a comprehensive blueprint for the hylomorphic foundations of cosmology. The key philosophical explananda in cosmology are those dealing with global processes and structures, the regularity of global regularities, and the existence of the global as such. The possibility of elucidating these using alternatives to hylomorphism is outlined and difficulties with these alternatives are raised. Hylomorphism, by contrast, provides a sound philosophical ground for cosmology insofar as it leads to notions of cosmic essence, the unity of complex essences, (...) and globally emergent properties. These are used as the basis to account for the aforementioned cosmological explananda and to resolve two problems in the philosophy of cosmology: the meta-law dilemma and the uniqueness of the universe. In summary, cosmology needs hylomorphism because it is able to ground cosmology’s efforts as a scientific inquiry. It can do so because hylomorphism philosophically accounts for changing substances and aggregates of substances, the various scales of law-governed behavior measured by the natures of those substances, and how those substances as parts relate to the universe as a whole. (shrink)

This essay proposes a comprehensive blueprint for the hylomorphic foundations of cosmology. The key philosophical explananda in cosmology are those dealing with global processes and structures, the regularity of global regularities, and the existence of the global as such. The possibility of elucidating these using alternatives to hylomorphism is outlined and difficulties with these alternatives are raised. Hylomorphism, by contrast, provides a sound philosophical ground for cosmology insofar as it leads to notions of cosmic essence, the unity of complex essences, (...) and globally emergent properties. These are used as the basis to account for the aforementioned cosmological explananda and to resolve two problems in the philosophy of cosmology: the meta-law dilemma and the uniqueness of the universe. In summary, cosmology needs hylomorphism because it is able to ground cosmology’s efforts as a scientific inquiry. It can do so because hylomorphism philosophically accounts for changing substances and aggregates of substances, the various scales of law-governed behavior measured by the natures of those substances, and how those substances as parts relate to the universe as a whole. (shrink)

The interactivist model has explored a number of consequences of process metaphysics. These include reversals of some fundamental metaphysical assumptions dominant since the ancient Greeks, and multiple further consequences throughout the metaphysics of the world, minds, and persons. This article surveys some of these consequences, ranging from issues regarding entities and supervenience to the emergence of normative phenomena such as representation, rationality, persons, and ethics.

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

In physics, objects are often assigned vector characteristics such as a specific velocity. How can this be understood from a metaphysical point of view – is assigning an object a vector characteristic to attribute it an intrinsic property? As a short review of Newtonian, special relativistic and general relativistic physics shows, if we wish to assign some object a vector characteristic, we have to relate it to something – call it S. If S is to be different from the original (...) object – and I argue for this assumption – then having the specific vector characteristic is not an intrinsic property under different readings of “intrinsic”. For instance, I argue that lonely objects with different orientations do not constitute metaphysically distinct possibilities. There are, however, difficulties in applying the loneliness test, and they concern the role of the space‐time. (shrink)

Contrary to widely shared opinion in analytic metaphysics, E.J. Lowe argues against the existence of relations in his posthumously published paper There are probably no relations (2016). In this article, I assess Lowe’s eliminativist strategy, which aims to show that all contingent “relational facts” have a monadic foundation in modes characterizing objects. Second, I present two difficult ontological problems supporting eliminativism about relations. Against eliminativism, metaphysicians of science have argued that relations might well be needed in the best a posteriori (...) motivated account of the structure of reality. Finally, I argue that, by analyzing relational inherence, trope theory offers us a completely new approach to relational entities and avoids the hard problems motivating eliminativism. (shrink)

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim to affirm (...) the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)

This book argues that a plausible account of emergence requires replacing the traditional assumption that what primarily exists are particular entities with generic processes. Traversing contemporary physics and issues of identity over time, it then proceeds to develop a metaphysical taxonomy of emergent entities and of the character of human life.

There are many controversial theses about intrinsicness and duplication. The first aim of this paper is to introduce a puzzle that shows that two of the uncontroversial sounding ones can’t both be true. The second aim is to suggest that the best way out of the puzzle requires sharpening some distinctions that are too frequently blurred, and adopting a fairly radical reconception of the ways things are.

What ontology does realism about the quantum state suggest? The main extant view in contemporary philosophy of physics is wave-function realism . We elaborate the sense in which wave-function realism does provide an ontological picture, and defend it from certain objections that have been raised against it. However, there are good reasons to be dissatisfied with wave-function realism, as we go on to elaborate. This motivates the development of an opposing picture: what we call spacetime state realism , a view (...) which takes the states associated to spacetime regions as fundamental. This approach enjoys a number of beneficial features, although, unlike wave-function realism, it involves non-separability at the level of fundamental ontology. We investigate the pros and cons of this non-separability, arguing that it is a quite acceptable feature, even one which proves fruitful in the context of relativistic covariance. A companion paper discusses the prospects for combining a spacetime-based ontology with separability, along lines suggested by Deutsch and Hayden. (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.

My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of this approach is that the models of a given physical phenomenon can present different aspects of the phenomenon. This allows us, in certain special circumstances, to be confident that we are capturing genuine features of the world, even when our modeling occurs independently of a wholly theoretical motivation. This framework is illustrated (...) using a recent debate from meteorology. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

This paper investigates the use of theories of mechanics to provide answers to questions in the metaphysics of spatial location and persistence. Investigating spatial location, I find that in classical physics bodies pertend the region of space at which they are exactly located, while a quantum system spans a region at which it is exactly located. Following this analysis, I present a ‘no-go’ result which shows that quantum mechanics restricts the available options for locational persistence theories in an interesting way: (...) it demonstrates that the spatiotemporal path of a persisting thing is discrete in time. This leads to unpalatable consequences for both perdurantists and endurantists. In particular, I argue that Butterfield's ‘anti-pointilliste’ perdurantism is ruled out, and show that endurantists relying on immanent causation run into trouble. I conclude by suggesting the revival of Whitehead's alternative mode of persistence called ‘reiteration.’. (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.

Consensus in the contemporary philosophical literature has it that conserved quantity theories of causation such as that of Dowe [2000]—according to which causation is to be analysed in terms of the exchange of conserved quantities (e.g., energy)—face damning problems when confronted with contemporary physics, where the notion of conservation becomes delicate. In particular, in general relativity it is often claimed that there simply are no conservation laws for (say) total-stress energy. If this claim is correct, it is difficult to see (...) how conserved quantity theories of causation could survive. In this article, we resist the above consensus and defend conserved quantity theories from this conclusion, at least when focusing on the apparent problems posed by general relativity. We argue that this approach to causation can continue to be defended in general relativity, once one appreciates (a) the availability of approximate symmetries in generic general relativistic spacetimes, and (b) the role of modelling and idealisation in that theory. Given these points, conserved quantity theories of causation must stand or fall on other grounds. (shrink)

Branching space-times (BST; Belnap, Synthese 92:385–434, 1992 ) is the most advanced formal framework for representing indeterminism. BST is however based on continuous partial orderings, while our natural way of describing indeterministic scenarios may be called discrete. This paper establishes a theorem providing a discrete data format for BST: it is proved that a discrete representation of indeterministic scenarios leading to BST models is possible in an important subclass of cases. This result enables the representation of limited indeterminism in BST (...) and hopefully paves the way for the representation of substances with capacities in that framework. (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)

This paper addresses a famous objection against David Lewis’s Best System Analysis (BSA) of laws of nature. The objection—anticipated and discussed by Lewis (1994)—focuses on the standards of simplicity and strength being (in part) a matter of psychology. Lewis’s answer to the objection relies on his metaphysics of natural properties and its ability to single out the robustly best system, a system that is expected to come out far ahead of its rivals under any standard of simplicity and strength. The (...) main task of this paper is to argue that Lewis’s reply to the objection in terms of nature being kind to us does not succeed, if nature’s kindness is understood in terms of the naturalness of the properties composing the Humean mosaic. For epistemic access to natural properties is downstream to any previous identification of the best system. A possible Lewisian rejoinder in terms of a cross-world Humean mosaic of natural properties is considered and rebutted. The paper concludes by suggesting that Lewis could instead avail himself of a better answer to the objection, if the standards of simplicity and strength were reinterpreted along perspectivalist lines. (shrink)

In his paper Bare Particulars, T. Sider claims that one of the most plausible candidates for bare particulars are spacetime points. The aim of this paper is to shed light on Sider’s reasoning and its consequences. There are three concepts of spacetime points that allow their identification with bare particulars. One of them, Moderate structural realism, is considered to be the most adequate due its appropriate approach to spacetime metric and moderate view of mereological simples. However, it pushes the Substratum (...) theory to dismiss primitive thisness as the only identity condition for bare particulars, but the paper argues that such elimination is a legitimate step. (shrink)

Can Bradley's Regress be solved by positing relational tropes as truth-makers? No, no more than Russell's paradox can be solved by positing Fregean extensions. To call a trope relational is to pack into its essence the relating function it is supposed to perform but without explaining what Bradley's Regress calls into question, viz. the capacity of relations to relate. This problem has been masked from view by the (questionable) assumption that the only genuine ontological problems that can be intelligibly raised (...) are those that can be answered by providing a schedule of truthmakers. (shrink)

There are three different degrees to which we may allow a systematic theory of the world to embrace the idea of relatedness—supposing realism about non-symmetric relations as a background requirement. (First Degree) There are multiple ways in which a non-symmetric relation may apply to the things it relates—for the binary case, aRb ≠ bRa. (Second Degree) Every such relation has a distinct converse—for every R such that aRb there is another relation R* such that bR*a. (Third Degree) Each one of (...) them applies in an order to the things it relates—with regard to the state that results from R's applying to a and b, either R applies to a first and b second, or it applies to b first and a second. Whereas the first degree is near-indubitable, embracing the second or third generates unwholesome consequences. The second degree embodies a commitment to the existence of a superfluity of distinct converses and states to which such relations give rise. The third degree embodies commitment to recherché facts of the matter about how the states that arise from the application of one non-symmetric relation compare to any other. It is argued that accounts that purport to offer an analysis of the first degree generate unwelcome second or third degree consequences. This speaks in favour of our adopting an account of the application of relations that's not an analysis at all, an account that takes the first degree as primitive. (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)

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)

Most recently Smart and Thébault revived an almost forgotten debate between Katzav and Ellis on the compatibility of Hamilton’s Principle with Dispositional Essentialism. Katzav’s arguments inter alia aim to show that HP presupposes a kind of metaphysical contingency which is at odds with the basic tenets of DE, and offers explanations of a different type and direction from those given by DE. In this paper I argue that though dispositional essentialists might adequately respond to these arguments, the question about the (...) compatibility of HP with DE has not been answered yet; therefore, dispositional essentialists have not yet provided an illuminating DE-friendly metaphysical account of HP. (shrink)

We consider to what extent the fundamental question of spacetime singularities is relevant for the philosophical debate about the nature of spacetime. After reviewing some basic aspects of the spacetime singularities within general relativity, we argue that the well known difficulty to localize them in a meaningful way may challenge the received metaphysical view of spacetime as a set of points possessing some intrinsic properties together with some spatiotemporal relations. Considering the algebraic formulation of general relativity, we argue that the (...) spacetime singularities highlight the philosophically misleading dependence on the standard geometric representation of spacetime. †To contact the author, please write to: Department of Philosophy, University of Lausanne, CH-1015 Lausanne, Switzerland; e-mail: [email protected]. (shrink)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (shrink)

This paper addresses arguments that “separability” is an assumption of Bell’s theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as “holism”) will allow us to restore a satisfying locality principle. Separability here means that all events associated to the union of some set of disjoint regions are combinations of events associated to each region taken separately.In this article, it is shown that: (a) localised events can be consistently defined without implying separability; (...) (b) the definition of Bell’s locality condition does not rely on separability in any way; (c) the proof of Bell’s theorem does not use separability as an assumption. If, inspired by considerations of non-separability, the assumptions of Bell’s theorem are weakened, what remains no longer embodies the locality principle. Teller’s argument for “relational holism” and Howard’s arguments concerning separability are criticised in the light of these results. Howard’s claim that Einstein grounded his arguments on the incompleteness of QM with a separability assumption is also challenged. Instead, Einstein is better interpreted as referring merely to the existence of localised events. Finally, it is argued that Bell rejected the idea that separability is an assumption of his theorem. (shrink)

Possession of any actual physical property depends on the ambient conditions for its bearers, irrespective of one's particular theory of dispositions. If 'self-sufficiency' makes a property intrinsic, then, because of this dependence, things in the actual world cannot have an intrinsic physical resemblance to one another or to things in other possible worlds. Criteria for the self-sufficiency of intrinsic properties based on, or implying indifference to both 'loneliness' and 'accompaniment' entail that no self-sufficient property can require its bearers to be (...) extended in space or time, yet all physical properties of concrete objects do require this. These outcomes undermine the vindication of physicalism claimed by neo-Humeans for their metaphysical project. For physical properties dependent on ambient conditions cannot supervene on intrinsic properties independent of ambient conditions: when ambient conditions change we get a change in the former without a change in the latter. (shrink)

This paper critically assesses whether quantum entanglement can be made compatible with Humean supervenience. After reviewing the prima facie tension between entanglement and Humeanism, I outline a recently-proposed Humean response, and argue that it is subject to two problems: one concerning the determinacy of quantities, and one concerning its relationship to scientific practice.

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

I argue that the metaphysical import of the Aharonov-Bohm effect has been overstated: correctly understood, it does not require either rejection of gauge invariance or any novel form of nonlocality. The conclusion that it does require one or the other follows from a failure to keep track, in the analysis, of the complex scalar field to which the magnetic vector potential is coupled. Once this is recognised, the way is clear to a local account of the ontology of electrodynamics ; (...) I sketch a possible such account. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. Elsewhere, I argued against pointillisme about chrono-geometry, and about velocity in classical mechanics. In both cases, attention focussed on temporal extrinsicality: (...) i.e. on what an ascription of a property implies about other times. Therefore, I also discussed the metaphysical debate whether persistence should be understood as endurance or perdurance. In this paper, I focus instead on spatial extrinsicality: i.e. on what an ascription of a property implies about other places. The main idea will be that the classical mechanics of continuous media involves a good deal of spatial extrinsicality---which seems not to have been noticed by philosophers, even those who have no inclination to pointillisme. I begin by describing my wider campaign. Then I present some elementary aspects of stress, strain and elasticity---emphasising the kinds of spatial extrinsicality they each involve. I conduct the discussion entirely in the context of `Newtonian' ideas about space and time. But my arguments carry over to relativistic physics. (shrink)

I discuss three connections between Dummett's writings about time and philosophical aspects of physics. The first connection arises from remarks of Dummett's about the different relations of observation to time and to space. The main point is uncontroversial and applies equally to classical and quantum physics. It concerns the fact that perceptual processing is so rapid, compared with the typical time-scale on which macroscopic objects change their observable properties, that it engenders the idea of a `common now', spread across space. (...) The other two connections are specific to quantum theory, as interpreted along the lines of Everett. So for these two connections, the physics side is controversial, just as the philosophical side is. In Section 3, I connect the subjective uncertainty before an Everettian `splitting' of the multiverse to Dummett's suggestion, inspired by McTaggart, that a complete, i.e. indexical-free description of a temporal reality is impossible. And in Section 4, I connect Barbour's denial that time is real---a denial along the lines of Everett, rather than McTaggart---to Dummett's suggestion that statements about the past are not determinately true or false, because they are not effectively decidable. (shrink)