We present a Bayesian analysis of the epistemology of analogue experiments with particular reference to Hawking radiation. Provided such experiments can be externally validated via universality arguments, we prove that they are confirmatory in Bayesian terms. We then provide a formal model for the scaling behaviour of the confirmation measure for multiple distinct realisations of the analogue system and isolate a generic saturation feature. Finally, we demonstrate that different potential analogue realisations could provide different levels of confirmation. Our (...) results thus provide a basis both to formalise the epistemic value of analogue experiments that have been conducted and to advise scientists as to the respective epistemic value of future analogue experiments. (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)

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)

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- (...) class='Hi'>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)

In this article we argue for the existence of ‘analogue simulation’ as a novel form of scientific inference with the potential to be confirmatory. This notion is distinct from the modes of analogical reasoning detailed in the literature, and draws inspiration from fluid dynamical ‘dumb hole’ analogues to gravitational black holes. For that case, which is considered in detail, we defend the claim that the phenomena of gravitational Hawking radiation could be confirmed in the case that its counterpart (...) is detected within experiments conducted on diverse realizations of the analogue model. A prospectus is given for further potential cases of analogue simulation in contemporary science. 1 Introduction2 Physical Background2.1 Hawking radiation in semi-classical gravity2.2 Modelling sound in fluids2.3 The acoustic analogue model of Hawking radiation3 Simulation and Analogy in Physical Theory3.1 Analogical reasoning and analogue simulation3.2 Confirmation via analogue simulation3.3 Recapitulation4 The Sound of Silence: Analogical Insights into Gravity4.1 Experimental realization of analogue models4.2 Universality and the Hawking effect4.3 Confirmation of gravitational Hawking radiation5 Prospectus. (shrink)

In 1981 Unruh proposed that fluid mechanical experiments could be used to probe key aspects of the quantum phenomenology of black holes. In particular, he claimed that an analogue to Hawking radiation could be created within a fluid mechanical `dumb hole', with the event horizon replaced by a sonic horizon. Since then an entire sub-field of `analogue gravity' has been created. In 2016 Steinhauer reported the experimental observation of quantum Hawking radiation and its entanglement in a (...) Bose-Einstein condensate analogue black hole. What can we learn from such analogue experiments? In particular, in what sense can they provide evidence of novel phenomena such as black hole Hawking radiation? (shrink)

Analogue experiments have attracted interest for their potential to shed light on inaccessible domains. For instance, ‘dumb holes’ in fluids and Bose–Einstein condensates, as analogues of black holes, have been promoted as means of confirming the existence of Hawking radiation in real black holes. We compare analogue experiments with other cases of experiment and simulation in physics. We argue—contra recent claims in the philosophical literature—that analogue experiments are not capable of confirming the existence of particular phenomena in inaccessible (...) target systems. As they must assume the physical adequacy of the modelling framework used to describe the inaccessible target system, arguments to the conclusion that analogue experiments can yield confirmation for phenomena in those target systems, such as Hawking radiation in black holes, beg the question. (shrink)

This book presents fresh insights into analogue quantum simulation. It argues that these simulations are a new instrument of science. They require a bespoke philosophical analysis, sensitive to both the similarities to and the differences with conventional scientific practices such as analogical argument, experimentation, and classical simulation. -/- The analysis situates the various forms of analogue quantum simulation on the methodological map of modern science. In doing so, it clarifies the functions that analogue quantum simulation serves in scientific practice. To (...) this end, the authors introduce a number of important terminological distinctions. They establish that analogue quantum ‘computation' and ‘emulation' are distinct scientific practices and lead to distinct forms of scientific understanding. The authors also demonstrate the normative value of the computation vs. emulation distinction at both an epistemic and a pragmatic level. -/- The volume features a range of detailed case studies focusing on: i) cold atom computation of many-body localisation and the Higgs mode; ii) photonic emulation of quantum effects in biological systems; and iii) emulation of Hawking radiation in dispersive optical media. Overall, readers will discover a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. This framework will prove useful to both working scientists and philosophers of science interested in cutting-edge scientific practice. (shrink)

