The present paper shows how one might model Everettian quantum mechanics using hyperfinitely many worlds. A hyperfinite model allows one to consider idealized measurements of observables with continuous-valued spectra where different outcomes are associated with possibly infinitesimal probabilities. One can also prove hyperfinite formulations of Everett’s limiting relative-frequency and randomness properties, theorems he considered central to his formulation of quantum mechanics. Finally, this model provides an intuitive framework in which to consider no-collapse formulations of quantum mechanics more generally.

A situated observer is an observer as modeled within the world characterized by one’s physical theory. A physical theory arguably only makes empirical predictions if it makes predictions for the records of a situated observer. In this spirit, one has a satisfactory solution to the measurement problem only if one has a formulation of quantum mechanics that makes the right empirical predictions for the records of a situated observer. Bohmian mechanics addresses the measurement problem by explaining what measurement records are, (...) how a situated observer might produce them, and why a situated observer should expect the standard quantum predictions. The notion of an effective wave function is crucial in understanding how the theory makes empirical predictions. (shrink)

The present paper shows how one might model Everettian quantum mechanics using hyperfinitely many worlds. A hyperfinite model allows one to consider idealized measurements of observables with continuous-valued spectra where different outcomes are associated with possibly infinitesimal probabilities. One can also prove hyperfinite formulations of Everett’s limiting relative-frequency and randomness properties, theorems he considered central to his formulation of quantum mechanics. Finally, this model provides an intuitive framework in which to consider no-collapse formulations of quantum mechanics more generally.

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. The standard theory of quantum mechanics is in one sense the most successful physical theory ever, predicting the behaviour of the basic constituents of all physical things; no other theory has ever made such accurate empirical predictions. However, if one tries to understand the theory as providing a complete and accurate framework for the description of the behaviour of (...) all physical interactions, it becomes evident that the theory is ambiguous, or even logically inconsistent. The most notable attempt to formulate the theory so as to deal with this problem, the quantum measurement problem, was initiated by Hugh Everett III in the 1950s. Barrett gives a careful and challenging examination and evaluation of the work of Everett and those who have followed him. His informal approach, minimizing technicality, will make the book accessible and illuminating for philosophers and physicists alike. Anyone interested in the interpretation of quantum mechanics should read it. (shrink)

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. Quantum mechanics is in one sense the most successful physical theory ever, accurately predicting the behaviour of the basic constituents of matter. But it has an apparent ambiguity or inconsistency at its heart; Barrett gives a careful, clear, and challenging evaluation of attempts to deal with this problem.

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s.

Propositional content arises from the practice of signaling with information transfer when a signaling process settles into some sort of a pattern, and eventually what we call meaning or propositional content crystallizes out. We give an evolutionary account of this process.

We consider how an epistemic network might self-assemble from the ritualization of the individual decisions of simple heterogeneous agents. In such evolved social networks, inquirers may be significantly more successful than they could be investigating nature on their own. The evolved network may also dramatically lower the epistemic risk faced by even the most talented inquirers. We consider networks that self-assemble in the context of both perfect and imperfect communication and compare the behaviour of inquirers in each. This provides a (...) step in bringing together two new and developing research programs, the theory of self-assembling games and the theory of network epistemology. (shrink)

We consider how cue-reading, sensory-manipulation, and signaling games may initially evolve from ritualized decisions and how more complex games may evolve from simpler games by polymerization, template transfer, and modular composition. Modular composition is a process that combines simpler games into more complex games. Template transfer, a process by which a game is appropriated to a context other than the one in which it initially evolved, is one mechanism for modular composition. And polymerization is a particularly salient example of modular (...) composition where simpler games evolve to form more complex chains. We also consider how the evolution of new capacities by modular composition may be more efficient than evolving those capacities from basic decisions. (shrink)

Lewis sender‐receiver games illustrate how a meaningful term language might evolve from initially meaningless random signals (Lewis 1969; Skyrms 2006). Here we consider how a meaningful language with a primitive grammar might evolve in a somewhat more subtle sort of game. The evolution of such a language involves the co‐evolution of partitions of the physical world into what may seem, at least from the perspective of someone using the language, to correspond to canonical natural kinds. While the evolved language may (...) allow for the sort of precise representation that is required for successful coordinated action and prediction, the apparent natural kinds reflected in its structure may be purely conventional. This has both positive and negative implications for the limits of naturalized metaphysics. (shrink)

