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)

Many familiar forms of property realism identify properties with sui generis ontological categories like universals or tropes and posit a fundamental instantiation relation that unifies objects with their properties. In this paper, I develop and defend locationism, which identifies properties with locations and holds that the occupation relation that unifies objects with their locations also unifies objects with their properties. Along with the theoretical parsimony that locationism enjoys, I argue that locationism resolves a puzzle for actualists regarding the ontological status (...) of uninstantiated properties. I also note some promising applications of the locationist framework to the metaphysics of quantities and possible worlds. (shrink)

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)

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)

The Hole Argument was originally formulated by Einstein and it haunted him as he struggled to understand the meaning of spacetime coordinates in the context of the diffeomorphism invariance of general relativity. This argument has since been put to philosophical use by Earman and Norton to argue against a substantival conception of spacetime. In the present work I demonstrate how Earman and Norton’s Hole Argument can be extended to exclude everything and not merely substantival manifolds. These casualties of the hole (...) demonstrate that the Hole Argument hinges essentially on our notion of determinism and not on the diffeomorphic freedom of general relativity. Just as Earman and Norton argue that we should not let our metaphysics run roughshod over the structure of our physical theories, so I will argue that, in particular, we should not uncritically allow our metaphysics to dictate what our physical theories must determine. The central conviction which drives the arguments of this paper is that deterministic theories are not required to determine for future moments what they cannot determine for any present or past moments. I provide two arguments to the effect that a physically informed notion of determinism does not require general relativity to determine substantival facts. Consequently the Hole Argument cannot be used against substantival spacetime. The position that I advocate is an instance of “sophisticated determinism.”. (shrink)

Mundy (1983) presented the formal apparatus of certain relationist theories of space and space-time taking quantitative relations as primitive. The present paper discusses the philosophical and physical interpretation of such theories, and replies to some objections to such theories and to relationism in general raised in Field (1985). Under an appropriate second-order naturalistic Platonist interpretation of the formalism, quantitative relationist theories are seen to be entirely comparable to spatialist ones in respect of the issues raised by Field. Moreover, it appears (...) that even if accepted as sound, Field's general line of criticism would not diminish the significance of relationism for philosophy of science, since this derives primarily from its connection to physical rather than to mathematical or philosophical ontology. (shrink)

This article deals with empty spacetime and the question of its physical reality. By “empty spacetime” we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric objects—themselves intrinsic to the concept of field—might be observable through some physical test. By taking quantum-mechanical notions into account, we challenge the negative conclusion drawn from the diffeomorphism invariance postulate of general relativity, and we propose new foundational ideas regarding the possible (...) observation—as well as conceptual overthrow—of this geometric ether. (shrink)

Intrinsicality is a central notion in metaphysics that can do important work in many areas of philosophy. It is not widely appreciated, however, that there are in fact a number of different notions of intrinsicality, and that these different notions differ in what work they can do. This paper discusses what these notions are, describes how they are related to each other, and argues that each of them can be analysed in terms of a single notion of intrinsic aboutness that (...) relates states of affairs to the things they are intrinsically about. (shrink)

In this article I subject to criticism Field's argument, according to which field theory takes space-time to be substance since it ascribes field properties to space-time points. There is petitio principii error made in this reasoning because Field does not give any justification for his controversial assumption that fields are properties of space-time points. What is more, I suggest, Field's interpretation of field theory is incompatible with the way this theory is understood and utilized by its users, namely scientists. My (...) criticism is based on the assumption that one cannot propose an ontology of a given scientific theory, at the same time imposing on it an interpretation which clashes with the interpretation current among its users. I also suggest that in order to establish the ontology of a scientific theory one should also take into account the way it has been constructed. According to this criterion, field theory does indeed take space-time to be a substance. (shrink)

According to Minkoswki, Einstein's special theory of relativity reveals that ‘space by itself, and time by itself are doomed to fade away into mere shadows’. But perceptual experience represents objects as instantiating shapes like squareness — properties of ‘space by itself’. Thus, STR seems to threaten the veridicality of shape experience. In response to this worry, some have argued that we should analyze the contents of our spatial experiences on the model of traditional secondary qualities. On this picture—defended in recent (...) work by Chalmers —an experience of squareness just represents whatever property usually causes such experiences. This view salvages the veridicality of shape experience, but leaves the nature of the properties we perceive outside our ken. I argue that such a move is unwarranted: STR is compatible with the idea that shape experience acquaints us with the spatial character of our world. In defending this claim, I propose a view on which shape experience presents familiar Euclidean spatial properties veridically, while implicitly representing those properties as instantiated in a particular manner — namely, relative to our own frame of reference. (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.

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 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)

We should see the debate over the existence of spacetime as a debate about the fundamentality of spatiotemporal structure to the physical world. This is a non-traditional conception of the debate, which captures the spirit of the traditional one. At the same time, it clarifies the point of contention between opposing views and offsets worries that the dispute is stagnant or non-substantive. It also unearths a novel argument for substantivalism, given current physics. Even so, that conclusion can be overridden by (...) future physics. I conclude that this debate is a substantive one, which the substantivalist is currently winning. (shrink)

The paper discusses the properties of spacetime we recognize by analyzing the phenomenon of motion. Problems of special interest are the spacetime symmetries, the spacetime structures and the ontological status of spacetime. These problems are considered on the grounds of the classical theories of motion contained in Newtonian physics, special and general theory of relativity. The controversy between an absolute and a relational conception of motion and its ontological implications are also analyzed.

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...) believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)