Super-substantivalism (of the type we’ll consider) roughly comprises two core tenets: (1) the physical properties which we attribute to matter (e.g. charge or mass) can be attributed to spacetime directly, with no need for matter as an extraneous carrier “on top of” spacetime; (2) spacetime is more fundamental than (ontologically prior to) matter. In the present paper, we revisit a recent argument in favour of super-substantivalism, based on General Relativity. A critique is offered that highlights the difference between (various accounts (...) of) fundamentality and (various forms of) ontological dependence. This affords a metaphysically more perspicuous view of what super-substantivalism’s tenets actually assert, and how it may be defended. We tentatively propose a re-formulation of the original argument that not only seems to apply to all classical physics, but also chimes with a standard interpretation of spacetime theories in the philosophy of physics. (shrink)

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (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)

In this article I shall defend, against the conventional understanding of the matter, that two coherent and tenable approaches to time reversal can be suitably introduced in standard quantum mechanics: an “orthodox” approach that demands time reversal to be represented in terms of an anti-unitary and anti-linear time-reversal operator, and a “heterodox” approach that represents time reversal in terms of a unitary, linear time-reversal operator. The rationale shall be that the orthodox approach in quantum theories assumes a relationalist metaphysics of (...) time, according to which time reversal is nothing but motion reversal. But, when one shifts gears and turn to a substantivalist metaphysics of time the heterodox approach to time reversal in quantum mechanics comes up in a more natural way. (shrink)

Newton’s absolute pace-time view is the basis of his classical mechanics, and his description of relative motion is based on absolute space. However, the existence of this absolute space has been questioned by the academic circles. In order to defend its theoretical foundation, Newton established a famous bucket experiment to prove the existence of absolute space. But his experiment was also questioned, and the experiment is also divided into different opinions. This paper hopes to find the answer to the question (...) from Kantian perspective. (shrink)

Scientific properties come in degrees: elephants are more massive than mice. Are facts like these fundamental or can they be explained in other terms? This article argues that the structure of physical quantities like mass reduces to facts about the role that mass plays in the laws of nature. On this view elephants are more massive than mice partly in virtue of the fact that elephants are harder to throw around.

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment to (...) the quantity in question. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

According to substantivalism, spacetime points and regions are real entities whose existence is not dependent on matter. In this paper, I motivate and defend a version of substantivalism which takes the totality of spacetime as fundamental, and show how this position avoids certain problem cases, in particular the objection from static Leibniz shifts, and better conforms to how we think about space in physics. I argue that, even though the static Leibniz shifts do not show ordinary substantivalism is committed to (...) in-principle undetectable physical structure ), they do indicate something problematic about the modal profile of space-time and its constituents. While the problem is modal, the solution cannot be solely a matter of revising the substantivalist's modal claims. Rather, I argue, the substantivalist must revise her background ontology of space-time. I show how this can be done by developing substantivalist theory that rejects this picture in favor of an alternative ontology of space-time in the spirit of priority monism. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

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)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

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)

Sometimes, ignorance is inexpressible. Lewis recognized this when he argued, in “Ramseyan Humility,” that we cannot know which property occupies which causal role. This peculiar state of ignorance arises in a number of other domains too, including ignorance about our position in space and the identities of individuals. In these cases, one does not know something, and yet one cannot give voice to one's ignorance in a certain way. But what does the ignorance in these cases consist in? This essay (...) argues that many standard models of ignorance cannot account for the phenomenon of inexpressible ignorance. It then develops an alternative model that does better, on which the ignorance consists in a failure to identify something by way of its nature or essence. (shrink)

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

The argument from contingency for the existence of God is best understood as a request for an explanation of the total sequence of causes and effects in the universe (‘History’ for short). Many puzzles about how there could be such an explanation arise from the assumption that God is being introduced as one more cause prepended to the sequence of causes that (allegedly) needed explaining. In response to this difficulty, this chapter defends three theses. First, it argues that, if the (...) argument from contingency is to succeed, the explanation of History in terms of God must not be a causal explanation; second, that a particular hypothesis about God’s relation to History—that God is what I call the foundational ground of History—is intelligible and explanatory; third and finally, that the explanatory advantages of this hypothesis cannot be had within the confines of naturalism. (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)

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

In what sense does empty space feature in visual experience? In the first part of this essay I sketch a view advanced by Soteriou and Richardson on which one's visual awareness of empty space is explained by appeal to ‘structural’ features of the phenomenology of visual experience, in particular the phenomenology of experiencing one's visual field as bounded. I suggest that although this ‘structuralist’ view is silent on whether empty space has a phenomenal appearance, the very appeal to structural features (...) seems a natural foil to some such thought. In the second part, I outline a view on which it can be granted that empty space does, after all, have a phenomenal appearance and, so, is not best cast as a species of absence perception as the structuralist avows, at least on a certain construal of ‘absence perception’. After O'Shaughnessy , I contend that although some privations have a phenomenal appearance, ‘absence perception’ should single out the putative perception of phenomena that lack phenomenal reality. I finally consider how the descriptive phenomenology that the structuralist points to, and which I urge should be embraced, can nonetheless be reconciled with the view I spell out. (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)

