Three accounts of effective realism (ER) have been advanced to solve three problems for scientific realism: Fraser and Vickers (forthcoming) develop a version of ER about non-relativistic quantum mechanics that they argue is compatible with all the main realist versions (‘interpretations’) of quantum mechanics avoiding the problem of underdetermination among them; Williams (2019) and Fraser (2020b) propose ER about quantum field theory as a response to the problems facing realist interpretations; Robertson and Wilson (forthcoming) propose ER to deal with the (...) dubious ontological status of the entities belonging to superseded theories. This paper argues for the unification of these proposals based on realism about modal structure and the idea of scale relativity of ontology developed by ontic structural realists. This solves problems some or all the accounts of ER face, especially that of making explicit in what way they are realist. Furthermore, we respond to a recent critique that has been raised against the ontic structural realist account of quantum mechanics that we employ. (shrink)

This paper argues that qualia share their physical correlates' locations. The first premise comes from the theory of relativity: If something shares a time with a physical event in all reference frames, it shares that physical event’s location. The second premise is that qualia share times with their correlates in all reference frames. Having qualia and correlates share locations makes relations between them easier to explain, improving both physicalist and dualist theories.

Comments and replies from the 2021 Eastern APA book symposium on Jill North's Physics, Structure, and Reality.

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (shrink)

In (Weaver 2021), I showed that Boltzmann’s H-theorem does not face a significant threat from the reversibility paradox. I argue that my defense of the H-theorem against that paradox can be used yet again for the purposes of resolving the recurrence paradox without having to endorse heavy-duty statistical assumptions outside of the hypothesis of molecular chaos. As in (Weaver 2021), lessons from the history and foundations of physics reveal precisely how such resolution is achieved.

The consensus view among philosophers of physics is that relativistic quantum field theory does not describe particles. That is, according to QFT, particles are not fundamental entities. How is this negative conclusion compatible with the positive role that the particle notion plays in particle physics? The first part of this chapter lays out multiple lines of negative argument that all conclude that QFT cannot be given a particle interpretation. These arguments probe the properties of the `particles' in standard formulations of (...) QFT and the limited applicability of `particle' representations. The second part of the chapter surveys proposals for non-fundamental roles that the particle concept plays in particle physics. The conclusion suggests directions for future philosophical research. (shrink)

This paper aims to characterise properly entanglement as an external relation obtaining between multiple quantum degrees of freedom. In particular, we argue that the entanglement relation is a unique relation fully characterised by mutual information, i.e. a quantity standardly used as a measure of entanglement. This analysis leads us to propose a new metaphysical account of entanglement, which we call Relational Entanglement Tesseract. Such an account characterises entanglement for both bipartite and multipartite cases, and, at the same time, it satisfies (...) what we argue are three important desiderata of any metaphysical account of entanglement. (shrink)

The Abrahamic traditions regard God as the world’s author. But what kind of author? A novelist? A playwright? Perhaps a composer of classical music? I will argue that it is best to regard God as like an improvisational play director or the leader of a jazz ensemble. Each determines the broad melodic contours or coarse-grained plot beforehand, while allowing their musicians or actors, and chance, to fill in the more fine-grained details. This analogy allows us to regard God as the (...) ultimate author of this world, while allowing us to be, while less than co-authors, more than mere enactors of a pre-written piece. These metaphors are particularly well-suited to illustrate and flesh out an Open Theistic view of things. (shrink)

Williams and J. Fraser have recently argued that effective field theory methods enable scientific realists to make more reliable ontological commitments in quantum field theory than those commonly made. In this paper, I show that the interpretative relevance of these methods extends beyond the specific context of QFT by identifying common structural features shared by effective theories across physics. In particular, I argue that effective theories are best characterized by the fact that they contain intrinsic empirical limitations, and I extract (...) from their structure one central interpretative constraint for making more reliable ontological commitments in different subfields of physics. While this is in principle good news, this constraint still raises a challenge for scientific realists in some contexts, and I bring the point home by focusing on Williams’s and J. Fraser’s defense of selective realism in QFT. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...) I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

