Many physics parameters need to be precisely set in order for life to exist in our universe. Or so says the fine-tuning argument. That the actual values are just right for life, the argument concludes, is a fact in need of deep physical or metaphysical explanation. Perhaps, the story goes, the parameter values settings are a matter of divine design. Or perhaps they result from a selection effect given our place in the “multiverse”. However, a very different approach to the (...) problem is possible. One may argue that the fine-tuning is an artefact of theorizing: it is explicable as the precise balancing act necessary for compact, systematic representation in science. Given such an explanation and drawing on earlier work from a number of sources, this essay shows how fine-tuning is best understood as evidence for a non-governing conception of laws rather than for design or multiverse. (shrink)

Judea Pearl (2000) was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure but also to considerations of normality. In Halpern and Hitchcock (2011), we offer a definition of actual causation using extended causal models, which include information about both causal structure and normality. Extended causal models are potentially very complex. In this study, we show how it (...) is possible to achieve a compact representation of extended causal models. (shrink)

This paper evaluates the recent trend to renounce the similarity approach to counterfactuals in favor of the older metalinguistic theory. I try to show, first, that the metalinguistic theory cannot work in anything like its present form (the form described by many in the last decade who claim to be able to solve Goodman''s old problem of cotenability). This is so, I argue, because the metalinguistic theory requires laws of nature of a sort that we (apparently) do not have: current (...) physical theory cannot underwrite the metalinguistic theory. Second, I draw from the first point a motivation for the similarity approach, a motivation based on theoretical considerations apart from the standard ones of pretheoretical intuition. (shrink)

We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion article. Essentially, an explanation is a fact that is not known for certain but, if found to be true, would constitute an actual cause of the fact to be explained, regardless of the agent's initial uncertainty. We show that the definition handles well a number of problematic examples from the literature.

Frankfurt examples invite controversy over whether the pertinent agent in these examples lacks the specific ability to do otherwise, and whether what she does can be obligatory or permissible. We develop an account of ability that implies that this agent does not have the specific ability to refrain from performing the germane action. The account also undergirds a view of obligation that entails that it is morally required or prohibited for an agent to perform an action only if she has (...) the specific ability to do, and to do otherwise than, perform it. Therefore, in Frankfurt examples, it is neither obligatory nor impermissible for the relevant agent to do what she does. (shrink)

We call attention to different formulations of how physical laws relate to what is physically possible in the philosophical literature, and argue that it may be the case that determinism fails under one formulation but reigns under the other. Whether this is so depends on our view on the nature of laws, and may also depend on the inter-theoretical relationships among our best physical theories, or so shall we argue.

The aim of the Consequence Argument is to show that, if determinism is true, no one has, or ever had, any choice about anything. In the stock version of the argument, its two premisses state that no one is, or ever was, able to act so that the past would have been different and no one is, or ever was, able to act so that the laws of nature would have been different. This stock version fails, however, because it requires (...) an invalid inference rule. The standard response is to strengthen both premisses by replacing ‘would’ with ‘might’. While this response ensures validity, it weakens the argument, since it strengthens the premisses. I show that we can do better: We can keep the weak reading of one premiss and just strengthen the other. This provides two versions of the Consequence Argument which are stronger than the standard revision. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism is (...) true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

When a debate seems intractable, with little agreement as to how one might proceed towards a resolution, it is understandable that philosophers should consider whether something might be amiss with the debate itself. Famously in the last century, philosophers of various stripes explored in various ways the possibility that at least certain philosophical debates are in some manner deficient in sense. Such moves are no longer so much in vogue. For one thing, the particular ways they have been made have (...) themselves undergone much critical scrutiny, so that many philosophers now feel that there is, for example, a Quinean response to Carnap, a Gricean reply to Austin, and a diluting proliferation of Wittgenstein interpretations.2 Be that as it may,3 there do of.. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be a relevant possibility. Considering (...) such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

The concept of luck is important in various areas of philosophy. In this paper I argue that two prominent accounts of luck, the modal and the probabilistic account of luck, need to be combined to accommodate the various ways in which luck comes in degrees. I briefly sketch such a hybrid account of luck, distinguish it from two similar accounts recently proposed, and consider some objections.

This paper argues for several related theses. First, the epistemological position that knowledge requires safe belief can be motivated by views in the philosophy of science, according to which good explanations show that their explananda are robust. This motivation goes via the idea—recently defended on both conceptual and empirical grounds—that knowledge attributions play a crucial role in explaining successful action. Second, motivating the safety requirement in this way creates a choice point—depending on how we understand robustness, we'll end up with (...) different conceptions of safety in epistemology. Lastly, and most controversially, there's an attractive choice at this point that will not vindicate some of the most influential applications of the safety-theoretic framework in epistemology, e.g., Williamson's arguments against the KK principle, and luminosity. (shrink)

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while (...) also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position. (shrink)

