The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

Causality is the most important topic in the history of western science, and since the beginning of the statistical paradigm, its meaning has been reconceptualized many times. Causality entered into the realm of multi-causal and statistical scenarios some centuries ago. Despite widespread critics, today deep learning and machine learning advances are not weakening causality but are creating a new way of finding correlations between indirect factors. This process makes it possible for us to talk about approximate causality, as well as (...) about a situated causality. (shrink)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model and (...) show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

Counterfactuals have become an important area of interdisciplinary interest, especially in logic, philosophy of language, epistemology, metaphysics, psychology, decision theory, and even artificial intelligence. In this study, we propose a new form of analysis for counterfactuals: analysis by algorithmic complexity. Inspired by Lewis-Stalnaker's Possible Worlds Semantics, the proposed method allows for a new interpretation of the debate between David Lewis and Robert Stalnaker regarding the Limit and Singularity assumptions. Besides other results, we offer a new way to answer the problems (...) raised by Goodman and Quine regarding vagueness, context-dependence, and the non- monotonicity of counterfactuals. Engaging in a dialogue with literature, this study will seek to bring new insights and tools to this debate. We hope our method of analysis can make counterfactuals more understandable in an intuitively plausible way, and a philosophically justifiable manner, aligned with the way we usually think about counterfactual propositions and our imaginative reasoning. (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)

Many philosophers argue that exclusion arguments cannot exclude non-reductionist physicalist mental properties from being causes without excluding properties that are patently causal as well. List and Stoljar (2017) recently argued that a similar response to exclusion arguments is also available to dualists, thereby challenging the predominant view that exclusion arguments undermine dualist theories of mind. In particular, List and Stoljar maintain that exclusion arguments against dualism require a premise that states that, if a property is metaphysically distinct from the sufficient (...) cause of an effect, this property cannot be a cause of that effect. I argue that this premise is indeed likely to exclude patently causal properties, but that exclusion arguments against dualism do not require this premise. The relation that enables metaphysically distinct properties to cause the same effect in the relevant way turns out to be tighter than the relation typically posited between dualist conscious properties and their underlying physical properties. It is therefore still plausible that the latter causally exclude the former and that compelling exclusion arguments against dualism can be formulated by using a weaker exclusion premise. I conclude by proposing such a formulation. (shrink)

This treatise covers the history, now more than 170 years long, of researches and debates concerning the biblical city of Ai. This archetypical chapter in the evolution of biblical archaeology and historiography was never presented in full. I use the historical data as a case study to explore a number of epistemological issues, such as the creation and revision of scientific knowledge, the formation and change of consensus, the Kuhnian model of paradigm shift, several models of discrimination between hypotheses about (...) the past, the interplay between scientists' values and their epistemic beliefs, and the truth-bearing of historiographic reconstruction. I show, in particular, that when scientists share common epistemic values they can modify their beliefs even when such changes go against deeply entrenched biases and preconceptions. Considerations of coherence usually constrain such modifications, and when sufficient data is available the result can be a profound change of beliefs. Several episodes of the "Ai debates" demonstrate, however, that similar change of beliefs will not occur when non-epistemic values take precedence. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

In this thesis, I argue that the Functional Monotheism model is not tri-theistic, but is a model of pro-Nicene Trinitarianism. In establishing this thesis, I focus on countering a specific objection prevalent in the Analytic Theology literature; the Tri-Theism Objection, which has charged the Functional Monotheism model with “tri-theism”. This objection, formulated by Kelly James Clark and Edward Feser, asserts that the Functional Monotheism model is tritheistic and thus should be rejected as a possible model of scriptural monotheism and “orthodox” (...) Trinitarianism. I argue against this objection by demonstrating that the Functional Monotheism model, once certain necessary philosophical clarifications and modifications are made, is not tri-theistic (in the classical sense of the term), but is in fact in line with “strict” (Second Temple) Jewish monotheism and “orthodox” (pro-Nicene) Trinitarianism. The Functional Monotheism model, contra the proponents of the objection, is therefore not subject to a charge of tri-theism, and thus should be taken as a viable model of “orthodox” Trinitarianism that can aid analytic theologians in their Trinitarian theorising. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