Everett's relative-state formulation of quantum mechanics is an attempt to solve the measurement problem by dropping the collapse dynamics from the standard von Neumann-Dirac theory of quantum mechanics. The main problem with Everett's theory is that it is not at all clear how it is supposed to work. In particular, while it is clear that he wanted to explain why we get determinate measurement results in the context of his theory, it is unclear how he intended to do this. There (...) have been many attempts to reconstruct Everett's no-collapse theory in order to account for the apparent determinateness of measurement outcomes. These attempts have led to such formulations of quantum mechanics as the many-worlds, many-minds, many-histories, and relative-fact theories. Each of these captures part of what Everett claimed for his theory, but each also encounters problems. (shrink)

Lewis signaling games illustrate how language might evolve from random behavior. The probability of evolving an optimal signaling language is, in part, a function of what learning strategy the agents use. Here we investigate three learning strategies, each of which allows agents to forget old experience. In each case, we find that forgetting increases the probability of evolving an optimal language. It does this by making it less likely that past partial success will continue to reinforce suboptimal practice. The learning (...) strategies considered here show how forgetting past experience can promote learning in the context of games with suboptimal equilibria. (shrink)

This book provides an introduction to the conceptual foundations of quantum mechanics, from classical mechanics and a discussion of the quantum phenomena that undermine our classical intuitions about how the physical world works, to the quantum measurement problem and alternatives to the standard von Neumann-Dirac formulation.

We are concerned here with how structural properties of language may come to reflect features of the world in which it evolves. As a concrete example, we will consider how a simple term language might evolve to support the principle of indifference over state descriptions in that language. The point is not that one is justified in applying the principle of indifference to state descriptions in natural language. Instead, it is that one should expect a language that has evolved in (...) the context of facilitating successful action to reflect probabilistic features of the world in which it evolved. (shrink)

We consider how cue-reading, sensory-manipulation, and signaling games may initially evolve from ritualized decisions and how more complex games may evolve from simpler games by polymerization, template transfer, and modular composition. Modular composition is a process that combines simpler games into more complex games. Template transfer, a process by which a game is appropriated to a context other than the one in which it initially evolved, is one mechanism for modular composition. And polymerization is a particularly salient example of modular (...) composition where simpler games evolve to form more complex chains. We also consider how the evolution of new capacities by modular composition may be more efficient than evolving those capacities from basic decisions. (shrink)

Signaling games with reinforcement learning have been used to model the evolution of term languages (Lewis 1969, Convention. Cambridge, MA: Harvard University Press; Skyrms 2006, “Signals” Presidential Address. Philosophy of Science Association for PSA). In this article, syntactic games, extensions of David Lewis’s original sender–receiver game, are used to illustrate how a language that exploits available syntactic structure might evolve to code for states of the world. The evolution of a language occurs in the context of available vocabulary and syntax—the (...) role played by each component is compared in the context of simple reinforcement learning. (shrink)

David Lewis (1969) introduced sender-receiver games as a way of investigating how meaningful language might evolve from initially random signals. In this report I investigate the conditions under which Lewis signaling games evolve to perfect signaling systems under various learning dynamics. While the 2-state/2- term Lewis signaling game with basic urn learning always approaches a signaling system, I will show that with more than two states suboptimal pooling equilibria can evolve. Inhomogeneous state distributions increase the likelihood of pooling equilibria, but (...) learning strategies with negative reinforcement or certain sorts of mutation can decrease the likelihood of, and even eliminate, pooling equilibria. Both Moran and APR learning strategies (Bereby-Meyer and Erev 1998) are shown to promote successful convergence to signaling systems. A model is presented that illustrates how a language that codes state-act pairs in an order-based grammar might evolve in the context of a Lewis signaling game. The terms, grammar, and the corresponding partitions of the state space co-evolve to generate a language whose structure appears to reflect canonical natural kinds. The evolution of these apparent natural kinds, however, is entirely in service of the rewards that accompany successful distinctions between the sender and receiver. Any metaphysics grounded on the structure of a natural language that evolved in this way would track arbitrary, but pragmatically useful distinctions. (shrink)