Analogue Gravity Phenomenology is a collection of contributions that cover a vast range of areas in physics, ranging from surface wave propagation in fluids to nonlinear optics. The underlying common aspect of all these topics, and hence the main focus and perspective from which they are explained here, is the attempt to develop analogue models for gravitational systems. The original and main motivation of the field is the verification and study of Hawking radiation from a horizon: the enabling (...) feature is the possibility to generate horizons in the laboratory with a wide range of physical systems that involve a flow of one kind or another. The years around 2010 and onwards witnessed a sudden surge of experimental activity in this expanding field of research. However, building an expertise in analogue gravity requires the researcher to be equipped with a rather broad range of knowledge and interests. The aim of this book is to bring the reader up to date with the latest developments and provide the basic background required in order to appreciate the goals, difficulties and success stories in the field of analogue gravity. Each chapter of the book treats a different topic explained in detail by the major experts for each specific discipline. The first chapters give an overview of black hole spacetimes and Hawking radiation before moving on to describe the large variety of analogue spacetimes that have been proposed and are currently under investigation. This introductory part is then followed by an in-depth description of what are currently the three most promising analogue spacetime settings, namely surface waves in flowing fluids, acoustic oscillations in Bose-Einstein condensates and electromagnetic waves in nonlinear optics. Both theory and experimental endeavours are explained in detail. The final chapters refer to other aspects of analogue gravity beyond the study of Hawking radiation, such as Lorentz invariance violations and Brownian motion in curved spacetimes, before concluding with a return to the origins of the field and a description of the available observational evidence for horizons in astrophysical black holes. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