We argue against claims that the classical ℏ → 0 limit is “singular” in a way that frustrates an eliminative reduction of classical to quantum physics. We show one precise sense in which quantum mechanics and scaling behavior can be used to recover classical mechanics exactly, without making prior reference to the classical theory. To do so, we use the tools of strict deformation quantization, which provides a rigorous way to capture the ℏ → 0 limit. We then use the (...) tools of category theory to demonstrate one way that this reduction is explanatory: it illustrates a sense in which the structure of quantum mechanics determines that of classical mechanics. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Ruetsche ([2011]) argues that the occurrence of unitarily inequivalent representations in quantum theories with infinitely many degrees of freedom poses a novel interpretational problem. According to Ruetsche, such theories compel us to reject the so-called ideal of pristine interpretation; she puts forward the ‘coalescence approach’ as an alternative. In this paper I offer a novel defence of the coalescence approach. The defence rests on the claim that the ideal of pristine interpretation already fails before one considers the peculiarities of QM∞: (...) there are pre-QM∞ parallels to coalescence. Despite this departure from pristinism, the ‘modest’ view that emerges poses no threat to scientific realism. (shrink)

The operation of fundamental forces in quantum field theory is explicated here as the exchange of particles, consistently with the standard methodology of particle physics. The particles involved are seen to bear little relation to any classical particle but, rather, comprise unified collections of compresent, conserved quantities indicated by propagators. The exchange particles, which supervene upon quantum fields, are neither more fundamental than fields nor replace them as has often previously been assumed in models of exchange forces. It is argued (...) that this explication of quantum field-theoretic exchange forces definitively improves upon its predecessors. (shrink)

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

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual (...) engineering for intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal and hyperintensional expressivist approaches here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper investigates various properties that may by possessed by quantum states, which are believed to be specifically “quantum” and their opposites. It also considers their “absolute” counterparts in the following sense: a given state has a given property absolutely if after an arbitrary unitary transformation it still possesses it. The known relations between the listed properties and between their absolute counterparts are summarized. It is proven that the only two-qubit state that has zero quantum discord absolutely is the maximally (...) mixed state. Finally, related conceptual issues concerning the terms “classical” and “quantum” are discussed. (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do recommend, however, ending the (...) discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

This is a review of the issue of randomness in quantum mechanics, with special emphasis on its ambiguity; for example, randomness has different antipodal relationships to determinism, computability, and compressibility. Following a philosophical discussion of randomness in general, I argue that deterministic interpretations of quantum mechanics are strictly speaking incompatible with the Born rule. I also stress the role of outliers, i.e. measurement outcomes that are not 1-random. Although these occur with low probability, their very existence implies that the no-signaling (...) principle used in proofs of randomness of outcomes of quantum-mechanical measurements should be reinterpreted statistically, like the second law of thermodynamics. In three appendices I discuss the Born rule and its status in both single and repeated experiments, review the notion of 1-randomness that in various guises was investigated by Kolmogorov and others and treat Bell’s Theorem and the Free Will Theorem with their implications for randomness. (shrink)

Worrall :99–124, 1989) famously claimed that structural realism is the best of both worlds; it enables one to endorse the best arguments for scientific realism and antirealism. In this paper, I argue that structural realism also enables one to combine two other seemingly inconsistent positions: realism and pluralism. Indeed, the very features which form the basis of the structural realist’s reply to the problem of theory change may be applied synchronically to allow for a pluralist structural realism. The resulting position (...) incorporates a robust variety of scientific pluralism unavailable to the traditional realist and thereby allows the structural realist to take seriously the pluralism apparent in scientific practice. (shrink)

When we speak about different interpretations of quantum mechanics it is suggested that there is one single quantum theory that can be interpreted in different ways. However, after an explicit characterization of what it is to interpret quantum mechanics, the right diagnosis is that we have a case of predictively equivalent rival theories. I extract some lessons regarding the resulting underdetermination of theory choice. Issues about theoretical identity, theoretical and methodological pluralism, and the prospects for a realist stance towards quantum (...) theory can be properly addressed once we recognize that interpretations of quantum mechanics are rival theories. (shrink)

