I discuss three observations about backtracking counterfactuals not predicted by existing theories, and then motivate a theory of counterfactuals that does predict them. On my theory, counterfactuals quantify over a suitably restricted set of historical possibilities from some contextually relevant past time. I motivate each feature of the theory relevant to predicting our three observations about backtracking counterfactuals. The paper concludes with replies to three potential objections.

Causal models show promise as a foundation for the semantics of counterfactual sentences. However, current approaches face limitations compared to the alternative similarity theory: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This article addresses these difficulties using exogenous interventions, where causal interventions change the values of exogenous variables rather than structural equations. This model accommodates judgments about backtracking counterfactuals, extends to logically complex counterfactuals, and validates familiar principles of (...) counterfactual logic. This combines the interventionist intuitions of the causal approach with the logical advantages of the similarity approach. (shrink)

Counterfactual reasoning -- envisioning hypothetical scenarios, or possible worlds, where some circumstances are different from what (f)actually occurred (counter-to-fact) -- is ubiquitous in human cognition. Conventionally, counterfactually-altered circumstances have been treated as "small miracles" that locally violate the laws of nature while sharing the same initial conditions. In Pearl's structural causal model (SCM) framework this is made mathematically rigorous via interventions that modify the causal laws while the values of exogenous variables are shared. In recent years, however, this purely interventionist (...) account of counterfactuals has increasingly come under scrutiny from both philosophers and psychologists. Instead, they suggest a backtracking account of counterfactuals, according to which the causal laws remain unchanged in the counterfactual world; differences to the factual world are instead "backtracked" to altered initial conditions (exogenous variables). In the present work, we explore and formalise this alternative mode of counterfactual reasoning within the SCM framework. Despite ample evidence that humans backtrack, the present work constitutes, to the best of our knowledge, the first general account and algorithmisation of backtracking counterfactuals. We discuss our backtracking semantics in the context of related literature and draw connections to recent developments in explainable artificial intelligence (XAI). (shrink)

When communicating scientific information, experts often face difficult choices about how to promote public understanding while also maintaining an appropriate level of objectivity. We argue that one way for scientists and others involved in communicating scientific information to alleviate these tensions is to pay closer attention to the major frames employed in the contexts in which they work. By doing so, they can ideally employ useful frames while also enabling the recipients of information to “backtrack” to relatively uncontroversial facts and (...) recognize how these frames relate to their own values and perspectives. Important strategies for promoting this sort of backtracking include identifying the weaknesses of particular frames, preventing misunderstanding of them, differentiating well-supported findings from more speculative claims, and acknowledging major alternative frames. (shrink)

John Martin Fischer argues that a version of the Consequence Argument that invokes a principle he calls the ‘Principle of the Fixity of the Past and Laws’ is immune to the broadly Lewisian response that the compatibilist can make to the ‘conditional’ version of the argument. In his contribution to this volume, he argues—in part by appealing to backtracking counterfactuals—that denying PFPL leads to trouble, specifically, for the fixed-laws compatibilist. I argue on behalf of the fixed-laws compatibilist that his (...) argument fails: true backtrackers of the kind Fischer’s argument needs are harder to come by than Fischer supposes, and in any case their truth is not something that can be known, prior to decision, by the deliberating agent. (shrink)

Backtracking influence is influence that zigzags in time. For example, backtracking influence exists when an event E_1 makes an event E_2 more likely by way of a nomic connection that goes from E_1 back in time to an event C and then forward in time to E_2. I contend that in our local region of spacetime, at least, backtracking influence is redundant in the sense that any existing backtracking influence exerted by E_1 on E_2 is equivalent (...) to E_1's temporally direct influence on E_2. I prove the redundancy of backtracking influence using several plausible physical principles without assuming any fundamental temporal or causal asymmetry. This explanation can play a prominent role in an account of why causation appears to be objectively asymmetric regardless of whether the fundamental laws are symmetric. (shrink)

We discuss the role of short-term auditory verbal storage within a working memory system. Data from single case studies of patients with left parietal lesions and selective impairment of memory span are discussed in order to address the question of the functions of short-term memory in language processing. The backup resource of auditory verbal short-term memory is required for those tasks that necessitate backtracking in order to integrate a verbal message within a developing central cognitive representation.

