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.

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)

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 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)

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)

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)

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)

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)

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)

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)

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 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)

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.

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)

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

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)

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 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)

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)

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.

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)

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)

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

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 Kochen-Specker theorem, Vink nevertheless advocated it. Making every physical quantity determinate in quantum mechanics carries with it significant conceptual costs, but it (...) also provides a way of addressing the preferred basis problem that arises if one chooses to pursue the first option. The potential costs and benefits of a formulation of quantum mechanics where every physical quantity is determinate are herein examined. The preferred-basis problem How to solve the preferred-basis problem Relativistic constraints Conclusion. (shrink)

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

A resolution of the quantum measurement problem would require one to explain how it is that we end up with determinate records at the end of our measurements. Metaphysical commitments typically do real work in such an explanation. Indeed, one should not be satisfied with one's metaphysical commitments unless one can provide some account of determinate measurement records. I will explain some of the problems in getting determinate records in relativistic quantum field theory and pay particular attention to the relationship (...) between the measurement problem and a generalized version of Malament's theorem. (shrink)

This paper is concerned with the possibility and nature of relativistic hidden-variable formulations of quantum mechanics. Both ad hoc teleological constructions of spacetime maps and frame-dependent constructions of spacetime maps are considered. While frame-dependent 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 set of all possible spacetime maps. But while having neither mechanical nor causal explanations of (...) the values of quantummechanical measurement records is a significant cost, it may simply prove too much to ask for such explanations in relativistic quantum mechanics. (shrink)

David Hume’s skeptical solution to the problem of induction was grounded in his belief that we learn by means of custom. We consider here how a form of reinforcement learning like custom may allow an agent to learn how to learn in other ways as well. Specifically, an agent may learn by simple reinforcement to adopt new forms of learning that work better than simple reinforcement in the context of specific tasks. We will consider how such a bootstrapping process may (...) lead to a system that includes trial-and-error forms of learning like win-stay/lose-shift, probe and adjust, and simple reinforcement itself together with higher-rationality inferential tools. (shrink)

Skyrms-Lewis sender-receiver games with invention allow one to model how a simple mathematical language might be invented and become meaningful as its use coevolves with the basic arithmetic competence of primitive mathematical inquirers. Such models provide sufficient conditions for the invention and evolution of a very basic sort of arithmetic language and practice, and, in doing so, provide insight into the nature of a correspondingly basic sort of mathematical knowledge in an evolutionary context. Given traditional philosophical reflections concerning the nature (...) and preconditions of mathematical knowledge, these conditions are strikingly modest. (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)

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

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

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 consider in some detail. While these properties (...) are not enough to make it acceptable given the usual standards for a satisfactory physical theory, one might want to exploit these properties to cook up a satisfactory no-collapse formulation of quantum mechanics. In considering how this might work, we will see why any no-collapse theory must generally fail to satisfy at least one of two plausible-sounding conditions. (shrink)

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)