We consider how human subjects establish signaling conventions in the context of Lewis-Skyrms signaling games. These experiments involve games where there are precisely the right number of signal types to represent the states of nature, games where there are more signal types than states, and games where there are fewer signal types than states. The aim is to determine the conditions under which subjects are able to establish signaling conventions in such games and to identify a learning dynamics that approximates (...) how they succeed when they do. Our results suggest that human agents tend to use a win-stay/lose-shift with inertia dynamics to establish conventions in such games. We briefly consider the virtues and vices of this low-rationality dynamics. (shrink)

Everett (1957a, b, 1973) relative-state formulation of quantum mechanics has often been taken to involve a metaphysical commitment to the existence of many splitting worlds each containing physical copies of observers and the objects they observe. While there was earlier talk of splitting worlds in connection with Everett, this is largely due to DeWitt’s (Phys Today 23:30–35, 1970) popular presentation of the theory. While the thought of splitting worlds or parallel universes has captured the popular imagination, Everett himself favored the (...) language of elements, branches, or relative states in describing his theory. The result is that there is no mention of splitting worlds or parallel universes in any of Everett’s published work. Everett, however, did write of splitting observers and was willing to adopt the language of many worlds in conversation with people who were themselves using such language. While there is evidence that Everett was not entirely comfortable with talk of many worlds, it does not seem to have mattered much to him what language one used to describe pure wave mechanics. This was in part a result of Everett’s empirical understanding of the cognitive status of his theory. (shrink)

A many-worlds interpretation is of quantum mechanics tells us that the linear equations of motion are the true and complete laws for the time-evolution of every physical system and that the usual quantum-mechanical states provide complete descriptions of all possible physical situations. Such an interpretation, however, denies the standard way of understanding quantum-mechanical states. When the pointer on a measuring device is in a superposition of pointing many different directions, for example, we are to understand this as many pointers, each (...) in a differentworld, each pointing in a different determinate direction. We ask here whether such talk makes any genuinely intelligible sense of the term world. We conclude that it does not. (shrink)

There is good reason to suppose that our best physical theories, quantum mechanics and special relativity, are false if taken together and literally. If they are in fact false, then how should they count as providing knowledge of the physical world? One might imagine that, while strictly false, our best physical theories are nevertheless in some sense probably approximately true. This paper presents a notion of local probable approximate truth in terms of descriptive nesting relations between current and subsequent theories. (...) This notion helps explain how false physical theories might nevertheless provide physical knowledge of a variety that is particularly salient to diachronic empirical inquiry. (shrink)

This article considers how a generalized signalling game may self-assemble as the saliences of the agents evolve by reinforcement on those sources of information that in fact lead to successful action. On the present account, generalized signalling games self-assemble even as the agents co-evolve meaningful representations and successful dispositions for using those representations. We will see how reinforcement on successful information sources also provides a mechanism whereby simpler games might compose to form more complex games. Along the way, I consider (...) how an old game might be appropriated to a new context by reinforcement on successful associations between old and new saliences. (shrink)

In order to judge whether a theory is empirically adequate one must have epistemic access to reliable records of past measurement results that can be compared against the predictions of the theory. Some formulations of quantum mechanics fail to satisfy this condition. The standard theory without the collapse postulate is an example. Bell's reading of Everett's relative-state formulation is another. Furthermore, there are formulations of quantum mechanics that only satisfy this condition for a special class of observers, formulations whose empirical (...) adequacy could only be judged by an observer who records her measurement results in a special way. Bohm's theory is an example. It is possible to formulate hidden-variable theories that do not suffer from such a restriction, but these encounter other problems. (shrink)

There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.

We present here a hierarchical model for the evolution of compositional language. The model has the structure of a two-sender/one-receiver Lewis signaling game augmented with executive agents who m...

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

Given Hugh Everett III's understanding of the proper cognitive status of physical theories, his relative-state formulation of pure wave mechanics arguably qualifies as an empirically acceptable physical theory. The argument turns on the precise nature of the relationship that Everett requires between the empirical substructure of an empirically faithful physical theory and experience. On this view, Everett provides a weak resolution to both the determinate record and the probability problems encountered by pure wave mechanics, and does so in a way (...) that avoids unnecessary metaphysical complications. Taking Everett's goal to be showing the empirical faithfulness of the relative-state formulation agrees well with his characterization of his project as one of seeking a model for observation in the correlation structure described by pure wave mechanics and seeking a measure of typicality over this empirical substructure that covaries with our empirically warranted expectations. 1 Pure Wave Mechanics and Relative States2 Everett and Frank3 Everett on the Nature of Physical Theories4 Conditions for Empirical Faithfulness5 The Empirical Faithfulness of Pure Wave Mechanics6 Conclusion. (shrink)