I argue that one central aspect of the epistemology of causation, the use of causes as evidence for their effects, is largely independent of the metaphysics of causation. In particular, I use the formalism of Bayesian causal graphs to factor the incremental evidential impact of a cause for its effect into a direct cause-to-effect component and a backtracking component. While the “backtracking” evidence that causes provide about earlier events often obscures things, once we our restrict attention to the (...) cause-to-effect component it is true to say promoting (inhibiting) causes raise (lower) the probabilities of their effects. This factoring assumes the same form whether causation is given an interventionist, counterfactual or probabilistic interpretation. Whether we think about causation in terms of interventions and causal graphs, counterfactuals and imaging functions, or probability raising against the background of causally homogenous partitions, if we describe the essential features of a situation correctly then the incremental evidence that a cause provides for its effect in virtue of being its cause will be the same. (shrink)

One task of historians is to construct causal ascription of singular historicals between eminent historical events. For instance, the controversy resulting from the confusing butterfly ballot of Florida’s year 2000 presidential election cost Gore his presidency. However, to research into these matters is inevitably to appeal to counterfactual deliberation in an epistemic fashion because the past is fixed. One standard idea is Max Weber’s, Weber causation: “f was a cause of φ” is assertable iff “¬f □→ ¬φ” is assertable. Reiss (...) gives an exceptionally good analysis of this topic and outlines historians’ reasoning, claiming that backtracking analyses of counterfactual conditionals employed in historical thought experiments is the signature of historical study of causal ascription of singular historicals. Nevertheless, he concludes that it is very difficult to reach an uncontroversial ascription for this sort in most cases. For this reason, he proposes to find difference-making relations that will suffice. The objective of this paper is to provide a more fine-grained, intervention-based, backtracking analysis of counterfactual conditionals upon which a more satisfactory account of causal ascription of singular historicals can be given. Reiss’ account of difference-making relation will be shown to be unsatisfactory. Moreover, a formal ground of the epistemology of historical thought experiments can be given, along with the constraints of this account resultant from the semantic features of non-transitivity and strong centering of counterfactual conditionals. Finally, some epistemological points of causal ascription of singular historicals and historical thought experiments will be given. (shrink)

The conditional analysis of ability statements has many versions. In this paper I will deal with the version which claims that ‘x can do y’ is equivalent to ‘if x were to choose to do y, then x would do y.’ However, my comments should be equally applicable to any analysis of ability statements that can properly be called a version of the conditional analysis. The intuition behind the conditional analysis is that what it is for one to be able (...) to do something is for one's choice to be effective. To have an ability to do y is for it to be true that one's choosing to do y would be effective - one's choosing to do y would result in one's doing y. But this intuition is not captured by the conditional analysis in its standard form, and a restriction is needed to mend this defect. This restriction is based on a distinction among counterfactual conditionals. (shrink)

The paper proposes a solution to the problem of counterfactuals, building on both Rescher’s epistemic and Tichý’s semantic approaches. The core of the proposed solution is the thesis that when expressing a true counterfactual, the speaker assumes a set of background indicative premises as an implicit parameter. When added tacitly to an unreal antecedent, these premises entail the consequent logically or analytically. We draw a distinction between a potentially unreal and an absolutely unreal condition expressed in the antecedent. We view (...) counterfactuals with a positive time vector and an absolute unreal condition as abbreviated deductive retrodictions. Similarly, we consider counterfactuals with a potentially unreal condition to be abbreviated deductive predictions. In a similar manner, we also explain the truth (falsity) of vacuously true counterpossibles or counterpossible conditionals. In the second part, we discuss the enigmatic backtracking counterfactuals. We propose that their negative time direction is due to their being abductive retrodictions, i.e., explanations of unreal effects based on possible causes in which the conditions remain tacit or unexpressed. The backtracking temporal direction of counterfactual abductive retrodictions is in accordance with the thesis on the positive temporal direction from cause to effect. Thus, we demonstrate that in order to explain backtracking counterfactuals, there is no need to assume violations of laws of nature or a special logic. What we need to do is to take into account the third parameter, i.e., a set of tacit or unexpressed additional propositions, as well as the principle of ceteris paribus as the background. (shrink)

We associate with any game G another game, which is a variant of it, and which we call . Winning strategies for have a lower recursive degree than winning strategies for G: if a player has a winning strategy of recursive degree 1 over G, then it has a recursive winning strategy over , and vice versa. Through we can express in algorithmic form, as a recursive winning strategy, many common proofs of non-constructive Mathematics, namely exactly the theorems of the (...) sub-classical logic Limit Computable Mathematics [6], Hayashi and Nakata [7]). (shrink)

Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal (...) scope. I prove soundness and completeness theorems with respect to Hodes’ semantics, as well as semantics with fewer restrictions on the accessibility relation. (shrink)

