Jeffrey Barrett

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.

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.

Accuracy in the philosophical theory of rationality demands that we recognize particular beliefs as arising within the context of larger units, the cultural or conceptual schemes, patterns, or practices, involvement in which itself provides standards and grounds for their rational evaluation. At the same time, though, a satisfactory account of rationality cannot hold the standards, values, or commitments of one particular culture, practice, or conceptual scheme, even one’s own, immune from rational criticism. In order to accurately and responsibly picture the shape of our commitments and the dynamics of their revision over time, in other words, the theory of rationality must reconcile the immanence of reason to particular cultural and conceptual units with its transcendence of them. This raises a deep and far-ranging problem of perspective. In his perspicuous presentation of it, Hilary Putnam put the problem this way: There are two points that must be balanced, both points that have been made by philosophers of many different kinds: (1) talk of what is ‘right’ and ‘wrong’ in any area only makes sense against the background of an inherited tradition; but (2) traditions themselves can be criticized … On the one hand, there is no notion of reasonableness at all without cultures, practices, procedures; on the other hand, the cultures, practices, procedures we inherit are not an algorithm to be slavishly followed. As Mill said, commenting on his own inductive logic, there is no rule book which will not lead to terrible results ‘if supposed to be conjoined with universal idiocy.’ Reason is, in this sense, both immanent (not to be found outside of concrete language games and institutions) and transcendent (a regulative idea that we use to criticize the conduct of all activities and institutions). (p. 431). As Putnam argues, it is difficult to find a standpoint of theory from which the contrasting claims of immanence and transcendence can be reconciled..

This paper is concerned with how a simple metalanguage might coevolve with a simple descriptive base language in the context of interacting Skyrms–Lewis signaling games Lewis. We will first consider a metagame that evolves to track the successful and unsuccessful use of a coevolving base language, then we will consider a metagame that evolves a truth predicate for expressions in a coevolving base language. We will see how a metagame that tracks truth provides an endogenous way to break the symmetry between indicative and imperative interpretations of the base language. Finally, we will consider how composite signaling games provide a way to characterize alternative pragmatic notions of truth.

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.

On Bohm's formulation of quantum mechanics particles always have determinate positions and follow continuous trajectories. Bohm's theory, however, requires a postulate that says that particles are initially distributed in a special way: particles are randomly distributed so that the probability of their positions being represented by a point in any regionR in configuration space is equal to the square of the wave-function integrated overR. If the distribution postulate were false, then the theory would generally fail to make the right statistical predictions. Further, if it were false, then there would at least in principle be situations where a particle would approach an eigenstate of having one position but in fact always be somewhere very different. Indeed, we will see how this might happen even if the distribution postulate were true. This will help to show how loose the connection is between the wave-function and the positions of particles in Bohm's theory and what the precise role of the distribution postulate is. Finally, we will briefly consider two attempts to formulate a version of Bohm's theory without the distribution postulate.

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.

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

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

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.

α-recursion lifts classical recursion theory from the first transfinite ordinal ω to an arbitrary admissible ordinal α [10]. Idealized computational models for α-recursion analogous to Turing machine models for classical recursion have been proposed and studied [4] and [5] and are applicable in computational approaches to the foundations of logic and mathematics [8]. They also provide a natural setting for modeling extensions of the algorithmic logic described in [1] and [2]. On such models, an α-Turing machine can complete a θ-step computation for any ordinal θ < α. Here we consider constraints on the physical realization of α-Turing machines that arise from the structure of physical spacetime. In particular, we show that an α-Turing machine is realizable in a spacetime constructed from R only if α is countable. While there are spacetimes where uncountable computations are possible and while they may even be empirically distinguishable from a standard spacetime, there is good reason to suppose that such nonstandard spacetimes are nonphysical. We conclude with a suggestion for a revision of Church’s thesis appropriate as an upper bound for physical computation.

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.

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].

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

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

There is a long tradition of trying to find a satisfactory interpretation of Everett's relative-state formulation of quantum mechanics. Albert and Loewer recently described two new ways of reading Everett: one we will call the single-mind theory and the other the many-minds theory. I will briefly describe these theories and present some of their merits and problems. Since both are no-collapse theories, a significant merit is that they can take advantage of certain properties of the linear dynamics, which Everett apparently considered to be important, to constrain their statistical laws

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

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