Insofar as empirical inquiry involves the coevolution of descriptive language and theoretical commitments, a satisfactory model of empirical knowledge should describe the coordinated evolution of both language and theory. But since we do not know what conceptual resources we might need to express our future theories or to provide our best future faithful descriptions of the world, we do not now know even what the space of future descriptive options might be. One strategy for addressing this shifting-resource problem is to (...) track the predictive and linguistic dispositions of inquirers rather than to track their theories and conceptual resources directly. Sender-predictor games, a variant of Skyrms–Lewis sender-receiver games, provide very simple models for the coordinated coevolution of predictive and linguistic dispositions. Such models explain how it is possible for predictive and descriptive dispositions of inquirers to coevolve, term-wise incommensurable, but nevertheless descriptively faithful languages, to sequentially evolve, and a sort of underdetermination to occur where inquirers might satisfy their descriptive and predictive aims by revising their linguistic dispositions, their theoretical dispositions, or both. Such models also provide an elementary characterization of what it might mean for descriptions of the world to be faithful and hence for empirical inquiry to be successful. In doing so they provide a relatively weak, but perfectly clear, endogenous account of epistemic norms. (shrink)

Insofar as empirical inquiry involves the coevolution of descriptive language and theoretical commitments, a satisfactory model of empirical knowledge should describe the coordinated evolution of both language and theory. But since we do not know what conceptual resources we might need to express our future theories or to provide our best future faithful descriptions of the world, we do not now know even what the space of future descriptive options might be. One strategy for addressing this shifting-resource problem is to (...) track the predictive and linguistic dispositions of inquirers rather than to track their theories and conceptual resources directly. Sender-predictor games, a variant of Skyrms–Lewis sender-receiver games, provide very simple models for the coordinated coevolution of predictive and linguistic dispositions. Such models explain how it is possible for (1) predictive and descriptive dispositions of inquirers to coevolve, (2) term-wise incommensurable, but nevertheless descriptively faithful languages, to sequentially evolve, and (3) a sort of underdetermination to occur where inquirers might satisfy their descriptive and predictive aims by revising their linguistic dispositions, their theoretical dispositions, or both. Such models also provide an elementary characterization of what it might mean for descriptions of the world to be faithful and hence for empirical inquiry to be successful. In doing so they provide a relatively weak, but perfectly clear, endogenous account of epistemic norms. (shrink)

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. I will also argue that we have no concrete idea what it means to claim that these theories are approximately true.

This paper concerns how rule-following behavior might evolve in the context of a variety of Skyrms–Lewis signaling game, how such rules might subsequently evolve to be used in new contexts, and how such appropriation allows for the composition of evolved rules. We will also consider how the composition of simpler rules to form more complex rules may be significantly more efficient than evolving the complex rules directly. And we will review an example of rule following by pinyon and scrub jays (...) as an illustration of the appropriation of a rule to a new context :142–150, 2013a; Barrett, Philos Sci, 2014). The proposal here is that the composition of rules might occur in a way that is precisely analogous to such simple appropriation. Finally, we will briefly consider how any finite truth-functional operation might evolve by the sequential appropriation of simpler rules. (shrink)

In this paper I describe the history of the surreal trajectories problem and argue that in fact it is not a problem for Bohm's theory. More specifically, I argue that one can take the particle trajectories predicted by Bohm's theory to be the actual trajectories that particles follow and that there is no reason to suppose that good particle detectors are somehow fooled in the context of the surreal trajectories experiments. Rather than showing that Bohm's theory predicts the wrong particle (...) trajectories or that it somehow prevents one from making reliable measurements, such experiments ultimately reveal the special role played by position and the fundamental incompatibility between Bohm's theory and relativity. They also provide a striking example of the theory-ladenness of observation. (shrink)

