It is common ground among proponents and detractors of wavefunction realism that the view ‘privileges position’, in the sense that it arbitrarily singles out one among a continuum infinity of wavefunction representations as characterizing the fundamental field: the position representation. This paper shows that, properly understood, wavefunction realism does not involve such an arbitrary choice. First, I argue that, though each wavefunction representation gives rise to a different version of wavefunction realism, the difference between these theories amounts to a mere (...) haecceitistic difference. Second, I argue that wavefunction realists should reconceive of their view as a role-based thesis that is silent about the relevant haecceitistic differences. (shrink)

The paper explores a particular line of objection against wave-function realism. This view, advocated by Bell and presently defended by Albert, North and Ney, claims tha...

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with first-order (...) quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

Metaphysical indeterminacy in the context of quantum mechanics is often motivated by the eigenstate-eigenvalue link. However, the sparse view of Glick illustrates why it has no such implications. Other links connecting quantum states and property ascriptions—such as those associated with the GRW theory—may introduce indeterminacy, but such indeterminacy may be viewed as merely representational and is susceptible to familiar treatments of vagueness. Thus, I contend that such links fail to provide a compelling motivation for quantum metaphysical indeterminacy.

Modern particle physics suggests an intriguing vision of physical reality: we are to imagine the symmetries of the world as fundamental, whereas the material constituents of the world are ontologically derivative of them. This paper develops a novel ontology for non-relativistic quantum mechanics which gives precise metaphysical content to this vision.

Quantum entanglement is widely believed to be a feature of physical reality with undoubted (though debated) metaphysical implications. But Schrödinger introduced entanglement as a theoretical relation between representatives of the quantum states of two systems. Entanglement represents a physical relation only if quantum states are elements of physical reality. So arguments for metaphysical holism or nonseparability from entanglement rest on a questionable view of quantum theory. Assignment of entangled quantum states predicts experimentally confirmed violation of Bell inequalities. Can one use (...) these experimental results to argue directly for metaphysical conclusions? No. Quantum theory itself gives us our best explanation of violations of Bell inequalities, with no superluminal causal influences and no metaphysical holism or nonseparability—but only if quantum states are understood as objective and relational, though prescriptive rather than ontic. Correct quantum state assignments are backed by true physical magnitude claims: but backing is not grounding. Quantum theory supports no general metaphysical holism or nonseparability; though a claim about a compound physical system may be significant and true while similar claims about its components are neither. Entanglement may well have have few, if any, first-order metaphysical implications. But the quantum theory of entanglement has much to teach the metaphysician about the roles of chance, causation, modality and explanation in the epistemic and practical concerns of a physically situated agent. (shrink)

Quantum mechanics seems to portray nature as nonseparable, in the sense that it allows spatiotemporally separated entities to have states that cannot be fully specified without reference to each other. This is often said to implicate some form of “holism.” We aim to clarify what this means, and why this seems plausible. Our core idea is that the best explanation for nonseparability is a “common ground” explanation, which casts nonseparable entities in a holistic light, as scattered reflections of a more (...) unified underlying reality. (shrink)

If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing'' view. Some worries arise from the non-dynamical and time-dependent (...) character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows---the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now. (shrink)

What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (shrink)

The article addresses the debate about the empirical status of particles versus wave functions in Bohmian quantum mechanics. It thereby clarifies questions and misconceptions about the role of the...

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

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

The apparent nonlocality of quantum theory has been a persistent concern. Einstein et al. and Bell emphasized the apparent nonlocality arising from entanglement correlations. While some interpretations embrace this nonlocality, modern variations of the Everett-inspired many worlds interpretation try to circumvent it. In this paper, we review Bell's "no-go" theorem and explain how it rests on three axioms, local causality, no superdeterminism, and one world. Although Bell is often taken to have shown that local causality is ruled out by the (...) experimentally confirmed entanglement correlations, we make clear that it is the conjunction of the three axioms that is ruled out by these correlations. We then show that by assuming local causality and no superdeterminism, we can give a direct proof of many worlds. The remainder of the paper searches for a consistent, local, formulation of many worlds. We show that prominent formulations whose ontology is given by the wave function violate local causality, and we critically evaluate claims in the literature to the contrary. We ultimately identify a local many worlds interpretation that replaces the wave function with a separable Lorentz-invariant wave-field. We conclude with discussions of the Born rule, and other interpretations of quantum mechanics. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two (...) sources of randomness in such a universe: the quantum-mechanical probabilities of the Born rule and the statistical mechanical probabilities of the Statistical Postulate. I propose a new way to understand time's arrow in a quantum universe. It is based on what I call the Thermodynamic Theories of Quantum Mechanics. According to this perspective, there is a natural choice for the initial quantum state of the universe, which is given by not a wave function but by a density matrix. The density matrix plays a microscopic role: it appears in the fundamental dynamical equations of those theories. The density matrix also plays a macroscopic / thermodynamic role: it is exactly the projection operator onto the Past Hypothesis subspace. Thus, given an initial subspace, we obtain a unique choice of the initial density matrix. I call this property "the conditional uniqueness" of the initial quantum state. The conditional uniqueness provides a new and general strategy to eliminate statistical mechanical probabilities in the fundamental physical theories, by which we can reduce the two sources of randomness to only the quantum mechanical one. I also explore the idea of an absolutely unique initial quantum state, in a way that might realize Penrose's idea of a strongly deterministic universe. (shrink)