Williamson has argued against scepticism concerning our metaphysically modal knowledge, by arguing that standard patterns of suppositional reasoning to counterfactual conclusions provide reliable sources of correct ascriptions of possibility and necessity. The paper argues that, while Williamson’s claims relating to necessity may well be right, he has not provided adequate reasons for thinking that the familiar modes of counterfactual reasoning to which he points generalise to provide a decent route to ascriptions of possibility. The paper also explores another path to (...) ascriptions of possibility that may be extracted from Williamson’s ideas, before briefly considering the general status of counterfactual reasoning in relation to our knowledge of possibilities. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

Repeatable artworks like musical works have presented theorists in the ontology of art with a puzzle. They seem in some respects like eternal, immutable objects and in others like created, historical objects. Creationists have embraced the latter appearances and attempted to compel Platonists to follow them. I examine in detail each argument in a cumulative case for Creationism, showing how the Platonist can respond. The conclusion is that the debate between Platonists and Creationists is a stalemate. In order for progress (...) to be made in the first-order debate, second-order progress on the metaontology of art needs to come first. (shrink)

Repeatable artworks like musical works have presented theorists in the ontology of art with a puzzle. They seem in some respects like eternal, immutable objects and in others like created, historical objects. Creationists have embraced the latter appearances and attempted to compel Platonists to follow them. I examine in detail each argument in a cumulative case for Creationism, showing how the Platonist can respond. The conclusion is that the debate between Platonists and Creationists is a stalemate. In order for progress (...) to be made in the first-order debate, second-order progress on the metaontology of art needs to come first. (shrink)

The Platonic theist Peter van Inwagen argues that God cannot create abstract objects. Thus, the quantifier ‘everything’ in traditional statements of the doctrine of creation should be appropriately restricted to things that can enter into causal relations and abstract objects cannot: ‘God is the creator of everything distinct from himself…that can enter into causal relations.’ I respond to van Inwagen arguing that he has provided no good reason for thinking abstract objects must be uncreated. And if this is the case, (...) then there is no good reason to think that God cannot create abstract objects. (shrink)

Morgenbesser's Coin is a thought experiment that exemplifies a widespread disposition to infer counterfactual independence from causal independence. I argue that this disposition is mistaken by analysing a closely related thought experiment.

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

This paper investigates whether 'even if A, B' is pragmatically polysemic, so that a nonconcessive conditional may have 'even if', and whether concessive conditionals, pragmatically defined, can fail to have 'even if' or a non-temporal 'still'. Different paraphrases are used to help elucidate pragmatic meanings. A theory of the pragmatic meanings of concessive and implicative conditionals is presented. The semantic meaning of 'even if' and the question of whether concessive conditionals imply the truth of their consequents are also discussed.

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> ’ entails ‘A> ’. First, I provide a collapse theorem for the ‘counterfactual direct argument’. (...) The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction. (shrink)

This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...) first and last of these possibilities. Individuals represent these relations in mental models of what is true in the various possibilities. The theory predicts a number of phenomena, and, contrary to many accounts, it implies that the meaning of causation is not probabilistic, differs from the meaning of enabling conditions, and does not depend on causal powers or mechanisms. The theory also implies that causal deductions do not depend on schemas or rules. (shrink)

I articulate and argue for a modest use to which philosophers who are not historians of philosophy might put the history of philosophy. That use is in conceptual cartography. I understand conceptual cartography to be the practice of mapping how concepts, including those as complex as philosophical views, relate. Using the history of philosophy in conceptual cartography uses that history to situate landmarks on a conceptual map, and then situates other views (historical or contemporary) relative to those landmarks. After articulating (...) and arguing for this use, I consider objections. (shrink)

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of positive property. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes positive property as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" Pure attribution seems likely to be related to the Leibnizian concept of perfection.By a (...) careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, Gödel’s Ontological Argument, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism (the belief in merely possible objects) and modal realism (the belief in possible worlds). (shrink)

Many defend the thesis that when someone knows p, they couldn’t easily have been wrong about p. But the notion of easy possibility in play is relatively undertheorized. One structural idea in the literature, the principle of Counterfactual Closure (CC), connects easy possibility with counterfactuals: if it easily could have happened that p, and if p were the case, then q would be the case, it follows that it easily could have happened that q. We first argue that while CC (...) is false, there is a true restriction of it to cases involving counterfactual dependence on a coin flip. The failure of CC falsifies a model where the easy possibilities are counterfactually similar to actuality. Next, we show that extant normality models, where the easy possibilities are the sufficiently normal ones, are incompatible with the restricted CC thesis involving coin flips. Next, we develop a new kind of normality theory that can accommodate the restricted version of CC. This new theory introduces a principle of Counterfactual Contamination, which says roughly that any world is fairly abnormal if at that world very abnormal events counterfactually depend on a coin flip. Finally, we explain why coin flips and other related events have a special status. A central take home lesson is that the correct principle in the vicinity of Safety is importantly normality-theoretic rather than (as it is usually conceived) similarity-theoretic. (shrink)

