James Weatherall

We consider the duality between General Relativity and the theory of Einstein algebras, in the extended setting where one permits non-Hausdorff manifolds. We show that the duality breaks down, and then go on to discuss a sense in which general relativity, formulated using non-Hausdorff manifolds, exhibits excess structure when compared to Einstein algebras. We discuss how these results bear on a class of algebraically-motivated deflationist views about spacetime ontology. We conclude with a conjecture concerning non-Hausdorff spacetimes with no bifurcate curves.

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang–Mills theories. In particular, the chapter explains how the Baez–Bartel–Dolan framework for classifying forgetful functors provides a precise way of saying when one formulation of a physical theory posits more or less structure than another, and also when two theories posit equivalent amounts of structure.

This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called ``rigidity'' that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.

A new reading of G.E. Moore's ‘Proof of an External World’ is offered, on which the Proof is understood as a unique and essential part of an anti‐sceptical strategy that Moore worked out early in his career and developed in various forms, from 1909 until his death in 1958. I begin by ignoring the Proof and by developing a reading of Moore's broader response to scepticism. The bulk of the article is then devoted to understanding what role the Proof plays in Moore's strategy, and how that role is played.

Determinism is the thesis that the past determines the future, but efforts to define it precisely have exposed deep methodological disagreements. Standard possible-worlds formulations of determinism presuppose an "agreement" relation between worlds, but this relation can be understood in multiple ways -- none of which is particularly clear. We critically examine the proliferation of definitions of determinism in the recent literature, arguing that these definitions fail to deliver clear verdicts about actual scientific theories. We advocate a return to a formal approach, in the logical tradition of Carnap, that treats determinism as a property of scientific theories, rather than an elusive metaphysical doctrine. We highlight two key distinctions: (1) the difference between qualitative and "full" determinism, as emphasized in recent discussions of physics and metaphysics, and (2) the distinction between weak and strong formal conditions on the uniqueness of world extensions. We argue that defining determinism in terms of metaphysical notions such as haecceities is unhelpful, whereas rigorous formal criteria -- such as Belot's D1 and D3 -- offer a tractable and scientifically relevant account. By clarifying what it means for a theory to be deterministic, we set the stage for a fruitful interaction between physics and metaphysics.

This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called "rigidity" that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.

In their recent book, Oreskes and Conway ([ 2010 ]) describe the ‘tobacco strategy’, which was used by the tobacco industry to influence policymakers regarding the health risks of tobacco products. The strategy involved two parts, consisting of (i) promoting and sharing independent research supporting the industry’s preferred position and (ii) funding additional research, but selectively publishing the results. We introduce a model of the tobacco strategy, and use it to argue that both prongs of the strategy can be extremely effective—even when policymakers rationally update on all evidence available to them. As we elaborate, this model helps illustrate the conditions under which the tobacco strategy is particularly successful. In addition, we show how journalists engaged in ‘fair’ reporting can inadvertently mimic the effects of industry on public belief. 1Introduction 2Epistemic Network Models 3Selective Sharing 4Biased Production 5Journalists as Unwitting Propagandists 6Conclusion Appendix.

In this two-part essay, we distinguish several senses in which general relativity has been regarded as “locally special relativistic.” Here, in Part 1, we focus on senses in which a relativistic spacetime has been said to be “locally (approximately) Minkowskian.” After critiquing several proposals in the literature, we present a result capturing a substantive sense in which every relativistic spacetime is locally approximately Minkowskian. We then show that Minkowski spacetime is not distinguished in this result: every relativistic spacetime is locally approximately every other spacetime in the same sense. In Part 2, we will consider “locally specially relativistic” matter theories.

In this two-part essay, we distinguish several senses in which general relativity has been regarded as “locally special relativistic.” In Part 1, we focused on senses in which a relativistic spacetime may be said to be “locally (approximately) Minkowskian.” Here, in Part 2, we consider what it might mean to say that a matter theory is “locally special relativistic.” We isolate and evaluate three criteria in the literature and show that they are incompatible: matter theories satisfying one will generally violate others. We then consider what would happen if any of those criteria failed for a given theory.

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

There are well-known problems associated with the idea of gravitational energy in general relativity. We offer a new perspective on those problems by comparison with Newtonian gravitation, and particularly geometrized Newtonian gravitation. We show that there is a natural candidate for the energy density of a Newtonian gravitational field. But we observe that this quantity is gauge dependent, and that it cannot be defined in the geometrized theory without introducing further structure. We then address a potential response by showing that there is an analogue to the Weyl tensor in geometrized Newtonian gravitation.

Wilhelm (Forthcom Synth 199:6357–6369, 2021) has recently defended a criterion for comparing structure of mathematical objects, which he calls Subgroup. He argues that Subgroup is better than SYM \(^*\), another widely adopted criterion. We argue that this is mistaken; Subgroup is strictly worse than SYM \(^*\). We then formulate a new criterion that improves on both SYM \(^*\) and Subgroup, answering Wilhelm’s criticisms of SYM \(^*\) along the way. We conclude by arguing that no criterion that looks only to the automorphisms of mathematical objects to compare their structure can be fully satisfactory.

It is widely accepted by physicists and philosophers of physics alike that there are certain contexts in which general relativity will “break down”. In such cases, one expects to need some as-yet undiscovered successor theory. This paper will discuss certain pathologies of general relativity that might be taken to signal that the theory is breaking down, and consider how one might expect a successor theory to do better. The upshot will be an unconventional interpretation of the “Strong Cosmic Censorship Hypothesis”.

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 1, which addresses empirical equivalence and definitional equivalence.

Scientific curation, where scientific evidence is selected and shared, is essential to public belief formation about science. Yet common curation practices can distort the body of evidence the public sees. Focusing on science journalism, we employ computational models to investigate how such distortions influence public belief. We consider these effects for agents with and without confirmation bias. We find that standard journalistic practices can lead to significant distortions in public belief; that preexisting errors in public belief can drive further distortions in reporting; that practices that appear relatively unobjectionable can produce serious epistemic harm; and that, in some cases, common curation practices related to fairness and extreme reporting can lead to polarization.