A counterlegal is a counterfactual conditional containing an antecedent that is inconsistent with some set of laws. A backtracker is a counterfactual that tells us how things would be at a time earlier than that of its antecedent, were the antecedent to obtain. Typically, theories that evaluate counterlegals appropriately don’t evaluate backtrackers properly, and vice versa. Two cases in point: Lewis’ ordering semantics handles counterlegals well but not backtrackers. Hiddleston’s :632–657, 2005) causal-model semantics nicely handles backtrackers but not counterlegals. Taking (...) Hiddleston’s account as a starting point, I offer steps toward a theory capable of handling both counterlegals and backtrackers. The core contribution of this paper is a means for evaluating counterlegals relative to minimally-illegal models. (shrink)

Some cases show that counterfactual conditionals (‘counterfactuals’ for short) are inherently ambiguous, equivocating between forward-tracking and backtracking counterfactu- als. Elsewhere, I have proposed a causal modeling semantics, which takes this phenomenon to be generated by two kinds of causal manipulations. (Lee 2015; Lee 2016) In an important paper (Hiddleston 2005), Eric Hiddleston offers a different causal modeling semantics, which he claims to be able to explain away the inherent ambiguity of counterfactuals. In this paper, I discuss these two semantic (...) treatments and argue that my (bifurcated) semantics is theoretically more promising than Hiddleston’s (unified) semantics. (shrink)

If the laws are deterministic, then standard theories of counterfactuals are forced to reject at least one of the following conditionals: 1) had you chosen differently, there would not have been a violation of the laws of nature; and 2) had you chosen differently, the initial conditions of the universe would not have been different. On the relevant readings—where we hold fixed factors causally independent of your choice—both of these conditionals appear true. And rejecting either one leads to trouble for (...) philosophical theories which rely upon counterfactual conditionals—like, for instance, causal decision theory. Here, I outline a semantics for counterfactual conditionals which allows us to accept both (1) and (2). And I discuss how this semantics deals with objections to causal decision theory from Arif Ahmed. (shrink)

We prove a soundness and completeness result for Aschieri and Berardiʼs learning based realizability for Heyting Arithmetic plus Excluded Middle over semi-decidable statements with respect to 1-Backtracking Coquand game semantics. First, we prove that learning based realizability is sound with respect to 1-Backtracking Coquand game semantics. In particular, any realizer of an implication-and-negation-free arithmetical formula embodies a winning recursive strategy for the 1-Backtracking version of Tarski games. We also give examples of realizers and winning strategy extraction for (...) some classical proofs. Secondly, we extend our notion of realizability to a total recursive learning based realizability and show that the notion is complete with respect to 1-Backtracking Coquand game semantics. (shrink)

Backtracking counterfactuals are problem cases for the standard, similarity based, theories of counterfactuals e.g., Lewis. These theories usually need to employ extra-assumptions to deal with those cases. Hiddleston, 632–657, 2005) proposes a causal theory of counterfactuals that, supposedly, deals well with backtracking. The main advantage of the causal theory is that it provides a unified account for backtracking and non-backtracking counterfactuals. In this paper, I present a backtracking counterfactual that is a problem case for Hiddleston’s (...) account. Then I propose an informational theory of counterfactuals, which deals well with this problem case while maintaining the main advantage of Hiddleston’s account. In addition, the informational theory offers a general theory of backtracking that provides clues for the semantics and epistemology of counterfactuals. I propose that backtracking is reasonable when the state of affairs expressed in the antecedent of a counterfactual transmits less information about an event in the past than the actual state of affairs. (shrink)

I consider backtracking reasoning: that is, reasoning from backtracking counterfactuals such as if Hitler had won the war, he would have invaded Russia six weeks earlier. Backtracking counterfactuals often strike us as true. Despite that, reasoning from them just as often strikes us as illegitimate. A number of diagnoses have been offered of the illegitimacy of such backtracking reasoning which invoke the fixity of the past, or the direction of causation. I argue against such diagnoses, and (...) in favor of one that invokes a principle I call the fixity of reasons. Backtracking reasoning violates the fixity of reasons. But, the fixity of reasons is a principle that must be observed in order to engage in practical reasoning at all. (shrink)