A physically consistent semi-classical treatment of black holes requires universality arguments to deal with the `trans-Planckian' problem where quantum spacetime effects appear to be amplified such that they undermine the entire semi-classical modelling framework. We evaluate three families of such arguments in comparison with Wilsonian renormalization group universality arguments found in the context of condensed matter physics. Our analysis is framed by the crucial distinction between robustness and universality. Particular emphasis is placed on the quality whereby the various arguments are (...) underpinned by `integrated' notions of robustness and universality. Whereas the principal strength of Wilsonian universality arguments can be understood in terms of the presence of such integration, the principal weakness of all three universality arguments for Hawking radiation is its absence. (shrink)

I give an introduction to the conceptual structure of quantum field theory as it is used in mainstream theoretical physics today, aimed at non-specialists. My main focuses in the article are the common structure of quantum field theory as it is applied in solid-state physics and as it is applied in high-energy physics; the modern theory of renormalisation.

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

Some physicists and philosophers argue that unitarily inequivalent representations in quantum field theory are mathematical surplus structure. Support for that view, sometimes called ‘algebraic imperialism’, relies on Fell’s theorem and its deployment in the algebraic approach to QFT. The algebraic imperialist uses Fell’s theorem to argue that UIRs are ‘physically equivalent’ to each other. The mathematical, conceptual, and dynamical aspects of Fell’s theorem will be examined. Its use as a criterion for physical equivalence is examined in detail and it is (...) proven that Fell’s theorem does not apply to the vast number of representations used in the algebraic approach. UIRs are not another case of theoretical underdetermination, because they make different predictions about ‘classical’ operators. These results are applied to the Unruh effect where there is a continuum of UIRs to which Fell’s theorem does not apply. _1_ Introduction _2_ Weak Equivalence and Physical Equivalence _3_ Mathematical Overview of Algebraic Quantum Field Theory _4_ Fell’s Theorem and Philosophical Responses to Weak Equivalence _5_ Weak Equivalence in C*-Algebras and W*-Algebras _6_ Classical Equivalence and Weak Equivalence _7_ Interlude: Is Weak Equivalence Really Physical Equivalence? _8_ The Unruh Effect _9_ Time Evolution and Symmetries _10_ Conclusions Appendix. (shrink)

