
503The singlemind and manyminds versions of quantum mechanicsErkenntnis 42 (1): 89105. 1995.There is a long tradition of trying to find a satisfactory interpretation of Everett's relativestate formulation of quantum mechanics. Albert and Loewer recently described two new ways of reading Everett: one we will call the singlemind theory and the other the manyminds theory. I will briefly describe these theories and present some of their merits and problems. Since both are nocollapse theories, a significant merit is that they can take advantage of certain properties of the linear dynami…Read more

228A QuantumMechanical Argument for Mind–Body DualismErkenntnis 65 (1): 97115. 2006.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 nocollapse theories in the direction of a strong dualism in res…Read more

226On what it takes to be a worldTopoi 14 (1): 3537. 1995.A manyworlds interpretation is of quantum mechanics tells us that the linear equations of motion are the true and complete laws for the timeevolution of every physical system and that the usual quantummechanical states provide complete descriptions of all possible physical situations. Such an interpretation, however, denies the standard way of understanding quantummechanical states. When the pointer on a measuring device is in a superposition of pointing many different directions, for exampl…Read more

197The strange world of quantum mechanics Daniel F. styer (review)British Journal for the Philosophy of Science 52 (2): 393396. 2001.

181Are our best physical theories (probably and/or approximately) true?Philosophy of Science 70 (5): 12061218. 2003.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

171SelfAssembling NetworksBritish Journal for the Philosophy of Science 70 (1): 125. 2019.We consider how an epistemic network might selfassemble 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 selfassemble in the context of both perfect and imperfect communication and compare the b…Read more

152Relativistic Quantum Mechanics through Frame‐Dependent ConstructionsPhilosophy of Science 72 (5): 802813. 2005.This paper is concerned with the possibility and nature of relativistic hiddenvariable formulations of quantum mechanics. Both ad hoc teleological constructions of spacetime maps and framedependent constructions of spacetime maps are considered. While framedependent constructions are clearly preferable, they provide neither mechanical nor causal explanations for local quantum events. Rather, the hiddenvariable dynamics used in such constructions is just a rule that helps to characterize the s…Read more

148Review of Bas C. van Fraassen: Scientific Representation: Paradoxes of Perspective (review)Journal of Philosophy 106 (11): 634639. 2009.

137On the Faithful Interpretation of Pure Wave MechanicsBritish Journal for the Philosophy of Science 62 (4): 693709. 2011.Given Hugh Everett III's understanding of the proper cognitive status of physical theories, his relativestate 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 enc…Read more

137The preferredbasis problem and the quantum mechanics of everythingBritish Journal for the Philosophy of Science 56 (2): 199220. 2005.argued that there are two options for what he called a realistic solution to the quantum measurement problem: (1) select a preferred set of observables for which definite values are assumed to exist, or (2) attempt to assign definite values to all observables simultaneously (1810–1). While conventional wisdom has it that the second option is ruled out by the KochenSpecker theorem, Vink nevertheless advocated it. Making every physical quantity determinate in quantum mechanics carries with it sig…Read more

112Book review: Quantum chance and nonlocality, by Michael Dickson (review)Foundations of Physics 29 (6): 10111018. 1999.

107Everett's relativestate formulation of quantum mechanicsStanford Encyclopedia of Philosophy. 2008.Everett's relativestate formulation of quantum mechanics is an attempt to solve the measurement problem by dropping the collapse dynamics from the standard von NeumannDirac 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 att…Read more

101The distribution postulate in Bohm's theoryTopoi 14 (1): 4554. 1995.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 wavefunction integrated overR. If the distribution postulate were false, then the the…Read more

100The Evolution of Coding in Signaling GamesTheory and Decision 67 (2): 223237. 2009.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 langu…Read more

97Stability and Paradox in Algorithmic LogicJournal of Philosophical Logic 36 (1): 6195. 2007.There is significant interest in typefree systems that allow flexible selfapplication. 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 typefree systems, there is a particularly natural typefree system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning alg…Read more

89The suggestive properties of quantum mechanics without the collapse postulateErkenntnis 41 (2). 1994.Everett proposed resolving the quantum measurement problem by dropping the nonlinear collapse dynamics from quantum mechanics and taking what is left as a complete physical theory. If one takes such a proposal seriously, then the question becomes how much of the predictive and explanatory power of the standard theory can one recover without the collapse postulate and without adding anything else. Quantum mechanics without the collapse postulate has several suggestive properties, which we will co…Read more

82On Everett’s Formulation of Quantum MechanicsThe Monist 80 (1): 7096. 1997.Everett wanted a formulation of quantum mechanics that took the linear dynamics to be a complete and accurate description of the timeevolution of all physical systems and logically entailed the same subjective appearances predicted by the standard formulation of quantum mechanics. While most everyone would agree with this description of Everett’s project, there is little agreement on exactly how his relativestate formulation was supposed to work. In this paper, I consider two very different re…Read more

78On the Evolution of TruthErkenntnis 81 (6): 13231332. 2016.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 symme…Read more

72On the nature of experience in the bare theorySynthese 113 (3): 347355. 1997.Quantum mechanics without the collapse postulate, the bare theory, was proposed by Albert (1992) as a way of understanding Everett's relativestate formulation of quantum mechanics. The basic idea is to try to account for an observer's beliefs by appealing to a type of illusion predicted by the bare theory. This paper responds to some recent objections to the bare theory by providing a more detailed description of the sense in which it can and the sense in which it cannot account for our experie…Read more

70Approximate Truth and Descriptive NestingErkenntnis 68 (2): 213224. 2008.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 cu…Read more

70Computer implication and the Curry paradoxJournal of Philosophical Logic 33 (6): 631637. 2004.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

67Dynamic partitioning and the conventionality of kindsPhilosophy of Science 74 (4): 527546. 2007.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…Read more

67Empirical adequacy and the availability of reliable records in quantum mechanicsPhilosophy of Science 63 (1): 4964. 1996.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 relativestate formulation is another. Furthermore, there are formulations of quantum mechanics that only satisfy this condition for a sp…Read more

64This paper concerns two composite LewisSkyrms 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 ga…Read more

64Description and the Problem of PriorsErkenntnis 79 (6): 13431353. 2014.Beliefrevision models of knowledge describe how to update one’s degrees of belief associated with hypotheses as one considers new evidence, but they typically do not say how probabilities become associated with meaningful hypotheses in the first place. Here we consider a variety of Skyrms–Lewis signaling game (Lewis in Convention. Harvard University Press, Cambridge, 1969; Skyrms in Signals evolution, learning, & information. Oxford University Press, New York, 2010) where simple descriptive lan…Read more

63The persistence of memory: Surreal trajectories in Bohm's theoryPhilosophy of Science 67 (4): 680703. 2000.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 traje…Read more

63Faithful description and the incommensurability of evolved languagesPhilosophical Studies 147 (1). 2010.SkyrmsLewis 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 description…Read more

60Pure wave mechanics and the very idea of empirical adequacySynthese 192 (10): 30713104. 2015.Hugh Everett III proposed his relativestate 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 empiric…Read more

59The evolution, appropriation, and composition of rulesSynthese 195 (2): 623636. 2018.This paper concerns how rulefollowing 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 a…Read more

56Abstraction in Algorithmic LogicJournal of Philosophical Logic 37 (1): 2343. 2008.We develop a functional abstraction principle for the typefree 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 rest…Read more
Irvine, California, United States of America
Areas of Specialization
Epistemology 
Philosophy of Physical Science 
General Philosophy of Science 
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Mathematics 