The orthodox view about sensitivity and induction has it that beliefs formed via induction are insensitive. Since inductive knowledge is highly plausible, this problem is usually regarded as a reductio argument against sensitivity accounts of knowledge. Some adherents of sensitivity defend sensitivity against this objection, for example by considering backtracking interpretations of counterfactuals. All these extant views about sensitivity and induction have to be revised, since the problem of sensitivity and induction is a different one. Regardless of whether we (...) allow backtracking interpretations of counterfactuals, some instances of induction yield insensitive beliefs whereas others yield sensitive ones. These results are too heterogenous for providing a plausible sensitivity-account of inductive knowledge. Induction remains a serious problem for sensitivity accounts of knowledge. (shrink)

In this paper I individuate and analyse a new type of epistemic injustice that can arise in education and depends on the so-called ‘backtracking fallacy’ in student assessment, which occurs when a teacher confuses (or does not distinguish between) the logical dimension of a framework of disciplinary concepts and its psychological dimension. I will also touch upon a different type of social injustice that might transpire in education. I suggest that familiarity with Paul Hirst's view of liberal education, which (...) presupposes a neat distinction between a public framework of knowledge and the psychological process of gradually learning it, can contribute to prevent or reduce both forms of injustice. (shrink)

I take issue with two claims of DeRose: Conditionals of deliberation must not depend on backtracking grounds. ‘Were’ed-up conditionals coincide with future-directed indicative conditionals; the only difference in their meaning is that they must not depend on backtracking grounds. I use Egan’s counterexamples to causal decision theory to contest the first and an example of backtracking reasoning by David Lewis to contest the second claim. I tentatively outline a rivaling account of ‘were’ed-up conditionals which combines features of (...) the standard analysis of counterfactuals with the contextual relevance of the corresponding indicative conditionals. (shrink)

Causal models show promise as a foundation for the semantics of counterfactual sentences. However, current approaches face limitations compared to the alternative similarity theory: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper addresses these difficulties using exogenous interventions, where causal interventions change the values of exogenous variables rather than structural equations. This model accommodates judgments about backtracking counterfactuals, extends to logically complex counterfactuals, and validates familiar principles of (...) counterfactual logic. This combines the interventionist intuitions of the causal approach with the logical advantages of the similarity approach. (shrink)

On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant “nearest (...) possible worlds” are. David Lewis suggested that they are ones in which a local breach of the laws occurred: a “small miracle”. Others have suggested that they are ones in which the initial conditions were different (“backtracking”). I propose another response. It builds on the idea that the special sciences, where counterfactual reasoning is most common, operate at a higher level of description from fundamental physics, and that the world may behave indeterministically at higher levels even if it behaves deterministically at the fundamental physical one. The challenge from determinism can then be bypassed for many special-science counterfactuals. (shrink)