A century after the discovery of quantum mechanics, the meaning of quantum mechanics still remains elusive. This is largely due to the puzzling nature of the wave function, the central object in quantum mechanics. If we are realists about quantum mechanics, how should we understand the wave function? What does it represent? What is its physical meaning? Answering these questions would improve our understanding of what it means to be a realist about quantum mechanics. In this survey article, I review (...) and compare several realist interpretations of the wave function. They fall into three categories: ontological interpretations, nomological interpretations, and the sui generis interpretation. For simplicity, I will focus on non-relativistic quantum mechanics. (shrink)

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

The conspicuous similarities between interpretive strategies in classical statistical mechanics and in quantum mechanics may be grounded on their employment of common implementations of probability. The objective probabilities which represent the underlying stochasticity of these theories can be naturally associated with three of their common formal features: initial conditions, dynamics, and observables. Various well-known interpretations of the two theories line up with particular choices among these three ways of implementing probability. This perspective has significant application to debates on primitive ontology (...) and to the quantum measurement problem. (shrink)

Realism comes in many varieties, in science and elsewhere. Van Fraassen's influential formulation took scientific realism to include the view that science aims to give us, in its theories, a literally true story of what the world is like. So understood, a quantum realist takes quantum theory to aim at correctly representing the world: many would add that its success justifies believing this representation is more or less correct. But quantum realism has been understood both more narrowly and more broadly. (...) A pragmatist considers use prior to representation and this has prompted some to dub pragmatist views anti-realist, including the view of quantum theory I have been developing recently. But whether a pragmatist view of quantum theory should be labeled anti-realist depends not only on its ingredients but also on how that label should be applied. Pragmatism offers a healthy diet of quantum realism. (shrink)

According to spacetime state realism, the fundamental ontology of a quantum mechanical world consists of a state-valued field evolving in four-dimensional spacetime. One chief advantage it claims over rival wave-function realist views is its natural compatibility with relativistic quantum field theory. I argue that the original density operator formulation of SSR cannot be extended to QFTs where the local observables form type III von Neumann algebras. Instead, I propose a new formulation of SSR in terms of a presheaf of local (...) state spaces dual to the net of local observables studied by algebraic QFT. 1Introduction2Spacetime State Realism in Quantum Field Theory 2.1Equivalence thesis3Entanglement and the Type III Property 3.1No-Go Lemma 13.2No-Go Lemma 24State Space Axioms for Quantum Field Theory 4.1Revised equivalence thesis5Discussion. (shrink)

The meaning of the wave function has been a hot topic of debate since the early days of quantum mechanics. Recent years have witnessed a growing interest in this long-standing question. Is the wave function ontic, directly representing a state of reality, or epistemic, merely representing a state of knowledge, or something else? If the wave function is not ontic, then what, if any, is the underlying state of reality? If the wave function is indeed ontic, then exactly what physical (...) state does it represent? In this book, I aim to make sense of the wave function in quantum mechanics and find the ontological content of the theory. The book can be divided into three parts. The first part addresses the question of the nature of the wave function. After giving a comprehensive and critical review of the competing views of the wave function, I present a new argument for the ontic view in terms of protective measurements. In addition, I also analyze the origin of the wave function by deriving the free Schroedinger equation. The second part analyzes the ontological meaning of the wave function. I propose a new ontological interpretation of the wave function in terms of random discontinuous motion of particles, and give two main arguments supporting this interpretation. The third part investigates whether the suggested quantum ontology is complete in accounting for our definite experience and whether it needs to be revised in the relativistic domain. (shrink)

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...) real science, but also to those interested in Romanian philosophy. (shrink)