This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those that do not (inquisitive semantics (...) and Santorio’s). Then we investigate how inquisitive semantics and Santorio can respond to these results. They can respond to them by helping themselves to considerations from Hurford disjunctions, disjunctions whose disjuncts stand in an entailment relation to one another. I argue that considerations from Hurford disjunctions are ad hoc modifications merely to predict the expected results. I conclude that the scenarios suggest a need for more fine-grained theories of sentential meaning in general. (shrink)

We investigate whether standard counterfactual analyses of causation imply that the outcomes of space-like separated measurements on entangled particles are causally related. Although it has sometimes been claimed that standard CACs imply such a causal relation, we argue that a careful examination of David Lewis’s influential counterfactual semantics casts doubt on this. We discuss ways in which Lewis’s semantics and standard CACs might be extended to the case of space-like correlations.

An influential tradition in the philosophy of causation has it that all token causal facts are, or are reducible to, facts about difference-making. Challenges to this tradition have typically focused on pre-emption cases, in which a cause apparently fails to make a difference to its effect. However, a novel challenge to the difference-making approach has recently been issued by Alyssa Ney. Ney defends causal foundationalism, which she characterizes as the thesis that facts about difference-making depend upon facts about physical causation. (...) She takes this to imply that causation is not fundamentally a matter of difference-making. In this paper, I defend the difference-making approach against Ney’s argument. I also offer some positive reasons for thinking, pace Ney, that causation is fundamentally a matter of difference-making. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

Relations of transworld similarity play an essential role in Lewis's system. Analysis reveals that they involve the possibility of detailed transworld belief. Such belief is problematic within Lewis's framework. He has an answer to the problems raised, but it relies on a dubious distinction between natural and mere properties. Replacing that distinction with a respectable one undermines an essential part of his case against one of his chief opponents, the linguistic ersatzist.

The semantics for counterfactuals due to David Lewis has been challenged by appealing to miracles. Miracles may skew a given similarity order in favour of those possible worlds which exhibit them. Lewis responded with a system of priorities that mitigates the significance of miracles when constructing similarity relations. We propose a prioritised ceteris paribus analysis of counterfactuals inspired by Lewis’ system of priorities. By analysing the couterfactuals with a ceteris paribus clause one forces out, in a natural manner, those possible (...) worlds which do not satisfy the requirements of the clause, thus excluding miracles. If no world can satisfy the ceteris paribus clause in its entirety, then prioritisation is triggered to select worlds that maximise agreement on those things which are favoured most. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

Future-directed intentions, it is widely held, involve behavioral dispositions. But of what kind? Suppose you now intend to Φ at future time t. Are you thereby now disposed to Φ at t no matter what? If so, your intention disposes you to Φ even if around t you will come to believe that Φ-ing would be crazy. And would not that be a crazy intention to have? – Like considerations have led Luca Ferrero and others to believe that only intentions (...) with strong internal conditions are capable of rationality. This paper explores in how far a broadly dispositional view of intention supports their claims. Its first point will come as a surprise: Intentions indeed involve dispositions toward follies in plenty. Natural objections against this bizarre-sounding claim are shown to fail, and standard counterfactual analyses of disposition locutions are shown to underpin it further. However, since the dispositions at issue are pro tanto dispositions, the consequences are not as odd as might be expected: When hedged by reasonable habits to reconsider one’s intentions, dispositions toward follies do not entail any actual crazy behavior. On balance, unconditional intention is therefore found rational after all. Dispositions toward crazy actions need not be crazy dispositions. (shrink)

Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...) matter. (shrink)

Proponents of the subset account of property realization commonly make the assumption that the summing of properties entails the summing of their forward-looking causal features. This paper seeks to establish that this assumption is false. Moreover, it aims to demonstrate that without this assumption the fact that the subset account captures an entailment relation—which it must if it is to be of any use to non-reductive physicalism—becomes questionable.

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

Does the brain behave indeterministically? I argue that accounting for ion channels, key functional units in the brain, requires indeterministic models. These models are probabilistic, so the brain does behave indeterministically in a weak sense. I explore the implications of this point for a stronger sense of indeterminism. Ultimately I argue that it is not possible, either empirically or through philosophical argument, to show that the brain is indeterministic in that stronger sense.