Are there ever good epistemic reasons to neglect base rates? Assuming an empiricist modal epistemology, I argue that we face an interesting tension between some very plausible epistemic norms: a norm requiring us to proportion our beliefs to the evidence may facilitate knowledge of the actual world, whilst inhibiting our acquisition of modal knowledge—knowledge of how things could be, but are not. The potential for this tension in our epistemic norms is a significant result in its own right. It can (...) also rationalize certain forms of demographic base-rate neglect. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

Epistemologists have proposed various norms of assertion to explain when a speaker is in an epistemic position to assert a proposition. In this article I propose a distinct necessary condition on assertibility: that a speaker should assert only what she sensitively believes, where a subject's belief is sensitive just in case the subject would not hold it if it were false. I argue that the Sensitivity Rule underwrites simple explanations for three key features of assertibility that pose explanatory challenges to (...) other prominent proposals: the fact that assertibility is open under known entailment, the general impropriety of assertions that a lottery ticket has lost made purely on the basis of the speaker's knowledge of the odds, and the fact that assertibility varies widely with features of the conversational context. I close by considering three distinct roles the Sensitivity Rule might play in the overall theory of assertibility. (shrink)

Is the common cause principle merely one of a set of useful heuristics for discovering causal relations, or is it rather a piece of heavy duty metaphysics, capable of grounding the direction of causation itself? Since the principle was introduced in Reichenbach’s groundbreaking work The Direction of Time (1956), there have been a series of attempts to pursue the latter program—to take the probabilistic relationships constitutive of the principle of the common cause and use them to ground the direction of (...) causation. These attempts have not all explicitly appealed to the principle as originally formulated; it has also appeared in the guise of independence conditions, counterfactual overdetermination, and, in the causal modelling literature, as the causal markov condition. In this paper, I identify a set of difficulties for grounding the asymmetry of causation on the principle and its descendents. The first difficulty, concerning what I call the vertical placement of causation, consists of a tension between considerations that drive towards the macroscopic scale, and considerations that drive towards the microscopic scale—the worry is that these considerations cannot both be comfortably accommodated. The second difficulty consists of a novel potential counterexample to the principle based on the familiar Einstein Podolsky Rosen (EPR) correlations in quantum mechanics. (shrink)

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the effects of the (...) mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

David Albert explains why we can typically influence the future but not the past by appealing to an initial low-entropy state of the universe. And he argues that in the rare cases where we can influence the past, we cannot use this influence to knowingly gain future rewards: so it does not constitute control. I introduce an important new case in which Albert's account implies we can not only influence the past but control it: a case where our actions in (...) the present are reliably correlated with several events in the present and past. To deal with such cases, we need to appeal to epistemic conditions on deliberation: being agents requires our decisions being epistemically undetermined at the time we make them. In a world with the past-hypothesis, this implies that deliberation will typically come prior to decision. Once deliberation in this direction is established, correlations towards the past cannot then be exploited for control. To explain why we cannot effectively control the past, we need to appeal to deliberation, whether as part of a defence of Albert's account, or used independently to explain the asymmetry of control. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

The modal account of luck has become very popular and influential in the past decade. More recently, some of its proponents have also put forth a modal account of risk and argued that we ought to apply it to problems both in and out of philosophy. This paper tries to show that modal conceptions of luck and risk are mistaken.

Plausibly, agents act freely iff their actions are responses to reasons. But what sort of relationship between reason and action is required for the action to count as a response? The overwhelmingly dominant answer to this question is modalist. It holds that responses are actions that share a modally robust or secure relationship with the relevant reasons. This thesis offers a new alternative answer. It argues that responses are actions that can be explained by reasons in the right way. This (...) explanationist answer comes apart from the modalist answer. For it holds that actions are responses to reasons if they are explained by those reasons even if they don’t share a modally robust relationship. Explanationism thus offers a novel way of vindicating the intuition that alternative possibilities don’t matter to responding to reasons and (consequently) free agency. The key dialectical position the thesis develops is that both modalism and explanationism constitute attempts to capture he core type of relationship encoded by the notion of a response. Responses to reasons, at core, involve a non-accidental relationship between reason and action. We can either understand non-accidentality as a modal phenomenon – as a modally robust tracking between two facts. Or we can understand non-accidentality as an explanatory phenomenon – as a special explanatory relationship between two facts. According to my rival explanationist proposal, two facts share a non-accidental relationship iff we can give a unified explanation of why both obtain. Unified explanations are explanations of why [p&q] that cannot be decomposed into two (or more) separate independent explanations of p and of q. Consequently, according to explanationism about responding to reasons, actions are responses to reasons iff those reasons offer a rational explanation of the action that cannot be decomposed into separate independent components. (shrink)

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle workers (...) are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