I look at the distinction between between realist and antirealist views of the quantum state. I argue that this binary classification should be reconceived as a continuum of different views about which properties of the quantum state are representationally significant. What's more, the extreme cases -- all or none --- are simply absurd, and should be rejected by all parties. In other words, no sane person should advocate extreme realism or antirealism about the quantum state. And if we focus on (...) the reasonable views, it's no longer clear who counts as a realist, and who counts as an antirealist. Among those taking a more reasonable intermediate view, we find figures such as Bohr and Carnap -- in stark opposition to the stories we've been told. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

In metaphysics, the fundamental is standardly equated with that which has no explana- tion – with that which is, in other words, ‘brute’. But this doctrine of brutalism is in tension with physicists’ ambitions to not only describe but also explain why the fundamental is as it is. The tension would ease were science taken to be incapable of furnishing the sort of explanations that brutalism is concerned with, given that these are understood to be dis- tinctively ‘metaphysical’ in character. (...) But to assume this is to assume a sharp demarcation between physics and metaphysics that surely cannot be taken for granted. This paper sets out to examine the standing of brutalism from the perspective of contem- porary fundamental physics, together with theories of explanation drawn from philosophy of science and metaphysics. Focusing on what fundamental kinds the world instantiates and how physicists go about determining them, I argue that a partial explanation, in Hempel’s sense, may be given of this fundamental feature. Moreover, since this partial explanation issues, at least in part, from stipulations as to the essential nature of the kinds involved, I claim that it has as much right to be regarded as a metaphysical explanation as do grounding explanations. As such, my conclusion will be that the doctrine of brutalism can no longer be regarded as tenable: at least modulo certain plausible essentialist assumptions, it is no longer the case that no explanation can be given of the fundamental. (shrink)

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

I explore some of the ways that assumptions about the nature of substance shape metaphysical debates about the structure of Reality. Assumptions about the priority of substance play a role in an argument for monism, are embedded in certain pluralist metaphysical treatments of laws of nature, and are central to discussions of substantivalism and relationalism. I will then argue that we should reject such assumptions and collapse the categorical distinction between substance and property.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The authors survey some debates about the nature and structure of physical theories and about the connections between our physical theories and naturalized metaphysics. The discussion is organized around an “ideal view” of physical theories and criticisms that can be raised against it. This view includes controversial commitments regarding the best analysis of physical modalities and intertheory relations. The authors consider the case in favor of taking laws as the primary modal notion, discussing objections related to alleged violations of the (...) laws, the apparent need to appeal to causality, and the status of probability. The “ideal view” includes a commitment that fundamental physical theories are explanatorily sufficient. The authors discuss several challenges to recovering the manifest image from fundamental physics, along with a distinct challenge to reductionism based on acknowledging the contributions of less fundamental theories in physical explanations. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

Quantum entanglement is widely believed to be a feature of physical reality with undoubted metaphysical implications. But Schrödinger introduced entanglement as a theoretical relation between representatives of the quantum states of two systems. Entanglement represents a physical relation only if quantum states are elements of physical reality. So arguments for metaphysical holism or nonseparability from entanglement rest on a questionable view of quantum theory. Assignment of entangled quantum states predicts experimentally confirmed violation of Bell inequalities. Can one use these experimental (...) results to argue directly for metaphysical conclusions? No. Quantum theory itself gives us our best explanation of violations of Bell inequalities, with no superluminal causal influences and no metaphysical holism or nonseparability—but only if quantum states are understood as objective and relational, though prescriptive rather than ontic. Correct quantum state assignments are backed by true physical magnitude claims: but backing is not grounding. Quantum theory supports no general metaphysical holism or nonseparability; though a claim about a compound physical system may be significant and true while similar claims about its components are neither. Entanglement may well have have few, if any, first-order metaphysical implications. But the quantum theory of entanglement has much to teach the metaphysician about the roles of chance, causation, modality and explanation in the epistemic and practical concerns of a physically situated agent. (shrink)

Quantum mechanics seems to portray nature as nonseparable, in the sense that it allows spatiotemporally separated entities to have states that cannot be fully specified without reference to each other. This is often said to implicate some form of “holism.” We aim to clarify what this means, and why this seems plausible. Our core idea is that the best explanation for nonseparability is a “common ground” explanation, which casts nonseparable entities in a holistic light, as scattered reflections of a more (...) unified underlying reality. (shrink)