In the early 1970s it is was realized that there is a striking formal analogy between the Laws of black-hole mechanics and the Laws of classical thermodynamics. Before the discovery of Hawking radiation, however, it was generally thought that the analogy was only formal, and did not reflect a deep connection between gravitational and thermodynamical phenomena. It is still commonly held that the surface gravity of a stationary black hole can be construed as a true physical temperature and (...) its area as a true entropy only when quantum effects are taken into account; in the context of classical general relativity alone, one cannot cogently construe them so. Does the use of quantum field theory in curved spacetime offer the only hope for taking the analogy seriously? I think the answer is `no'. To attempt to justify that answer, I shall begin by arguing that the standard argument to the contrary is not physically well founded, and in any event begs the question. Looking at the various ways that the ideas of ``temperature'' and ``entropy'' enter classical thermodynamics then will suggest arguments that, I claim, show the analogy between classical black-hole mechanics and classical thermodynamics should be taken more seriously, without the need to rely on or invoke quantum mechanics. In particular, I construct an analogue of a Carnot cycle in which a black hole ``couples'' with an ordinary thermodynamical system in such a way that its surface gravity plays the role of temperature and its area that of entropy. Thus, the connection between classical general relativity and classical thermodynamics on their own is already deep and physically significant, independent of quantum mechanics. (shrink)

Prologue: Stormclouds : London, April 1900 -- Quantum of action: The most strenuous work of my life : Berlin, December 1900 ; Annus Mirabilis : Bern, March 1905 ; A little bit of reality : Manchester, April 1913 ; la Comédie Française : Paris, September 1923 ; A strangely beautiful interior : Helgoland, June 1925 ; The self-rotating electron : Leiden, November 1925 ; A late erotic outburst : Swiss Alps, Christmas 1925 -- Quantum interpretation: Ghost field : Oxford, August (...) 1926 ; All this damned quantum jumping : Copenhagen, October 1926 ; The uncertainty principle : Copenhagen, February 1927 ; The 'Kopenhagener geist' : Copenhagen, June 1927 ; There is no quantum world : Lake Como, September 1927 -- Quantum debate: The debate commences : Brussels, October 1927 ; An absolute wonder : Cambridge, Christmas 1927 ; The photon box : Brussels, October 1930 ; A bolt from the blue : Princeton, May 1935 ; The paradox of Schrödinger's cat : Oxford, August 1935 -- Interlude: The first war of physics : Christmas 1938-August 1945 -- Quantum fields: Shelter Island : Long Island, June 1947 ; Pictorial semi-vision thing : New York, January 1949 ; A beautiful idea : Princeton, February 1954 ; Some strangeness in the proportion : Rochester, August 1960 ; Three quarks for Muster Mark! : New York, March 1963 ; The 'God particle' : Cambridge, Massachusetts, Autumn 1967 -- Quantum particles: Deep inelastic scattering : Stanford, August 1968 ; Of charm and weak neutral currents : Harvard, February 1970 ; The magic of colour : Princeton/Harvard, April 1973 ; The November revolution : Long Island/Stanford, November 1974 ; Intermediate vector bosons : Geneva, January/June 1983 ; The standard model : Geneva, September 2003 -- Quantum reality: Hidden variable : Princeton, Spring 1951 ; Bertlmann's socks : Boston, September 1964 ; The Aspect experiments : Paris, September 1982 ; The quantum eraser : Baltimore, January 1999 ; Lab cats : Stony Brook/Delft, July 2000 ; The persistent illusion : Vienna, December 2006 -- Quantum cosmology: The wavefunction of the universe : Princeton, July 1966 ; Hawking radiation : Oxford, February 1974 ; The first superstring revolution : Aspen, August 1984 ; Quanta of space and time : Santa Barbara, February 1986 ; Crisis? What crisis? : Durham, Summer 1994 -- A quantum of solace? : Geneva, March 2010. (shrink)

In the early 1970s it is was realized that there is a striking formal analogy between the Laws of black-hole mechanics and the Laws of classical thermodynamics. Before the discovery of Hawking radiation, however, it was generally thought that the analogy was only formal, and did not reflect a deep connection between gravitational and thermodynamical phenomena. It is still commonly held that the surface gravity of a stationary black hole can be construed as a true physical temperature and (...) its area as a true entropy only when quantum effects are taken into account; in the context of classical general relativity alone, one cannot cogently construe them so. Does the use of quantum field theory in curved spacetime offer the only hope for taking the analogy seriously? I think the answer is 'no'. To attempt to justify that answer, I shall begin by arguing that the standard argument to the contrary is not physically well founded, and in any event begs the question. Looking at the various ways that the ideas of "temperature" and "entropy" enter classical thermodynamics then will suggest arguments that, I claim, show the analogy between classical black-hole mechanics and classical thermodynamics should be taken more seriously, without the need to rely on or invoke quantum mechanics. In particular, I construct an analogue of a Carnot cycle in which a black hole "couples" with an ordinary thermodynamical system in such a way that its surface gravity plays the role of temperature and its area that of entropy. Thus, the connection between classical general relativity and classical thermodynamics on their own is already deep and physically significant, independent of quantum mechanics. (shrink)

Almost all of the entropy in the universe is in the form of Bekenstein–Hawking (BH) entropy of super-massive black holes. This entropy, if it satisfies Boltzmann’s equation S=logN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S=\log \mathcal{N}$$\end{document}, hence represents almost all the accessible phase space of the Universe, somehow associated to objects which themselves fill out a very small fraction of ordinary three-dimensional space. Although time scales are very long, it is believed that black holes will eventually evaporate (...) by emitting Hawking radiation, which is thermal when counted mode by mode. A pure quantum state collapsing to a black hole will hence eventually re-emerge as a state with strictly positive entropy, which constitutes the famous black hole information paradox. Expanding on a remark by Hawking we posit that BH entropy is a thermodynamic entropy, which must be distinguished from information-theoretic entropy. The paradox can then be explained by information return in Hawking radiation. The novel perspective advanced here is that if BH entropy counts the number of accessible physical states in a quantum black hole, then the paradox can be seen as an instance of the fundamental problem of statistical mechanics. We suggest a specific analogy to the increase of the entropy in a solvation process. We further show that the huge phase volume (N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{N}$$\end{document}), which must be made available to the universe in a gravitational collapse, cannot originate from the entanglement between ordinary matter and/or radiation inside and outside the black hole. We argue that, instead, the quantum degrees of freedom of the gravitational field must get activated near the singularity, resulting in a final state of the ‘entangled entanglement’ form involving both matter and gravity. (shrink)

In this book, Mark P. Fusco offers a historical, philosophical and theological review and appraisal of current research into quantum, post-modern, atheistic, mathematical, and philosophical theories that engage our interpretation of Hans Urs von Balthasar and Ferdinand Ulrich’s accounts of Ur-Kenosis. This cross-disciplinary approach inspires a new speculative metaphysical theory based on the representation of being as a holo-somatic ontology. Holocryptic metaphysics gives us a novel interpretation of transubstantiation as it is founded on the findings of quantum mechanical theory. The (...) quantum object and black hole’s properties present a new way to explain physical matter based on its holographic identity. This scientific theory for representing physical matter’s identity is recognized, for example, in the symmetry existing between a subatomic particle and its orbital shell, a single particle’s identity in relationship to its thermodynamic system, Hawking radiation, and black hole entropy. Further, the properties of quantum non-locality and teleportation signpost a new way to understand the Eternal Logos’ relationship to Jesus Christ and the Eucharist. (shrink)

Problems with the conceptual foundations of quantum mechanics date back to attempts by Max Born, Niels Bohr, Werner Heisenberg, as well as many others in the 1920s to continue to employ the classical concept of a particle in the context of the quantum world. The experimental observations at the time and the assumption that the classical concept of a particle was to be preserved have led to an enormous literature on the foundations of quantum mechanics and a great deal of (...) confusion then and now among non-physicists and students in any field that involves quantum theory. It is the historical approach to the teaching of quantum mechanics that is at the root of the problem. Spacetime is the arena within which quantum mechanical phenomena take place. For this reason, several Appendices are devoted to the nature of spacetime as well as to topics that can help us understand it such as vacuum fluctuations, the Unruh effect and Hawking radiation. Because of the success of quantum mechanical calculations, those who wish to understand the foundations of the theory are often given the apocryphal advice, "just ignore the issue and calculate". It is hoped that this book will help dispel some of the dismay, frustration, and confusion among those who refuse to take to heart this admonition. (shrink)

We present a framework for analyzing black hole backreaction from the point of view of quantum open systems using influence functional formalism. We focus on the model of a black hole described by a radially perturbed quasi-static metric and Hawking radiation by a conformally coupled massless quantum scalar field. It is shown that the closed-time-path (CTP) effective action yields a non-local dissipation term as well as a stochastic noise term in the equation of motion, the Einstein–Langevin equation. Once (...) the thermal Green's function in a Schwarzschild background becomes available to the required accuracy, the strategy described here can be applied to obtain concrete results on backreaction. We also present an alternative derivation of the CTP effective action in terms of the Bogolyubov coefficients, thus making a connection with the interpretation of the noise term as measuring the difference in particle production in alternative histories. (shrink)

Using quantum liquids one can simulate the behavior of the quantum vacuum in the presence of the event horizon. The condensed matter analogs demonstrate that in most cases the quantum vacuum resists formation of the horizon, and even if the horizon is formed different types of the vacuum instability develop, which are faster than the process of Hawking radiation. Nevertheless, it is possible to create the horizon on the quantum-liquid analog of the brane, where the vacuum life-time is (...) long enough to consider the horizon as the quasistationary object. Using this analogy we calculate the Bekenstein entropy of the near-extremal and extremal black holes, which comes from the fermionic microstates in the region of the horizon—the fermion zero modes. We also discuss how the cancellation of the large cosmological constant follows from the thermodynamics of the vacuum. (shrink)

The cosmic censorship hypothesis states that the general theory of relativity has built in mechanisms to prevent the formation of "naked singularities," pathologies in the spacetime structure that lead to a breakdown in predictability and determinism. This paper discusses some attempts to turn the vague hypothesis into a precise conjecture. Evidence in favor of and against the conjecture is briefly reviewed. Finally the possibility of forming naked singularities via black hole evaporation due to Hawking radiation is discussed.

The massless Thirring model of a self-interacting ferinion field in a curved two-dimensional background spacetime is considered. The exact operator solution for the fields and the equation for the two-point function are given and used to examine the radiation emitted by a two-dimensional black hole. The radiation is found to be thermal in nature, confirming general predictions to this effect. We compute the particle spectrum of the Thirring fermions at finite temperature in Minkowski space and point out errors (...) in a previous attempt at this calculation. Finally we calculate the vacuum expectation value of the stress tensor in an arbitrary two-dimensional spacetime by exploiting the connection between the thermal Hawking radiation from a black hole and the value of the so-called conformal trace anomaly. The latter is also computed quite independently, using dimensional regularization, from general considerations of the renormalization group. (shrink)

The concept of the vacuum in quantum field theory is a subtle one. Vacuum states have a rich and complex set of properties that produce distinctive, though usually exceedingly small, physical effects. Quantum vacuum noise is familiar in optical and electronic devices, but in this paper I wish to consider extending the discussion to systems in which gravitation, or large accelerations, are important. This leads to the prediction of vacuum friction: The quantum vacuum can act in a manner reminiscent of (...) a viscous fluid. One result is that rapidly changing gravitational fields can create particles from the vacuum, and in turn the backreaction on the gravitational dynamics operates like a damping force. I consider such effects in early universe cosmology and the theory of quantum black holes, including the possibility that the large-scale structure of the universe might be produced by quantum vacuum noise in an early inflationary phase. I also discuss the curious phenomenon that an observer who accelerates through a quantum vacuum perceives a bath of thermal radiation closely analogous to Hawking radiation from black holes, even though an inertial observer registers no particles. The effects predicted raise very deep and unresolved issues about the nature of quantum particles, the role of the observer, and the relationship between the quantum vacuum and the concepts of information and entropy. © 2001 American Institute of Physics. (shrink)

The black hole information paradox arises from an apparent conflict between the Hawking black hole radiation and the fact that time evolution in quantum mechanics is unitary. The trouble is that while the former suggests that information of a system falling into a black hole disappears, the latter implies that information must be conserved. In this work we discuss the current divergence in views regarding the paradox, we evaluate the role that objective collapse theories could play in its (...) resolution and we propose a link between spontaneous collapse events and microscopic virtual black holes. (shrink)

Over the years, the so-called black hole information loss paradox has generated an amazingly diverse set of proposals. However, 40 years after the introduction of Hawking’s radiation, there continues to be a debate regarding whether the effect does, in fact, lead to an actual problem. In this paper we try to clarify some aspect of the discussion by describing two possible perspectives regarding the landscape of the information loss issue. Moreover, we advance a fairly conservative point of view (...) regarding the relation between evaporating black holes and the rest of physics, which leads us to advocate a generalized breakdown of unitarity. We conclude by exploring some implications of our proposal in relation with conservation laws. (shrink)

Presentations of black hole complementarity by van Dongen and de Haro, as well as by 't Hooft, suffer from a mistaken claim that interactions between matter falling into a black hole and the emitted Hawking-like radiation should lead to a failure of commutativity between space-like-related observables localized inside and outside the black hole. I show that this conclusion is not supported by our standard understanding of quantum interactions. We have no reason to believe that near-horizon interactions will threaten (...) microcausality. If these interactions reliably transfer information to the outgoing radiation, then this response to Hawking's information loss argument should amount to a version of the bleaching scenario. I argue that the challenge facing black hole complementarity is that of reconciling this commitment to bleaching with the expectation that the event horizon will be locally unremarkable. This challenge is most promisingly met by proposals that postulate a consistent account of the limitations of our local semi-classical theories, but no support is added to these postulates by appeals to verificationism or to the interactions considered by 't Hooft. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

A Brief History of Time: From the Big Bang to Black Holes is a popular-science book on cosmology (the study of the origin and evolution of the universe) by British physicist Stephen Hawking. It was first published in 1988. Hawking wrote the book for readers who have no prior knowledge of the universe and people who are interested in learning.

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents, (1) truth-conditions, and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth- conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

Tras señalar que la Segunda Ley de la Termodinámica se cumple porque el universo empezó en un estado ordenado, y que para predecir el estado inicial se deben ocupar tanto la relatividad general como la teoría cuántica, Hawking propone que el universo no tiene una sola historia sino todas las historias posibles, cada una con su propia amplitud de probabilidad. Postula que las historias del universo dependen de lo que está siendo medido, al revés de la idea habitual de (...) que el universo tiene una historia objetiva, independiente del observador: creamos la historia mediante nuestra observación, en lugar de que la historia nos cree a nosotros. Sostiene que la condición inicial para el universo es una de ausencia de fronteras, lo que implica que el universo primitivo debió haber sido casi liso, pero con pequeñas irregularidades; y que éstas habrían crecido luego bajo la influencia de la gravedad y conducido a la formación de galaxias, estrellas y, en último término, a seres considerados inteligentes. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

Einstein said that the most incomprehensible thing about the universe is that it is comprehensible. But was he right? Can the quantum theory of fields and Einstein's general theory of relativity, the two most accurate and successful theories in all of physics, be united in a single quantum theory of gravity? Two of the world's most famous physicists - Stephen Hawking and Roger Penrose - disagree. Here they explain their positions in a work based on six lectures with a (...) final debate, all originally presented at the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

Unlike other primate males, men invest substantial effort in producing food that is consumed by others. The Hunting Hypothesis proposes this pattern evolved in early Homo when ancestral mothers began relying on their mates’ hunting to provision dependent offspring. Evidence for this idea comes from hunter-gatherer ethnography, but data we collected in the 1980s among East African Hadza do not support it. There, men targeted big game to the near exclusion of other prey even though they were rarely successful and (...) most of the meat went to others, at significant opportunity cost to their own families. Based on Hadza data collected more recently, Wood and Marlowe contest our position, affirming the standard view of men’s foraging as family provisioning. Here we compare the two studies, identify similarities, and show that emphasis on big game results in collective benefits that would not be supplied if men foraged mainly to provision their own households. Male status competition remains a likely explanation for Hadza focus on big game, with implications for hypotheses about the deeper past. (shrink)

Dr. Stephen Hawking was the most renowned scientist since Einstein, known both for his groundbreaking work in physics and cosmology and for his mischievous sense of humor. He educated millions of readers about the origins of the universe and the nature of black holes, and inspired millions more by defying a terrifying early prognosis of ALS, which originally gave him only two years to live. In later life he could communicate only by using a few facial muscles, but he (...) continued to advance his field and serve as a revered voice on social and humanitarian issues. Hawking not only unraveled some of the universe's greatest mysteries but also believed science plays a critical role in fixing problems here on Earth. Now he turns his attention to the most urgent issues facing us. Will humanity survive? Should we colonize space? Does God exist? These are just a few of the questions Hawking addresses in this wide-ranging, passionately argued final book from one of the greatest minds in history. Featuring a foreword by Eddie Redmayne, who won an Oscar playing Stephen Hawking, an introduction by Nobel Laureate Kip Thorne, and an afterword from Hawking's daughter, Lucy. (shrink)

Sonic Persuasion is predominantly a history of sound in twentieth-century American culture that offers examples of how sound functions argumentatively in specific historical contexts. Goodale argues that sound can be read or interpreted in a manner similar to words and images but that the field of communication has largely neglected sound and its relationship to words and images. He shows how dialect, accents, and intonations in presidential speeches; ticking clocks, rumbling locomotives, and machinic hums in literary texts; and the sound (...) of sirens and bombs in cartoons and war propaganda all function persuasively in rhetorical ecologies that contain words, images, and technologies. The book opens with an anecdote .. (shrink)

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Both gender and the law are significant determinants of health and well-being. Here, we put forward evidence to unpack the relationship between gender and outcomes in health and well-being, and explore how legal determinants interact and intersect with gender norms to amplify or reduce health inequities across populations. The paper explores the similarities between legal and health systems in their response to gender—both systems portray gender neutrality but would be better described as gender-blind. We conclude with a set of recommendations (...) to address both law and gender in implementing the work of the Lancet Commission on the legal determinants of health to improve health outcomes for all, irrespective of gender. (shrink)

The ratio of index- and ring-finger lengths is thought to be related to prenatal androgen exposure, and in many, though not all, populations, men have a lower average digit ratio than do women. In many studies an inverse relationship has been observed, among both men and women, between 2D:4D ratio and measures of athletic ability. It has been further suggested that, in hunter-gatherer populations, 2D:4D ratio might also be negatively correlated with hunting ability, itself assumed to be contingent on athleticism. (...) This hypothesis has been tested using endurance running performance among runners from a Western, educated, and industrialized population as a proximate measure of hunting ability. However, it has not previously been tested among actual hunter-gatherers using more ecologically valid measures of hunting ability and success. The current study addresses this question among Tanzanian Hadza hunter-gatherers. I employ a novel method of assessing hunting reputation that, unlike previous methods, allows granular distinctions to be made between hunters at all levels of perceived ability. I find no statistically significant relationship between digit ratio and either hunting reputation or two important hunting skills. I confirm that Hadza men have higher mean 2D:4D ratios than men in many Western populations. I discuss the notion that 2D:4D ratio may be the consequence of an allometric scaling relationship between relative and absolute finger lengths. Although it is difficult to draw clear conclusions from these results, the current study provides no support for the theorized relationship between 2D:4D ratio and hunting skill. (shrink)

An exploration of the central role of indirect modes of expression in ancient China.

We examine a prominent naturalistic line on the method of cases, exemplified by Timothy Williamson and Edouard Machery: MoC is given a fallibilist and non-exceptionalist treatment, accommodating moderate modal skepticism. But Gettier cases are in dispute: Williamson takes them to induce substantive philosophical knowledge; Machery claims that the ambitious use of MoC should be abandoned entirely. We defend an intermediate position. We offer an internal critique of Macherian pessimism about Gettier cases. Most crucially, we argue that Gettier cases needn’t exhibit (...) ‘disturbing characteristics’ that Machery posits to explain why philosophical cases induce dubious judgments. It follows, we show, that Machery’s central argument for the effective abandonment of MoC is undermined. Nevertheless, we engineer a restricted variant of the argument—in harmony with Williamsonian ideology–that survives our critique, potentially limiting philosophy’s scope for establishing especially ambitious modal theses, despite traditional MoC’s utility being partially preserved. (shrink)

Animates the erratic, often mercenary character of America's pen of independence and sometime anonymous political columnist whose pungent propaganda profoundly influenced the two greatest sociopolitical upheavals of the 18th century.

In this paper, the author defends Peter van Inwagen’s modal skepticism. Van Inwagen accepts that we have much basic, everyday modal knowledge, but denies that we have the capacity to justify philosophically interesting modal claims that are far removed from this basic knowledge. The author also defends the argument by means of which van Inwagen supports his modal skepticism, offering a rebuttal to an objection along the lines of that proposed by Geirrson. Van Inwagen argues that Stephen Yablo’s recent and (...) influential account of the relationship between conceivability and possibility supports his skeptical claims. The author’s defence involves a creative interpretation and development of Yablo’s account, which results in a recursive account of modal epistemology, what the author calls the “safe explanation” theory of modal epistemology. (shrink)