Let ‘semantic relevance’ be the thesis that the wide semantic properties of representational mental states (like beliefs and desires) are causally relevant to behavior. A popular way of arguing for semantic relevance runs as follows: start with a sufficient counterfactual condition for causal or explanatory relevance, and show that wide semantic properties meet it with respect to behavior (e.g., Loewer & Lepore (1987,1989), Rescorla (2014), Yablo (2003)).This paper discusses an in‐principle limitation of this strategy: even the most sophisticated counterfactual criteria (...) systematically misclassify irrelevant properties as relevant when they stand in certain kinds of modal co‐variation or ‘entanglement’ relations to genuinely relevant properties. This entanglement problem, I argue, is more general and more serious than proponents of the counterfactual strategy have recognized: it threatens recent interventionist arguments for semantic relevance, and is not easily solved by appeal to proportionality or naturalness. I end by suggesting that proponents of semantic relevance may need to shift their attention from patterns of counterfactuals to the lawful psychological generalizations that explain them. (shrink)

This chapter argues for a notion of time that allows time travel. In order to time traveling to happen, in contrast to Presentism, the chapter demonstrates that we can change the past and we have some place where to travel. It shows the advantages of a non-presentist ontology that advocates for indeterminacy of future facts based not on its absence of truth-value, but on the overdetermination of future facts. The conclusion is that to break the causal chain is impossible in (...) we are placed in the same causal line. But if we rethink the time traveling as a trans-world traveling, it is possible to open a new causal line anytime that someone travel in time, to the past as well as to the future. (shrink)

Practical deliberation often involves conditional judgements about what will (likely) happen if certain alternatives are pursued. It is widely assumed that the conditionals useful in deliberation are counterfactual or subjunctive conditionals. Against this, I argue that the conditionals of deliberation are indicatives. Key to the argument is an account of the relation between 'straightforward' future-directed conditionals like ' If the house is not painted, it will soon look quite shabby' and * "w e r e ' ' e d F (...) D C s like ' If the house were not to be painted, it would soon look quite shabby': an account on which both of these types of FDCs are grouped with the indicatives for semantic treatment and on which, while conditionals of both types are properly used in means/ends deliberations, those of the ' were'ed-up variety are especially well suited for that purpose. (shrink)

Cohen and Meskin 2006 recently offered a counterfactual theory of information to replace the standard probabilistic theory of information. They claim that the counterfactual theory fares better than the standard account on three grounds: first, it provides a better framework for explaining information flow properties; second, it requires a less expensive ontology; and third, because it does not refer to doxastic states of the information-receiving organism, it provides an objective basis. In this paper, I show that none of these is (...) really an advantage. Moreover, the counterfactual theory fails to satisfy one of the basic properties of information flow, namely the Conjunction principle. Thus, I conclude, there is no reason to give up the standard probabilistic theory for the counterfactual theory of information. (shrink)

Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non-descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...) We discuss these and similar cases, focusing on two factors which play a role in determining whether and which causal parents of the manipulated variable are affected: Speakers' need for an explanation of the hypothesized state of affairs, and differences in the ‘resilience’ of beliefs that are independent of degrees of certainty. We describe the relevant theoretical notions in some detail and provide experimental evidence that these factors do indeed affect speakers' interpretation of counterfactuals. (shrink)

