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.

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation of Bekenstein-Hawking (...) entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

I give a fairly systematic and thorough presentation of the case for regarding black holes as thermodynamic systems in the fullest sense, aimed at students and non-specialists and not presuming advanced knowledge of quantum gravity. I pay particular attention to the availability in classical black hole thermodynamics of a well-defined notion of adiabatic intervention; the power of the membrane paradigm to make black hole thermodynamics precise and to extend it to local-equilibrium contexts; the central role of Hawking radiation in permitting (...) black holes to be in thermal contact with one another; the wide range of routes by which Hawking radiation can be derived and its back-reaction on the black hole calculated; the interpretation of Hawking radiation close to the black hole as a gravitationally bound thermal atmosphere. In an appendix I discuss recent criticisms of black hole thermodynamics by Dougherty and Callender. This paper confines its attention to the thermodynamics of black holes; a sequel will consider their statistical mechanics. (shrink)

I respond to the frequent objection that structural realism fails to sharply state an alternative to the standard predicate-logic, object / property / relation, way of doing metaphysics. The approach I propose is based on what I call a ‘math-first’ approach to physical theories (close to the so-called ‘semantic view of theories') where the content of a physical theory is to be understood primarily in terms of its mathematical structure and the representational relations it bears to physical systems, rather than (...) as a collection of sentences that attempt to make true claims about those systems (a ‘language-first’ approach). I argue that adopting the math-first approach already amounts to a form of structural realism, and that the choice between epistemic and ontic versions of structural realism is then a choice between a language-first and math-first view of metaphysics; I then explore the status of objects (and properties and relations) in fundamental and non-fundamental physics for both versions of math-first structural realism. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)

Scientists investigating the thermal properties of black holes rely heavily on theoretical and non-empirical tools, such as mathematical derivations, analogue experiments and thought experiments. Although the use of mathematical derivations and analogue experiments in the context of black hole physics has recently received a great deal of attention among philosophers of science, the use of thought experiments (TEs) in that context has been almost completely neglected. In this paper, we will start filling this gap by systematically analyzing the epistemic role (...) of the two TEs that gave birth to black hole thermodynamics, namely Wheeler’s demon and Geroch’s engine. We will argue that the two main epistemic functions of these TEs are to reveal and resolve inconsistencies, in line with El Skaf’s (Probing theoretical statements with thought experiments. Synthese 199:6119–6147, 2021) approach to TEs. We will, then, go beyond El Skaf’s approach by stressing an important difference between the strategies employed to assess the reliability of each epistemic function. (shrink)

To what extent does the black hole information paradox lead to violations of quantum mechanics? I explain how black hole complementarity provides a framework to articulate how quantum characterizations of black holes can remain consistent despite the information paradox. I point out that there are two ways to cash out the notion of consistency in play here: an operational notion and a descriptive notion. These two ways of thinking about consistency lead to (at least) two principles of black hole complementarity: (...) an operational principle and a descriptive principle. Our background philosophy of science regarding realism/instrumentalism might initially lead us to prefer one principle over the other. However, the recent physics literature, which applies tools from quantum information theory and quantum computational complexity theory to various thought experiments involving quantum systems in or around black holes, implies that the operational principle is successful where the descriptive principle is not. This then lets us see that for operationalists the black hole information paradox might no longer be pressing. (shrink)

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

The modeling of black holes is an important desideratum for any quantum theory of gravity. Not only is a classical black hole metric sought, but also agreement with the laws of black hole thermodynamics. In this paper, we describe how these goals are achieved in string theory. We review black hole thermodynamics, and then explicate the general stringy derivation of classical spacetimes, the construction of a simple black hole solution, and the derivation of its entropy. With that in hand, we (...) address some important philosophical and conceptual questions: the confirmatory value of the derivation, the bearing of the model on recent discussions of the so-called ‘information paradox’, and the implications of the model for the nature of space. (shrink)

Penrose's conformal cyclic cosmology describes the cosmos as a collection of successive universes, the so-called aeons. The beginning and ending of our universe are directly connected to two other, anterior and posterior, universes. Penrose considers but rules out a different interpretation of conformal cyclic cosmology: that the beginning of our universe is connected to its own end in a cosmic loop. The paper argues that the view, aeon monism, should be regarded as a natural interpretation of conformal cyclic cosmology and (...) discusses its implications for the concept of eternal return in light of the most popular metaphysics of time. (shrink)

I distinguish between two versions of the black hole information-loss paradox. The first arises from apparent failure of unitarity on the spacetime of a completely evaporating black hole, which appears to be non-globally-hyperbolic; this is the most commonly discussed version of the paradox in the foundational and semipopular literature, and the case for calling it `paradoxical' is less than compelling. But the second arises from a clash between a fully-statistical-mechanical interpretation of black hole evaporation and the quantum-field-theoretic description used in (...) derivations of the Hawking effect. This version of the paradox arises long before a black hole completely evaporates, seems to be the version that has played a central role in quantum gravity, and is genuinely paradoxical. After explicating the paradox, I discuss the implications of more recent work on AdS/CFT duality and on the `Firewall paradox', and conclude that the paradox is if anything now sharper. The article is written at a introductory level and does not assume advanced knowledge of quantum gravity. (shrink)

I provide a fairly systematic analysis of when quantities that are variant under a dynamical symmetry transformation should be regarded as unobservable, or redundant, or unreal; of when models related by a dynamical symmetry transformation represent the same state of affairs; and of when mathematical structure that is variant under a dynamical symmetry transformation should be regarded as surplus. In most of these cases the answer is `it depends': depends, that is, on the details of the symmetry in question. A (...) central feature of the analysis is that in order to draw any of these conclusions for a dynamical symmetry it needs to be understood in terms of its possible extensions to other physical systems, in particular to measurement devices. (shrink)