Jeffrey Barrett

There is good reason to suppose that our best physical theories are false: In addition to its own internal problems, the standard formulation of quantum mechanics is logically incompatible with special relativity. There is also good reason to suppose that we have no concrete idea concerning what it might mean to claim that these theories are approximately or vaguely true. I will argue that providing a concrete understanding the approximate or vague truth of our current physical theories is not a task for traditional epistemology; rather, this is only possible in the context of ongoing empirical inquiry. [Note #1].

A field-theoretic version of Wigner’s friend (1961) illustrates how the quantum measurement problem arises for field theory. Similarly, considering spacelike separate measurements of entangled fields by observers akin to Wigner’s friend shows the sense in which relativistic constraints make the measurement problem particularly difficult to resolve in the context of a relativistic field theory. We will consider proposals by Wigner (1961), Bloch (1967), Helwig and Kraus (1970), and Bell (1984) for resolving the measurement problem for quantum field theory. We will conclude by considering the possibility of giving up rich dynamical explanation in the context of a many-maps formulation of relativistic quantum field theory.

This paper concerns two composite Lewis-Skyrms signaling games. Each consists in a base game that evolves a language descriptive of nature and a metagame that coevolves a language descriptive of the base game and its evolving language. The first composite game shows how a pragmatic notion of truth might coevolve with a simple descriptive language. The second shows how a pragmatic notion of probability might similarly coevolve. Each of these pragmatic notions is characterized by the particular game and role that it comes to play in the game.

Hugh Everett III proposed his relative-state formulation of pure wave mechanics as a solution to the quantum measurement problem. He sought to address the theory’s determinate record and probability problems by showing that, while counterintuitive, pure wave mechanics was nevertheless empirically faithful and hence empirical acceptable. We will consider what Everett meant by empirical faithfulness. The suggestion will be that empirical faithfulness is well understood as a weak variety of empirical adequacy. The thought is that the very idea of empirical adequacy might be renegotiated in the context of a new physical theory given the theory’s other virtues. Everett’s argument for pure wave mechanics provides a concrete example of such a renegotiation

We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier work, this situation leaves one no choice but to restrict the use of a certain class of implicational rules including modus ponens