There is significant interest in type-free systems that allow flexible self-application. Such systems are of interest in property theory, natural language semantics, the theory of truth, theoretical computer science, the theory of classes, and category theory. While there are a variety of proposed type-free systems, there is a particularly natural type-free system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning algorithms and the algorithmic rules of inference between such statements. (...) As shown in [1], the threat of paradoxes, such as the Curry paradox, requires care in implementing rules of inference in this context. As in any type-free logic, some traditional rules will fail. The first part of the paper develops a rich collection of inference rules that do not lead to paradox. The second part identifies traditional rules of logic that are paradoxical in algorithmic logic, and so should be viewed with suspicion in type-free logic generally. (shrink)

Skyrms-Lewis signaling games illustrate how meaningful language may evolve from initially meaningless random signals (Lewis, Convention 1969; Skyrms 2008). Here we will consider how incommensurable languages might evolve in the context of signaling games. We will also consider the types of incommensurability exhibited between evolved languages in such games. We will find that sequentially evolved languages may be strongly incommensurable while still allowing for increasingly faithful descriptions of the world.

We consider the nature of quantum randomness and how one might have empirical evidence for it. We will see why, depending on one’s computational resources, it may be impossible to determine whether...

This article concerns how rule-following behavior might evolve, how an old evolved rule might come to be appropriated to a new context, and how simple concepts might coevolve with rule-following behavior. In particular, we consider how the transitive inferential rule-following behavior exhibited by pinyon and scrub jays might evolve in the context of a variety of the Skyrms-Lewis signaling game, then how such a rule might come to be appropriated to carry out inferences regarding stimuli different from those involved in (...) the original evolution of the rule, and how this appropriation involves a step toward the evolution of basic ordinal concepts. (shrink)

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. (shrink)

We tell a story where an agent who chooses in such a way as to make the greatest possible profit on each of an infinite series of transactions ends up worse off than an agent who chooses in such a way as to make the least possible profit on each transaction. That is, contrary to what one might suppose, it is not necessarily rational always to choose the option that yields the greatest possible profit on each transaction.

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. (shrink)

Because of the conceptual difficulties it faces, quantum mechanics provides a salient example of how alternative metaphysical commitments may clarify our understanding of a physical theory and the explanations it provides. Here we will consider how postulating alternative quantum worlds in the context of Hugh Everett III’s pure wave mechanics may serve to explain determinate measurement records and the standard quantum statistics. We will focus on the properties of such worlds, then briefly consider other metaphysical options available for interpreting pure (...) wave mechanics. These reflections will serve to illustrate both the nature and the limits of naturalized metaphysics. (shrink)

We are concerned here with how structural properties of language may come to reflect features of the world in which it evolves. As a concrete example, we will consider how a simple term language might evolve to support the principle of indifference over state descriptions in that language. The point is not that one is justified in applying the principle of indifference to state descriptions in natural language. Instead, it is that one should expect a language that has evolved in (...) the context of facilitating successful action to reflect probabilistic features of the world in which it evolved. (shrink)

I argue that a strong mind–body dualism is required of any formulation of quantum mechanics that satisfies a relatively weak set of explanatory constraints. Dropping one or more of these constraints may allow one to avoid the commitment to a mind–body dualism but may also require a commitment to a physical–physical dualism that is at least as objectionable. Ultimately, it is the preferred basis problem that pushes both collapse and no-collapse theories in the direction of a strong dualism in resolving (...) the quantum measurement problem. Addressing this problem illustrates how the construction and evaluation of explanatorily rich physical theories are inextricably tied to the evaluation of traditional philosophical issues. (shrink)

We are concerned here with explaining how successful rule-following behavior might evolve and how an old evolved rule might come to be successfully used in a new context. Such rule-following behavior is illustrated in the transitive judgments of pinyon and scrub-jays (Bond et al., Anim Behav 65:479–487, 2003). We begin by considering how successful transitive rule-following behavior might evolve in the context of Skyrms–Lewis sender–receiver games (Lewis, Convention. Harvard University Press, Cambridge, 1969; Skyrms, Philos Sci 75:489–500, 2006). We then consider (...) two ways that an agent might come to use an old evolved rule in a new context. The first involves the agent evolving successful dispositions for one concrete type of experience, then associating a new type of experience with the old evolved dispositions. The second involves the agent evolving dispositions that represent a general inferential schema, then composing these dispositions with others in a way that allows the agent to make inferences concerning a new concrete type of experience. (shrink)