Using the mathematical frameworks of economic preference ranking, subjective probability, and rational learning through empirical evidence, the epistemological implications of teleological ethical intuitionism are pointed out to the extent to which the latter is based on cognitivist and objectivist concepts of value. The notions of objective value and objective norm are critically analysed with reference to epistemological criteria of intersubjectively shared valuative experience. It is concluded that one cannot meaningfully postulate general material theories of morality that could be tested, confirmed (...) or refuted by intersubjective empirical evidence of preferences and values, however loosely the empirical evidence of values may be interpreted. This situation is explained with reference to the ways in which preceived values become systematically influenced by the concomitants of individual valuative experience, but which have nothing to do with contingent subjective interests. (shrink)

Thought experiments invite us to evaluate philosophical theses by making judgements about hypothetical cases. When the judgements and the theses conflict, it is often the latter that are rejected. But what is the nature of the judgements such that they are able to play this role? I answer this question by arguing that typical judgements about thought experiments are in fact judgements of normal counterfactual sufficiency. I begin by focusing on Anna-Sara Malmgren’s defence of the claim that typical judgements about (...) thought experiments are mere possibility judgements. This view is shown to fail for two closely related reasons: it cannot account for the incorrectness of certain misjudgements, and it cannot account for the inconsistency of certain pairs of conflicting judgements. This prompts a reconsideration of Timothy Williamson’s alternative proposal, according to which typical judgements about thought experiments are counterfactual in nature. I show that taking such judgements to concern what would normally hold in instances of the relevant hypothetical scenarios avoids the objections that have been pressed against this kind of view. I then consider some other potential objections, but argue that they provide no grounds for doubt. (shrink)

The proposition expressed by a sentence is relative to a context. But what determines the content of the context? Many theorists would include among these determinants aspects of the speaker’s intention in speaking. My thesis is that, on the contrary, the determinants of the context never include the speaker’s intention. My argument for this thesis turns on a consideration of the role that the concept of proposition expressed in context is supposed to play in a theory of linguistic communication. To (...) illustrate an alternative approach, I present an original theory of the reference of demonstratives according to which the referent of a demonstrative is the object that adequately and best satisfies certain accessibility criteria. Although I call my thesis zero tolerance for pragmatics, it is not an expression of intolerance for everything that might be called “pragmatics.”. (shrink)

An account of the nature of knowledge must explain the value of knowledge. I argue that modal conditions, such as safety and sensitivity, do not confer value on a belief and so any account of knowledge that posits a modal condition as a fundamental constituent cannot vindicate widely held claims about the value of knowledge. I explain the implications of this for epistemology: We must either eschew modal conditions as a fundamental constituent of knowledge, or retain the modal conditions but (...) concede that knowledge is not more valuable than that which falls short of knowledge. This second horn—concluding that knowledge has no distinctive value—is unappealing since it renders puzzling why so much epistemological theorising focuses on knowledge, and why knowledge seems so important. (shrink)

My topic is how to make decisions when you possess foreknowledge of the consequences of your choice. Many have thought that these kinds of decisions pose a distinctive and novel problem for causal decision theory (CDT). My thesis is that foreknowledge poses no new problems for CDT. Some of the purported problems are not problems. Others are problems, but they are not problems for CDT. Rather, they are problems for our theories of subjunctive supposition. Others are problems, but they are (...) not new problems. They are old problems transposed into a new key. Nonetheless, decisions made with foreknowledge illustrate important lessons about the instrumental value of our choices. Once we've appreciated these lessons, we are left with a version of CDT which faces no novel threats from foreknowledge. (shrink)

Proponents of supervaluationism claim super-truth, i. e., truth on every admissible precisification, is identical to truth or, at least, is a suitable truth proxy. I object that super-truth is neither identical to nor a suitable proxy for truth. I argue that to claim a statement is super-true is simply to maintain that a certain counterfactual holds, and that a claim is true, counterfactually, is no reason to treat it as true. I further argue that, with super-truth undermined, Roy Sorensen’s objection (...) that supervaluationism cannot accommodate vague directly referential terms presents supervaluationism’s defenders with a significant challenge. (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...) agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

With each proposition P we associate a set of proposition (a hyperproposition) which determines the order in which one may retreat from accepting P, if one cannot fully hold on to P. We first describe the structure of hyperpropositions. Then we describe two operations on propositions, subtraction and merge, which can be modelled in terms of hyperpropositions. Subtraction is an operation that takes away part of the content of a proposition. Merge is an operation that determines the maximal consistent content (...) of two propositions considered jointly. The merge operation gives rise to an inference relation which is, in a certain sense, optimally paraconsistent. (shrink)