The causal and simulation theories are often presented as very distinct views about declarative memory, their major difference lying on the causal condition. The causal theory states that remembering involves an accurate representation causally connected to an earlier experience. In the simulation theory, remembering involves an accurate representation generated by a reliable memory process. I investigate how to construe detailed versions of these theories that correctly classify memory errors as misremembering or confabulation. Neither causalists nor simulationists have paid attention to (...) memory-conjunction errors, which is unfortunate because both theories have problems with these cases. The source of the difficulty is the background assumption that an act of remembering has one target. I fix these theories for those cases. The resulting versions are closely related when implemented using tools of information theory, differing only on how memory transmits information about the past. The implementation provides us with insights about the distinction between confabulatory and non-confabulatory memory, where memory-conjunction errors have a privileged position. (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 present and discuss two logical results. The first shows that a non-trivial counterfactual analysis exists for any contingent proposition that is false in at least two possible worlds. The second result identifies a set of conditions that are individually necessary and jointly sufficient for the success of a counterfactual analysis. I use these results to shed light on the question whether disposition ascribing propositions can be analyzed as Stalnaker-Lewis conditional propositions. The answer is that they can, but, in order (...) for a counterfactual analysis to work, the antecedent and consequent must be related in a particular way, and David Lewis’s Time’s Arrow constraints on comparative world similarity must be relaxed. The upshot is that counterfactual analyses are easy to come by, in principle, even if not in practice. In that sense, it’s easy to be iffy. (shrink)

Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > (Q > R) is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should (...) be understood as showing that the example is an exception to Lewis’s Time’s Arrow requirements. (shrink)

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

In conclusion, then, the notion of temporal necessity is certainly queer and perhaps a misnomer. It really has little to do with temporality per se and everything to do with counterfactual openness or closedness. We have seen that the future is as unalterable as the past, but that this purely logical truth is not antithetical to freedom or contingency. Moreover, we have found certain past facts are counterfactually open in that were future events or actualities to be other than they (...) will be, these past facts would have been different as a consequence. God's beliefs about the future are such past facts. Moreover, the effects of actions which God would have taken had He believed differently are also such past facts. Oddly enough, then, virtually any past fact is potentially counterfactually open, and the only necessity that remains is purely de facto. We, of course, do not in general know which events of the past depend counterfactually on present actions, and those cases we do know about seem rather trivial. Our intuitions of the necessity, unalterability, and unpreventability of the past as opposed to the future stem from the impossibility of backward causation, which is precluded by the dynamic nature of time and becoming. But the counterfactual dependence of God's beliefs on future events or actualities is not a case of backward causation: rather future-tense propositions are true in virtue of what will happen, given a view of truth as correspondence, and God simply has the essential property of knowing all and only true propositions. With regard to the future, virtually all facts are counterfactually open, and therefore future-tense propositions are not temporally necessary. Propositions thus move from being temporally contingent to being temporally necessary when all the opportunities to affect things counterfactually have slipped by. Hence, the mere fact that an event is past is no indication that it is counterfactually closed. This is especially evident in the case of God's foreknowledge. If we say that God foreknows that I shall do x and therefore I cannot refrain from doing x, lest I change God's past foreknowledge, we are being deceived by a modality which has nothing to do with my power or freedom. All that is impossible is the conjunction of God's foreknowledge that p and of ~ p; but this modality in sensu composito has no bearing on my ability to act such that ~ p would be true and God would have foreknown differently. Temporal necessity, then, turns out to be only obliquely temporal and modally weak, certainly no threat to freedom or divine foreknowledge. (shrink)

Newcomb's Paradox thus serves as an illustrative vindication of the compatibility of divine foreknowledge and human freedom. A proper understanding of the counterfactual conditionals involved enables us to see that the pastness of God's knowledge serves neither to make God's beliefs counterfactually closed nor to rob us of genuine freedom. It is evident that our decisions determine God's past beliefs about those decisions and do so without invoking an objectionable backward causation. It is also clear that in the context of (...) foreknowledge, backtracking counterfactuals are entirely appropriate and that no alteration of the past occurs. With the justification of the one box strategy, the death of theological fatalism seems ensured. *** DIRECT SUPPORT *** A0985044 00003. (shrink)

It is commonly claimed that rule consequentialism (utilitarianism) collapses into act consequentialism, because sometimes there are benefits from breaking the rules. I suggest this argument is less powerful than has been believed. The argument requires a commitment to a very particular (usually implicit) account of feasibility and constraints. It requires the presupposition that thinking of rules as the relevant constraint is incorrect. Supposedly we should look at a smaller unit of choice—the single act—as the relevant choice variable. But once we (...) see feasibility as a matter of degree, there is no obvious cut-off point for how broadly we should think about the constraints on our choices. Treating “a bundle of choices” as a relevant free variable is no less defensible than treating “a single act” as the relevant free variable. Rule utilitarianism, rule consequentialism, and other rules-based approaches are stronger than their current reputation. (shrink)

What is the function of cognition? On one influential account, cognition evolved to co-ordinate behaviour with environmental change or complexity. Liberal interpretations of this view ascribe cognition to an extraordinarily broad set of biological systems—even bacteria, which modulate their activity in response to salient external cues, would seem to qualify as cognitive agents. However, equating cognition with adaptive flexibility per se glosses over important distinctions in the way biological organisms deal with environmental complexity. Drawing on contemporary advances in theoretical biology (...) and computational neuroscience, we cash these distinctions out in terms of different kinds of generative models, and the representational and uncertainty-resolving capacities they afford. This analysis leads us to propose a formal criterion for delineating cognition from other, more pervasive forms of adaptive plasticity. On this view, biological cognition is rooted in a particular kind of functional organisation; namely, that which enables the agent to detach from the present and engage in counterfactual inference. (shrink)

The thesis that a temporal asymmetry of counterfactual dependence characterizes our world plays a central role in Lewis’s philosophy, as. among other things, it underpins one of Lewis most renowned theses—that causation can be analyzed in terms of counterfactual dependence. To maintain that a temporal asymmetry of counterfactual dependence characterizes our world, Lewis committed himself to two other theses. The first is that the closest possible worlds at which the antecedent of a counterfactual conditional is true is one in which (...) a small miracle occurs—i.e. one whose laws differ from the actual laws in a small spatiotemporal region. The second is that our world is characterized by a temporal asymmetry of miracles. In this paper, I will argue, first, that the latter thesis is either false or incompatible with the picture of the relations among temporal asymmetries endorsed by Lewis and, second, that former thesis conflicts with some of the intuitions which seem to guide us when engaging in counterfactual reasoning. If there is any fact of the matter as to which possible worlds in which the antecedent of a counterfactual conditional is true are closest to the actual world, these are not worlds at which a small miracle occurs. (shrink)

Philosophers often identify needing something with requiring it to avoid harm. This view of need is roughly accurate, but no adequate analysis of the relevant sort of requirement has been given, and the relevant notion of harm has not been clarified. Further, the harm-avoidance picture must be broadened, because we also need what is required to reduce danger. I offer two analyses of need (one probabilistic) to address these shortcomings. The analyses are at a high level of generality and accommodate (...) our ordinary notion of need as well as narrower conceptions. I also explain why the only extant, detailed modal account of need, David Wiggins’s (1987/1998), is inadequate. My analyses imply that to have a need for something is to have the (expected) quality of one’s life depend counterfactually on it in a certain way. The analyses shed some light on need’s distinctive normative significance. (shrink)

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that this (...) is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

The actualism/possibilism debate in ethics is traditionally formulated in terms of whether true counterfactuals of freedom about the future (true subjunctive conditionals concerning what someone would freely do in the future if they were in certain circumstances) even partly determine an agent's present moral obligations. But the very assumption that there are true counterfactuals of freedom about the future conflicts with the idea that freedom requires a metaphysically open future. We develop probabilism as a solution to the actualism/possibilism debate, a (...) solution that accommodates an open future requirement for freedom. We argue that probabilism resolves the conflicting intuitions that arise between actualists and possibilists and maintains certain distinct advantages over actualism and possibilism. (shrink)

In this article I argue that we should distinguish two characterizations of objectivism: Mind Nongroundedness Objectivism and Mind Independence Objectivism. I focus on the debate in metaethics, although the distinction may generally apply to others. According to Mind Nongroundedness Objectivism, moral standards are not grounded in any mind, while according to Mind Independence Objectivism, moral standards hold independently of any mind. Despite its importance, this distinction has so far not been noticed in the literature. I argue that this distinction helps (...) elucidate otherwise puzzling metaethical positions. (shrink)

In earlier work ( Cleland [2001] , [2002]), I sketched an account of the structure and justification of ‘prototypical’ historical natural science that distinguishes it from ‘classical’ experimental science. This article expands upon this work, focusing upon the close connection between explanation and justification in the historical natural sciences. I argue that confirmation and disconfirmation in these fields depends primarily upon the explanatory (versus predictive or retrodictive) success or failure of hypotheses vis-à-vis empirical evidence. The account of historical explanation that (...) I develop is a version of common cause explanation. Common cause explanation has long been vindicated by appealing to the principle of the common cause. Many philosophers of science (e.g., Sober and Tucker) find this principle problematic, however, because they believe that it is either purely methodological or strictly metaphysical. I defend a third possibility: the principle of the common cause derives its justification from a physically pervasive time asymmetry of causation (a.k.a. the asymmetry of overdetermination). I argue that explicating the principle of the common cause in terms of the asymmetry of overdetermination illuminates some otherwise puzzling features of the practices of historical natural scientists. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)