This paper aims to bridge philosophical and psychological research on causation, counterfactual thought, and the problem of backtracking. Counterfactual approaches to causation such as that by Lewis have ruled out backtracking, while on prominent models of causal inference interventionist counterfactuals do not backtrack. However, on various formal models, certain backtracking counterfactuals end up being true, and psychological evidence shows that people do sometimes backtrack when answering counterfactual questions in causal contexts. On the basis of psychological research, I (...) argue that while ordinarily both kinds of counterfactuals may be employed, non-backtracking counterfactuals are more easily used in causal inference because they are consistent with temporal order information embedded in the mental simulation heuristic, and they match reasoners’ experience of causation. While this approach is incompatible with the ambitions of counterfactual theories that seek to establish the non-backtracking interpretation as the only legitimate one, it can provide support for perspectival views on causation and open further inquiry on the functions of causal and counterfactual thought in the context of causal models. (shrink)

Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, which are the (...) following. First, it is a causal analysis, in that it requires that intermediate events to which the antecedent event is not a cause be preserved in the main truth-condition schema. Second, it highlights the central notion to the semantics of counterfactuals on the account presented here -- the notion of the counterfactual probability of a given counterfactual, which is the probability of the consequent given the following: the antecedent, the prior history, and the preserved intermediate events. Third, it considers the truth conditions for counterfactuals of this sort as consisting in this counterfactual probability being higher than a threshold. In section 3, I re-formulate the analysis of preservational counterfactuals in terms of the notion of being a cause, which ends up being quite compact. In section 4 I illustrate this analysis by showing how it handles two examples that have been considered puzzling – Morgenbesser's counterfactual and Edgington's counterfactual. Sections 5 and on constitute Part II: Its main initial thrust is provided in section 5, where I present the main lines of the extension of the theory from the core counterfactuals (analyzed in part I) to counterfactuals (roughly) whose antecedents are not compatible with their prior history. In this part II, I elaborate on counterfactuals that don't belong to the core, and more specifically on so-called reconstructional counterfactuals (as opposed to the preservational counterfactuals, which constitute the core counterfactual-type). The heart of the analysis is formulated in terms of processes leading to the antecedent (event/state), and more specifically in terms of processes likely to have led to the antecedent, a notion which is analyzed entirely in terms of chance. It covers so-called reconstructional counterfactuals as opposed to the core, so-called preservational counterfactuals, which are analyzed in sections 2 and 3 of part I. The counterfactual probability of such reconstructional counterfactuals is determined via the probability of possible processes leading to the antecedent weighed, primarily and roughly, by the conditional probability of the antecedent given such process: The counterfactual probability is thus, very roughly, a weighted sum for all processes most likely to have led to the antecedent, diverging at a fixed time. In section 6 I explain and elaborate further on the main points in section 5. In section 7 I illustrate the reconstructional analysis. I specify counterfactuals which are so-called process-pointers, since their consequent specifies stages in processes likely to have led to their antecedent. I argue that so-called backtracking counterfactuals are process-pointers counterfactuals, which fit into the reconstructional analysis, and do not call for a separate reading. I then illustrate cases where a speaker unwittingly employs a certain counterfactual while charitably construable as intending to assert (or ‘having in mind’) another. Here I also cover the issue of how to construe what one can take as back-tracking counterfactuals, or counterfactuals of the reconstructional sort, and more specifically, which divergence point they should be taken as alluding to (prior to which the history is held fixed). Some such cases also give rise to what one can take as a dual reading of a counterfactual between preservational and reconstructional readings. Such cases may yield an ambiguity, where in many cases one construal is dominant. In section 8 I illustrate the analysis by applying it to the famous Bizet-Verdi counterfactuals. This detailed analysis of counterfactuals (designed for the indeterministic case) has three main distinctive elements: its being chance-based, its causal aspect, and the use it makes of processes most likely to have led to the antecedent-event. This analysis is couched in a very different conceptual base from, and is an alternative account to, analyses in terms of the standard notion of closeness or distance of possible worlds, which is the main feature of the Stalnaker-Lewis-type analyses of counterfactuals. This notion of closeness or distance plays no role whatsoever in the analysis presented here. (This notion of closeness has been left open by Stalnaker, and to significant extent also by Lewis's second account.) . (shrink)

This volume brings together Terence Horgan's essays on paradoxes, both published and new. A common theme unifying these essays is that philosophically interesting paradoxes typically resist either easy solutions or solutions that are formally/mathematically highly technical. Another unifying theme is that such paradoxes often have deep-sometimes disturbing-philosophical morals.

The counterfactual analysis of causation has focused on one particular counterfactual conditional, taking as its starting-point the suggestion that C causes E iff (C E). In this paper, some consequences are explored of reversing this counterfactual, and developing an account starting with the idea that C causes E iff (E C). This suggestion is discussed in relation to the problem of pre-emption. It is found that the 'reversed' counterfactual analysis can handle even the most difficult cases of pre-emption with only (...) minimal complications. The paper closes with a discussion of the wider philosophical implications of developing a reversed counterfactual analysis, especially concerning the differentiation of causes from causal conditions, causation by absences, and the extent to which causes suffice for their effects. (shrink)

This volume brings together Terence Horgan's essays on paradoxes, both published and new. A common theme unifying these essays is that philosophically interesting paradoxes typically resist either easy solutions or solutions that are formally/mathematically highly technical. Another unifying theme is that such paradoxes often have deep-sometimes disturbing-philosophical morals.

We have argued that the counterfactual comparative account of harm and benefit (CCA) violates the plausible adequacy condition that an act that would harm an agent cannot leave her much better off than an alternative act that would benefit her. In a recent paper in this journal, however, Neil Feit objects that our argument presupposes questionable counterfactual backtracking. He also argues that CCA proponents can justifiably reject the condition by invoking so-called plural harm and benefit. In this reply, we (...) argue that Feit’s lines of criticism are both unsuccessful. (shrink)

