The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

Thing ontologies are ontologies that consider the universe to be made up of a plurality of discrete objects. Non-thing ontologies can take the form of ontologies of discrete objects, too, but not necessarily so: they can also be conceived as ontologies of one continuous object. The paper considers the central versions of ontologies of discrete objects first, starting with thing ontologies, moving from there to non-thing ontologies of discrete objects and finally ontologies of one continuous object.

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

The paper presents a program to construct a non-relativistic relational Bohmian theory, that is, a theory of N moving point-like particles that dispenses with space and time as fundamental background structures. The relational program proposed is based on the best-matching framework originally developed by Julian Barbour. In particular, the paper focuses on the conceptual problems that arise when trying to implement such a program. It is argued that pursuing a relational strategy in the Bohmian context leads to a more parsimonious (...) ontology than that of standard Bohmian mechanics without betraying the original motivations for adopting a primitive ontology approach to quantum physics. It is also shown how a relational Bohmian approach might clarify the issue of the timelessness of the dynamics resulting from the quantization of a classical relational system of particles. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

This article introduces Harvey Brown and Oliver Pooley’s ‘dynamical approach’ to special relativity, and argues that it may be construed as a relationalist form of Einstein’s ‘practical geometry’. This construal of the dynamical approach is shown to be compatible with related chapters of Brown’s text and also with recent descriptions of the dynamical approach by Pooley and others.

ABSTRACT It has recently been argued that Harvey Brown and Oliver Pooley’s ‘dynamical approach’ to special relativity should be understood as what might be called an ontologically and ideologically relationalist approach to Minkowski geometry, according to which Minkowski geometrical structure supervenes upon the symmetries of the best-systems dynamical laws for a material world with primitive topological or differentiable structure. Fleshing out the details of some such primitive structure, and a conception of laws according to which Minkowski geometry could so supervene, (...) has been referred to by some as the ‘constructivist project’. Here, it is explained that Nick Huggett’s work on ‘regularity relationalism’ provides a framework for such an approach, and a relativistic version of Huggett’s regularity relationalism is outlined for that purpose. Finally, by way of examples, it is shown that this approach fails in the simplest cases. Still, reasons are given for which this should not necessarily discourage an advocate of this interpretation of the dynamical approach. 1 Introduction to the Dynamical Approach 2 Huggett’s Regularity Relationalism 3 The Dynamical Approach as a Form of Regularity Relationalism 4 A Simple Way to Set the Stage 5 A First Attempt 5.1 Complex-valued planewave solutions 5.2 Real-valued planewave solutions 6 More General Solutions 7 Summary and Reflections. (shrink)

In Geometric Possibility, Gordon Belot focuses on one particular aspect of the well-known substantivalist–relationalist debate. As the title suggests, he explo.

Sklar ([1974]) claimed that relationalism about ontology-the doctrine that space and time do not exist-is compatible with Newtonian mechanics. To defend this claim he sketched a relationalist interpretation of Newtonian mechanics. In his interpretation, absolute acceleration is a fundamental, intrinsic property of material bodies; that a body undergoes absolute acceleration does not entail that space and time exist. But Sklar left his proposal as just a sketch; his defense of relationalism succeeds only if the sketch can be filled in. I (...) argue that this cannot be done. There can be no (relationalist) dynamical laws of motion based on Sklar's proposal that capture the content of Newton's theory. So relationalists must look elsewhere for a relationalist interpretation of Newtonian mechanics. (shrink)

The primitive ontology approach to quantum mechanics seeks to account for quantum phenomena in terms of a distribution of matter in three-dimensional space and a law of nature that describes its temporal development. This approach to explaining quantum phenomena is compatible with either a Humean or powerist account of laws. In this paper, I offer a powerist ontology in which the law is specified by Bohmian mechanics for a global configuration of particles. Unlike in other powerist ontologies, however, this law (...) is not grounded in a structural power that is instantiated by the global configuration. Instead, I combine the primitive ontology approach with Aristotle’s doctrine of hylomorphism to create a new metaphysical model, in which the cosmos is a hylomorphic substance with an intrinsic power to choreograph the trajectories of the particles. (shrink)