I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing ‘equivalent physics’, versus suggesting ‘new physics’. I dub these the ‘theoretical’ versus the ‘heuristic’ functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function (...) of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions. (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 elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

This article probes the question of what interpretations of quantum mechanics actually accomplish. In other domains, which are briefly considered, interpretations serve to make alien systematizations intelligible to us. This often involves clarifying the status of their implicit ontology. A survey of interpretations of non-relativistic quantum mechanics supports the evaluation that these interpretations make a contribution to philosophy, but not to physics. Interpretations of quantum field theory are polarized by the divergence between the Lagrangian field theory that led to the (...) Standard Model of Particle physics and the Algebraic quantum field theory, that discounts an ontology of particles. Ruetsche's interpretation, it is argued, offers a potential for loosening the sharp polarization that presently obtains. A brief evaluation focuses on the functional ontology of quantum field theory considered as an effective theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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. Elohim invents 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. Elohim provides 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. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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. Elohim invents 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. Elohim provides 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 examine the debate between substantivalists and relationalists about the ontological character of spacetime and conclude it is not well posed. I argue that the hole argument does not bear on the debate, because it provides no clear criterion to distinguish the positions. I propose two such precise criteria and construct separate arguments based on each to yield contrary conclusions, one supportive of something like relationalism and the other of something like substantivalism. The lesson is that one must fix an (...) investigative context in order to make such criteria precise, but different investigative contexts yield inconsistent results. I examine questions of existence about spacetime structures other than the spacetime manifold itself to argue that it is more fruitful to focus on pragmatic issues of physicality, a notion that lends itself to several different explications, all of philosophical interest, none privileged a priori over any of the others. I conclude by suggesting an extension of the lessons of my arguments to the broader debate between realists and instrumentalists. 1 Introduction2 The Hole Argument3 Limits of Spacetimes4 Pointless Constructions5 The Debate between Substantivalists and Relationalists6 Existence and Physicality: An Embarassment of Spacetime Structures7 Valedictory Remarks on Realism and Instrumentalism, and the Structure of Our Knowledge of Physics. (shrink)

I offer an account of how the quantum theory we have helps us explain the enormous variety of phenomena it is generally taken to explain. The account depends on what I have elsewhere called a pragmatist interpretation of the theory. This rejects views according to which a quantum state describes or represents a physical system, holding instead that it functions as a source of sound advice to physically situated agents like us on the content and appropriate degree of belief about (...) matters concerning which they are currently inevitably ignorant. So while the account given here is incompatible with some views of structural explanation in quantum theory it is nevertheless able to incorporate what I take to be their valuable insights. (shrink)

Nature seems to be such that we can describe it accurately with quantum theories of bosons and fermions alone, without resort to parastatistics. This has been seen as a deep mystery: paraparticles make perfect physical sense, so why don’t we see them in nature? We consider one potential answer: every paraparticle theory is physically equivalent to some theory of bosons or fermions, making the absence of paraparticles in our theories a matter of convention rather than a mysterious empirical discovery. We (...) argue that this equivalence thesis holds in all physically admissible quantum field theories falling under the domain of the rigorous Doplicher–Haag–Roberts approach to superselection rules. Inadmissible parastatistical theories are ruled out by a locality-inspired principle we call charge recombination. 1 Introduction2 Paraparticles in Quantum Theory3 Theoretical Equivalence3.1 Field systems in algebraic quantum field theory3.2 Equivalence of field systems4 A Brief History of the Equivalence Thesis4.1 The Green decomposition4.2 Klein transformations4.3 The argument of Drühl, Haag, and Roberts4.4 The Doplicher–Roberts reconstruction theorem5 Sharpening the Thesis6 Discussion6.1 Interpretations of Quantum Mechanics6.2 Structuralism and haecceities6.3 Paraquark theories. (shrink)

Psillos, Kitcher, and Leplin have defended convergent scientific realism against the pessimistic meta-induction by arguing for the divide et impera strategy. I argue that DEI faces a problem more serious than the pessimistic meta-induction: the problem of accretion. When empirically successful theories and principles are combined, they may no longer make successful predictions or allow for accurate calculations, or the combination otherwise may be an empirical failure. The shift from classical mechanics to the new quantum theory does not reflect the (...) discarding of “idle wheels.” Instead, scientists had to contend with new principles that made classical calculations difficult or impossible, and new results that were inconsistent with classical theorems, and that suggested a new way of conceiving of atomic dynamics. In this shift, reference to atoms and to electrons was preserved, but the underlying causal explanations and descriptions of atoms and electrons changed. I propose that the emphasis on accurate description of causal agents as a virtue of background theory be replaced with Ruetsche’s advocacy of pragmatic, modal resourcefulness. (shrink)

Taking Arthur Fine’s The Shaky Game as my inspiration, and the recent 25th anniversary of the publication of that work as the occasion to exercise that inspiration, I sketch an alternative to the “Naturalism” prevalent among philosophers of physics. Naturalism is a methodology eventuating in a metaphysics. The methodology is to seek the deep framework assumptions that make the best sense of science; the metaphysics is furnished by those assumptions and supported by their own support of science. The alternative presented (...) here, which I call “Locavoracity,” shares Naturalism’s commitment to making sense of science, but alters Naturalism’s methodology. The Locavore’s sense-making projects are piecemeal, rather than sweeping. The Locavore’s hypothesis is that the collection of local sense-making projects fails to issue a single overarching unifying framework deserving of the title “the metaphysics that makes the best sense of science.” I muster some examples supporting the Locavore hypothesis from the interpretation of quantum field theories. (shrink)

This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory . In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form of (...) local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events. (shrink)

ArgumentIn the theory-dominated view of scientific experimentation, all relations of theory and experiment are taken on a par; namely, that experiments are performed solely to ascertain the conclusions of scientific theories. As a result, different aspects of experimentation and of the relations of theory to experiment remain undifferentiated. This in turn fosters a notion of theory-ladenness of experimentation (TLE) that is toocoarse-grainedto accurately describe the relations of theory and experiment in scientific practice. By contrast, in this article, I suggest that (...) TLE should be understood as anumbrella conceptthat has different senses. To this end, I introduce a three-fold distinction among the theories of high-energy particle physics (HEP) as background theories, model theories, and phenomenological models. Drawing on this categorization, I contrast two types of experimentation, namely, “theory-driven” and “exploratory” experiments, and I distinguish between the “weak” and “strong” senses of TLE in the context of scattering experiments from the history of HEP. This distinction enables identifying the exploratory character of the deep-inelastic electron-proton scattering experiments – performed at the Stanford Linear Accelerator Center (SLAC) between the years 1967 and 1973 – thereby shedding light on a crucial phase of the history of HEP, namely, the discovery of “scaling,” which was the decisive step towards the construction of quantum chromo-dynamics as a gauge theory of strong interactions. (shrink)

The permutation symmetry of quantum mechanics is widely thought to imply a sort of metaphysical underdetermination about the identity of particles. Despite claims to the contrary, this implication does not hold in the more fundamental quantum field theory, where an ontology of particles is not generally available. Although permutations are often defined as acting on particles, a more general account of permutation symmetry can be formulated using superselection theory. As a result, permutation symmetry applies even in field theories with no (...) particle interpretation. The quantum mechanical account of permutations acting on particles is recovered as a special case. (shrink)

A contribution to a symposium on Herman Cappelen's Philosophy without Intuitions.

I offer an account of how the quantum theory we have helps us explain so much. The account depends on a pragmatist interpretation of the theory: this takes a quantum state to serve as a source of sound advice to physically situated agents on the content and appropriate degree of belief about matters concerning which they are currently inevitably ignorant. The general account of how to use quantum states and probabilities to explain otherwise puzzling regularities is then illustrated by showing (...) how we can explain single-particle interference phenomena, the stability of matter, and interference of Bose–Einstein condensates. Finally, I note some open problems and relate this account to alternative approaches to explanation that emphasize the importance of causation, of unification, and of structure. 1 Introduction2 Two Requirements on Explanations in Physics3 What We Can use Quantum Theory to Explain4 The Function of Quantum States and Born Probabilities5 How These Functions Contribute to the Explanatory Task6 Example One: Single-Particle Interference7 Example Two: Explanation of the Stability of Matter8 Example Three: Bose Condensation9 Conclusion. (shrink)

The paper investigates the epistemic conception of quantum states---the view that quantum states are not descriptions of quantum systems but rather reflect the assigning agents' epistemic relations to the systems. This idea, which can be found already in the works of Copenhagen adherents Heisenberg and Peierls, has received increasing attention in recent years because it promises an understanding of quantum theory in which neither the measurement problem nor a conflict between quantum non-locality and relativity theory arises. Here it is argued (...) that the main challenge for proponents of this idea is to make sense of the notion of a state assignment being performed correctly without thereby acknowledging the notion of a true state of a quantum system---a state it is in. An account based on the epistemic conception of states is proposed that fulfills this requirement by interpreting the rules governing state assignment as constitutive rules in the sense of John Searle. (shrink)

Under so-called primitive ontology approaches, in fully describing the history of a quantum system, one thereby attributes interesting properties to regions of spacetime. Primitive ontology approaches, which include some varieties of Bohmian mechanics and spontaneous collapse theories, are interesting in part because they hold out the hope that it should not be too difficult to make a connection between models of quantum mechanics and descriptions of histories of ordinary macroscopic bodies. But such approaches are dualistic, positing a quantum state as (...) well as ordinary material degrees of freedom. This paper lays out and compares some options that primitive ontologists have for making sense of the quantum state. (shrink)

This paper is concerned with the relation between two notions: that of two solutions or models of a theory being related by a symmetry of the theory and that of solutions or models being physically equivalent. A number of authors have recently discussed this relation, some taking an optimistic view, on which there is a suitable concept of the symmetry of a theory relative to which these two notions coincide, others taking a pessimistic view, on which there is no such (...) concept. The present paper arrives at a cautiously pessimistic conclusion. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

The paper argues against an intuitive reading of the Stone-von Neumann theorem as a categoricity result, thereby pointing out that this theorem does not entail any model-theoretical difference between the theories that validate it and those that don't.

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dual. I examine, in particular, the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast (...) to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)