Bayes nets are formal representations of causal systems that many psychologists have claimed as plausible mental representations. One purported advantage of Bayes nets is that they may provide a theory of counterfactual conditionals, such as If Calvin had been at the party, Miriam would have left early. This article compares two proposed Bayes net theories as models of people's understanding of counterfactuals. Experiments 1-3 show that neither theory makes correct predictions about backtracking counterfactuals (in which the event of the (...) if-clause occurs after the event of the then-clause), and Experiment 4 shows the same is true of forward counterfactuals. An amended version of one of the approaches, however, can provide a more accurate account of these data. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

In his wonderful short text ‘Notes of a Publicist’—written in February 1922 when the Bolsheviks, after winning the Civil War against all odds, had to retreat into the New Economic Policy of allowing a much wider scope to the market economy and private property—Lenin uses the analogy of a climber who must backtrack from his first attempt to reach a new mountain peak to describe what retreat means in a revolutionary process, and how it can be done without opportunistically betraying (...) the cause: Let us picture to ourselves a man ascending a very high, steep and hitherto unexplored mountain. Let us assume that he has overcome unprecedented difficulties and dangers and has succeeded in reaching a much higher point than any of his predecessors, but still has not reached the summit. He finds himself in a position where it is not only difficult and dangerous to proceed in the direction and along the path he has chosen, but positively impossible. In these circumstances, Lenin writes: He is forced to turn back, descend, seek another path, longer, perhaps, but one that will enable him to reach the summit. The descent from the height that no one before him has reached proves, perhaps, to be more dangerous and difficult for our imaginary traveller than the ascent—it is easier to slip; it is not so easy to choose a foothold; there is not that exhilaration that one feels in going upwards, straight to the goal, etc. One has to tie a rope round oneself, spend hours with an alpenstock to cut footholds or a projection to which the rope could be tied firmly; one has to move at a snail’s pace, and move downwards, descend, away from the goal; and one does not know where this extremely dangerous and painful descent will end, or whether there is a fairly safe detour by which one can ascend more boldly, more quickly and more directly to the summit. It would only be natural for a climber who found himself in such a position to have ‘moments of despondency’. In all probability these moments would be more numerous and harder to bear if he could hear the voices of those below, who ‘through a telescope and from a safe distance, are watching his dangerous descent’: ‘The voices from below ring with malicious joy. They do not conceal it; they chuckle gleefully and shout: “He’ll fall in a minute! Serve him right, the lunatic!”.’ Others try to conceal their malicious glee, behaving ‘more like Judas Golovlyov’, the notoriously hypocritical landowner in Saltykov-Shchedrin’s novel, The Golovlyov Family: They moan and raise their eyes to heaven in sorrow, as if to say: ‘It grieves us sorely to see our fears justified! But did not we, who have spent all our lives working out a judicious plan for scaling this mountain, demand that the ascent be postponed until our plan was complete? And if we so vehemently protested against taking this path, which this lunatic is now abandoning, if we so fervently censured this lunatic and warned everybody against imitating and helping him, we did so entirely because of our devotion to the great plan to scale this mountain, and in order to prevent this great plan from being generally discredited!’ Happily, Lenin continues, our imaginary traveller cannot hear the voices of these people who are ‘true friends’ of the idea of ascent; if he did, ‘they would probably nauseate him’—‘And nausea, it is said, does not help one to keep a clear head and a firm step, particularly at high altitudes.’ Of course, a metaphor does not amount to proof: ‘every analogy is lame’. (shrink)

Causal decision theory produces decision instability in cases such as Death in Damascus where a decision itself provides evidence concerning the utility of options. Several authors have proposed ways of handling this instability. William Harper (1985 and 1986) advances one of the most elegant proposals. He recommends maximizing causal expected utility among the options that are causally ratifiable. Unfortunately, Harper's proposal imposes certain restrictions; for instance, the restriction that mixed strategies are freely available. To obtain a completely general method of (...) handling decision instability, I step outside the confines of pure causal decision theory. I introduce a new kind of backtracking expected utility and propose maximizing it among the options that are causally ratifiable. In other words, I propose a hierarchical maximization of (1) conditional causal expected utility and (2) the new backtracking expected utility. I support this proposal with some intuitive considerations concerning the distinction between optimality and conditional optimality. And I prove that the proposal yields a solution in every finite decision problem. (shrink)