Humean Supervenience is the view that (a) there are a plurality of fundamental beings, (b) there are no inexplicable constraints on modal space, and hence the fundamental nature of each such being is independent of those of all the rest and of the fundamental relations in which it stands to the rest, (c) the fundamental beings stand in no fundamental causal or nomic relations, and hence (d) the distribution of any causal or nomic relations in which they do stand globally (...) supervenes on their fundamental natures and the non‐nomic, non‐causal fundamental relations in which they stand. If Humean Supervenience is true, then as A.J. Ayer put it, it's just one damn thing after another. Radical Pluralism is the view that Humean Supervenience is true, and, moreover, that none of the fundamental beings stands in any fundamental relations at all. If Radical Pluralism is true, then, as William James puts it, the world's pieces are held together by nothing more than conjunction: it's just one damn thing and another. I argue that Radical Pluralism is very likely true, conditional upon Humean Supervenience. Any philosopher pluralist enough to be Humean ought to be radically pluralistic. (shrink)

We explore the significance of physical theories set in Euclidean spacetimes. In particular, we explore the use of these theories in contemporary physics at large, and the sense in which there can be a notion of temporal evolution in these theories. Having achieved these tasks, we proceed to reflect on the lessons that one can take from such theories for Knox’s ‘inertial frame’ version of spacetime functionalism, which seems to issue incorrect verdicts in the case of theories with Euclidean metrical (...) structure. (shrink)

This paper argues that all of the standard theories about the divisions of space and time can benefit from, and may need to rely on, parsimony considerations. More specifically, whether spacetime is discrete, gunky or pointy, there are wildly unparsimonious rivals to standard accounts that need to be resisted by proponents of those accounts, and only parsimony considerations offer a natural way of doing that resisting. Furthermore, quantitative parsimony considerations appear to be needed in many of these cases.

ABSTRACT Let wF, wC+, and wC− be three distinct worlds, each of which contains only a single point-sized material particle, and in each of which spacetime is: uniformly flat, constantly positively curved, and constantly negatively curved, respectively. By the relationist’s lights, these worlds seem to be qualitatively identical. Nevertheless, for each world, there are propositions concerning possible arrangements of material points that are true in that world, but false in the other two. I argue that, surprisingly, the relationist can ground (...) these differences in the distinct non-modal and intrinsic relations that are instantiated in each of wF, wC+, and wC–. (shrink)

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

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

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

Comparativism—the view that mass ratios are not grounded in absolute masses—faces a challenge by Baker which suggests that absolute masses are empirically meaningful. Regularity comparativism uses a liberalized version of the Mill-Ramsey-Lewis Best Systems Account to have both the laws of Newtonian gravity and the absolute mass scale supervene on a comparativist Humean mosaic as a package deal. I discuss three objections to this view and conclude that it is untenable. The most severe problem is that once we have reduced (...) away the absolute masses, there is nothing that stops us from also reducing the mass ratios. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

The paper provides a critical discussion of the Super-Humean view of spacetime and the “minimalist ontology” in terms of Leibnizian relations and primitive matter points, recently developed by Esfeld et al. It investigates, in particular, the empirical adequacy of the proposed metaphysics, arguing that Super-Humeanism cannot provide a plausible account of space and time without committing to bona fide geometric structure in the fundamental relations. Against this backdrop, I propose a moderate version of Super-Humeanism and discuss its possible application to (...) Euclidean space and General Relativity. (shrink)

Super-Humeanism is an even more parsimonious ontology than Lewisian standard Humean metaphysics in that it rejects intrinsic properties. There are point objects, but all there is to them are their relative positions and the change of them. Everything else supervenes on the Humean mosaic thus conceived. Hence, dynamical parameters come in on a par with the laws through their position in the best system. The paper sets out how Super-Humeanism has the conceptual means to reject van Inwagen’s consequence argument not (...) by taking the laws to depend on us, but by taking the initial values of the dynamical parameters that enter into the laws to be dependent on the motions that actually occur in the universe, including the motions of human bodies. The paper spells out the advantages of this proposal. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the primitive (...) stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (shrink)