Quantum mechanics allegedly supports a holistic metaphysical moral: it is not the case that the intrinsic characters of all entangled wholes supervene on intrinsic properties and spatiotemporal arrangements of proper parts. According to one influential line of reasoning, such holistic supervenience failure follows more or less directly from quantum theory itself. One advertised consequence is the defeat of a natural, broadly reductive worldview commonly linked to Lewis's philosophical doctrine of Humean supervenience. However, the situation is more complicated, in both this (...) and other respects, than it may first appear. This article is an opinionated overview of some especially interesting complications. (shrink)

In this article I expound an understanding of the quantum mechanics of so-called “indistinguishable” systems in which permutation invariance is taken as a symmetry of a special kind, namely the result of representational redundancy. This understand- ing has heterodox consequences for the understanding of the states of constituent systems in an assembly and for the notion of entanglement. It corrects widespread misconceptions about the inter-theoretic relations between quantum mechanics and both classical particle mechanics and quantum field theory. The most striking (...) of the heterodox consequences are: that fermionic states ought not always to be considered entangled; it is possible for two fermions or two bosons to be discerned using purely monadic quantities; and that fermions may always be so discerned. (shrink)

Much of the the discussion of the metaphysics of quantum mechanics focusses on the status of wavefunctions. This paper is about how to think about wavefunctions, when we bear in mind that quantum mechanics—that is, the nonrelativistic quantum theory of systems of a fixed, finite number of degrees of freedom—is not a fundamental theory, but arises, in a certain approximation, valid in a limited regime, from a relativistic quantum field theory. We will explicitly show how the wavefunctions of quantum mechanics, (...) and the configuration spaces on which they are defined, are constructed from a relativistic quantum field theory. Two lessons will be drawn from this. The first is that configuration spaces are not fundamental, but rather are derivative of structures defined on ordinary spacetime. The second is that wavefunctions are not as much like classical fields as might first appear, in that, on the most natural way of constructing wavefunctions from quantum field-theoretic quantities, the value assigned to a point in configuration space is not a local fact about that point, but rather, depends on the global state. (shrink)

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

This essay explores the use of platonist and nominalist concepts, derived from the philosophy of mathematics and metaphysics, as a means of elucidating the debate on spacetime ontology and the spatial structures endorsed by scientific realists. Although the disputes associated with platonism and nominalism often mirror the complexities involved with substantivalism and relationism, it will be argued that a more refined three-part distinction among platonist/nominalist categories can nonetheless provide unique insights into the core assumptions that underlie spatial ontologies, but it (...) also assists in critiquing alternative uses of nominalism, platonism, and both ontic and epistemic structural realism. (shrink)

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

This is an introduction to wave function realism for a compendium on the philosophy of quantum mechanics that will be edited and translated into Portuguese by Raoni Arroyo, entitled Compêndio de Filosofia da Física Quântica. This essay presents the history of wave function realism, its various interpretations, the main arguments that are given for the position, and the main objections that have been raised to it.

I argue that space has three dimensions, and quantum mechanics does not show otherwise. Specifically, I argue that the mathematical wave function of quantum mechanics corresponds to a property that an N-particle system has in three-dimensional space.

The meaning of the wave function and its evolution are investigated. First, we argue that the wave function in quantum mechanics is a description of random discontinuous motion of particles, and the modulus square of the wave function gives the probability density of the particles being in certain locations in space. Next, we show that the linear non-relativistic evolution of the wave function of an isolated system obeys the free Schrödinger equation due to the requirements of spacetime translation invariance and (...) relativistic invariance. Thirdly, we argue that the random discontinuous motion of particles may lead to a stochastic, nonlinear collapse evolution of the wave function. A discrete model of energy-conserved wavefunction collapse is proposed and shown consistent with existing experiments and our macroscopic experience. Besides, we also give a critical analysis of the de Broglie-Bohm theory, the many-worlds interpretation and other dynamical collapse theories, and briefly discuss the issues of unifying quantum mechanics and relativity. (shrink)

This article analyzes the implications of protective measurement for the meaning of the wave function. According to protective measurement, a charged quantum system has mass and charge density proportional to the modulus square of its wave function. It is shown that the mass and charge density is not real but effective, formed by the ergodic motion of a localized particle with the total mass and charge of the system. Moreover, it is argued that the ergodic motion is not continuous but (...) discontinuous and random. This result suggests a new interpretation of the wave function, according to which the wave function is a description of random discontinuous motion of particles, and the modulus square of the wave function gives the probability density of the particles being in certain locations. It is shown that the suggested interpretation of the wave function disfavors the de Broglie-Bohm theory and the many-worlds interpretation but favors the dynamical collapse theories, and the random discontinuous motion of particles may provide an appropriate random source to collapse the wave function. (shrink)