Given four modest verificationist theses, tying the meaning of talk about instants and periods to the events which (physically) could occur during, before or after them, the only content to the claim the Universe had a beginning (applicable equally to chaotic or orderly universes) is in terms of it being preceded by empty time. It follows that time cannot have a beginning. The Universe, however, could have a beginning--even if it has lasted for an infinite time.

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

This paper develops and defends three related forms of relationism about spacetime against attacks by contemporary substantivalists. It clarifies Newton's globes argument to show that it does not bear on relations that fail to determine geodesic motions, since the inertial effects on which Newton relies are not simply correlated with affine structure, but must be understood in dynamical terms. It develops remarks by Sklar and van Fraassen into relational versions of Newtonian mechanics, and argues that Earman does not show them (...) to trivialize the debate. (shrink)

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

Discussions of the metaphysical status of spacetime assume that a spacetime theory offers a causal explanation of phenomena of relative motion, and that the fundamental philosophical question is whether the inference to that explanation is warranted. I argue that those assumptions are mistaken, because they ignore the essential character of spacetime theory as a kind of physical geometry. As such, a spacetime theory does notcausally explain phenomena of motion, but uses them to construct physicaldefinitions of basic geometrical structures by coordinating (...) them with dynamical laws. I suggest that this view of spacetime theories leads to a clearer view of the philosophical foundations of general relativity and its place in the historical evolution of spacetime theory. I also argue that this view provides a much clearer and more defensible account of what is entailed by realism concerning spacetime. (shrink)

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

In the recent philosophical debate about the relationship between symmetries and physical equivalence, two approaches have been distinguished: motivationalism and interpretationalism. In this paper, I point out that there are variants of interpretationalism that have not been taken into account by the proponents of motivationalism. I also argue that some of these overlooked variants of interpretationalism are not prone to the motivationalists’ criticism and overall are the most attractive positions available.

Philosophy Compass, Volume 17, Issue 10, October 2022.

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo’s ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. But (...) the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory—taken as mere descriptive redundancy—exhibit a similar relational empirical significance as the boosts of Galileo’s ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is ‘yes’, but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states. (shrink)

This paper scrutinises the tenability of a strict conceptual distinction between space and matter via the lens of the debate between modified gravity and dark matter. In particular, we consider Berezhiani and Khoury's novel 'superfluid dark matter theory' as a case study. Two families of criteria for being matter and being spacetime, respectively, are extracted from the literature. Evaluation of the new scalar field postulated by SFDM according to these criteria reveals that it is as much matter as anything could (...) possibly be, but alsoꟷbelow the critical temperature for superfluidityꟷas much spacetime as anything could possibly be. A sequel paper examines possible interpretations of SFDM in light of this result, as well as the consequences for our understanding of the modified gravity/ dark matter distinction and the broader spacetime–matter distinction. (shrink)

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

In this article I shall defend, against the conventional understanding of the matter, that two coherent and tenable approaches to time reversal can be suitably introduced in standard quantum mechanics: an “orthodox” approach that demands time reversal to be represented in terms of an anti-unitary and anti-linear time-reversal operator, and a “heterodox” approach that represents time reversal in terms of a unitary, linear time-reversal operator. The rationale shall be that the orthodox approach in quantum theories assumes a relationalist metaphysics of (...) time, according to which time reversal is nothing but motion reversal. But, when one shifts gears and turn to a substantivalist metaphysics of time the heterodox approach to time reversal in quantum mechanics comes up in a more natural way. (shrink)

The debate concerning the ontological status of spacetime is standardly construed as a dilemma between substantivalism and relationalism. I argue that a trilemma is more appropriate, emergent spacetime theories being the third category. Traditional philosophical arguments do not distinguish between emergent spacetime and substantivalism. It is arguments from physics that suggest giving up substantivalism in favour of emergent spacetime theories. The remaining new dilemma is between emergent spacetime and relationalism. I provide a list of questions, which one should consider when (...) discussing emergent spacetime theories, and apply them to a quantum superfluid toy model of emergent spacetime. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

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)

Any acceptable quantum gravity theory must allow us to recover the classical spacetime in the appropriate limit. Moreover, the spacetime geometrical notions should be intrinsically tied to the behavior of the matter that probes them. We consider some difficulties that would be confronted in attempting such an enterprise. The problems we uncover seem to go beyond the technical level to the point of questioning the overall feasibility of the project. The main issue is related to the fact that, in the (...) quantum theory, it is impossible to assign a trajectory to a physical object, and, on the other hand, according to the basic tenets of the geometrization of gravity, it is precisely the trajectories of free localized objects that define the spacetime geometry. The insights gained in this analysis should be relevant to those interested in the quest for a quantum theory of gravity and might help refocus some of its goals. (shrink)