This paper seeks to answer the following question: What is a minimal set of entities that form an ontology of the natural world, given our well-established physical theories? The proposal is that the following two axioms are sufficient to obtain such a minimalist ontology: There are distance relations that individuate simple objects, namely matter points. The matter points are permanent, with the distances between them changing. I sketch out how one can obtain our well-established physical theories on the basis of (...) just these two axioms. The argument for minimalism in ontology then is that it yields all the explanations that one can reasonably demand in science and philosophy, while avoiding the drawbacks that come with a richer ontology. (shrink)

This paper seeks to answer the following question: What is a minimal set of entities that form an ontology of the natural world, given our well-established physical theories? The proposal is that the following two axioms are sufficient to obtain such a minimalist ontology: (1) There are distance relations that individuate simple objects, namely matter points. (2) The matter points are permanent, with the distances between them changing. I sketch out how one can obtain our well-established physical theories on the (...) basis of just these two axioms. The argument for minimalism in ontology then is that it yields all the explanations that one can reasonably demand in science and philosophy, while avoiding the drawbacks that come with a richer ontology. (shrink)

In this paper, we put forward an alternative interpretation of time-reversal symmetry in philosophy of physics: Humean time-reversal symmetry. According to it, time-reversal symmetry is understood as a heuristic, epistemic virtue of the best system, not as a property of the Humean mosaic. One of the consequences of this view is that one of the main arguments against a primitive direction of time is rendered harmless, which paves the way for primitivism about the direction of time.

The four principal competing substance ontologies are substratum theory, bundle theory, primitive substance theory, and hylomorphism. Both historically and in the recent literature, most arguments pertaining to these four theories have been developed under the assumption that only one of them can be true. However there is room in this debate for various forms of pluralism: mild pluralism here refers to the view that while only one of these four theories is true of our world, there is at least one (...) other possible world in which a different substance ontology obtains; moderate pluralism refers to the view that while only one of these four theories is true of our world, there is at least one other possible world in which multiple substance ontologies obtain ; and extreme pluralism refers to the view that our own actual world contains substances belonging to different substance ontologies. In this paper I lay out a novel argument for a version of extreme pluralism. (shrink)

Panentheism is among the most influential variations on classical theism found within nineteenth and twentieth century theology, a prominent perspective in the recent religion and science dialogue, and is increasing in prominence within analytic philosophy of religion. Existing works on the history of panentheism understandably focus primarily on proponents of the view and their arguments in its favor. Less attention has been given to the history of arguments against it, and in particular little has been written on mediaeval Scholastic critiques. (...) Here, I summarize the criticisms leveled by an important thirteenth-century Franciscan, Alexander of Hales. I also assess the enduring value of his critique, arguing that it helps bring to the fore the importance of panentheism’s link with a further metaphysical debate: that between spacetime relationism versus substantivalism. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (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.

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.

I examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the hole argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an (...) investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists. 1 Introduction2 The Hole Argument3 Limits of Spacetimes4 Pointless Constructions5 The Debate between Substantivalists and Relationalists6 Existence and Physicality: An Embarassment of Spacetime Structures7 Valedictory Remarks on Realism and Instrumentalism, and the Structure of Our Knowledge of Physics. (shrink)

Is the quantum state part of the furniture of the world? Einstein found such a position indigestible, but here I present a different understanding of the wavefunction that is easy to stomach. First, I develop the idea that the wavefunction is nomological in nature, showing how the quantum It or Bit debate gets subsumed by the corresponding It or Bit debate about laws of nature. Second, I motivate the nomological view by casting quantum mechanics in a “classical” formalism (Hamilton–Jacobi theory) (...) and classical mechanics in a “quantum” formalism (Koopman–von Neumann theory) and then comparing and contrasting classical and quantum wave functions. I argue that Humeans about laws can treat classical and quantum wave functions on a par and that doing so yields many benefits. (shrink)

ABSTRACT I explore the viability of a Galilean relational theory of space-time—a theory that includes a three-place collinearity relation among its stock of basic relations. Two formal results are established. First, I prove the existence of a class of dynamically possible models of Newtonian mechanics in which collinearity is uninstantiated. Second, I prove that the dynamical properties of Newtonian systems fail to supervene on their Galilean relations. On the basis of these two results, I argue that Galilean relational space-time is (...) too weak of a structure to support a relational interpretation of classical mechanics. 1.Introduction 2.Completeness 3.Leibnizian Relationalism 4.Galilean Relationalism 5.Inverse-Cube Force Laws 5.1Warm-up 5.2Model 1: Zero angular momentum 5.3Model 2: Non-zero angular momentum 6.Supervenience 7.Incompleteness 8.Conclusion. (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)

Prominently, Norton argues against constructivism about spacetime theories, the doctrine that spatiotemporal structure in the dynamics only has derivative status. Among other things, he accuses Brown and Pooley's dynamical approach to special relativity of being merely half-way constructivist: setting up relativistic fields as presupposed in the dynamical approach to special relativity already requires spatiotemporal background structure. We first assess a recent solution proposal by Menon and then provide our very own defense of constructivism along two independent lines.

The purpose of this paper is twofold: a) to explore the compatibility of Minkowski’s space-time representation of the Special theory of relativity with a dynamic conception of space-time; b) to locate its roots in invariant features - like entropic relations - of the propagation of signals in space-time. From its very beginning Minkowski’s four-dimensional space-time was associated with a static view of reality, e.g. a block universe. Einstein added his influential voice to this conception when he wrote: ‘From a “happening” (...) in three-dimensional space, physics becomes (…) an “existence” in the four-dimensional “world”.’ (Einstein, Relativity 1920, 122) Yet it is by no means clear that Minkowski himself was a believer in the block universe. In his 1908 Cologne lecture on ‘Space and Time’ he speaks of a four-dimensional physics but concedes that a ‘necessary’ time order can be established at every world point. Although the conception of the block universe has gained much currency, an alternative view has been in circulation since the 1910s according to which the trajectories of particles constitute histories in space-time. (Robb 1914, Cunningham 1915, Carathéodorys 1924, Schlick 1917, Reichenbach 1924). (shrink)

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (shrink)

The paper uses the concept of typicality to spell out an argument against Humean supervenience and the best system account of laws. It proves that, in a very general and robust sense, almost all possible Humean worlds have no Humean laws. They are worlds of irreducible complexity that do not allow for any systematization. After explaining typicality reasoning in general, the implications of this result for the metaphysics of laws are discussed in detail.

The paper argues for a metaphysics in the vein of the Canberra plan, namely to single out a minimal, basic set of entities and then to show how everything else is located in that set by being identical with something in that set and how the propositions that describe the basic entities entail all the other true propositions. The paper conceives the Canberra plan for the domain of the natural sciences as a naturalized metaphysics that is not committed to a (...) priori entailment. The proposal is that the minimal set of entities is defined by the following two axioms: There are distance relations that individuate simple objects, namely matter points. The matter points are permanent, with the distances between them changing. Finally, the paper explains how the Canberra plan sets a clear standard for ontological issues that go beyond the natural sciences. (shrink)

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

We set out a fundamental ontology of atomism in terms of matter points. While being most parsimonious, this ontology is able to match both classical and quantum mechanics, and it remains a viable option for any future theory of cosmology that goes beyond current quantum physics. The matter points are structurally individuated: all there is to them are the spatial relations in which they stand; neither a commitment to intrinsic properties nor to an absolute space is required. The spatial relations (...) change. All that is needed to capture change is a dynamical structure, namely dynamical relations as expressed in terms of the dynamical parameters of a physical theory. (shrink)