This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give new characterization (...) results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (shrink)

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

The actualism/possibilism debate in ethics is about whether counterfactuals of freedom concerning what an agent would freely do if they were in certain circumstances even partly determines that agent’s obligations. This debate arose from an argument against the coherence of utilitarianism in the deontic logic literature. In this chapter, we first trace the historical origins of this debate and then examine actualism, possibilism, and securitism through the lens of consequentialism. After examining their respective benefits and drawbacks, we argue that, contrary (...) to what has been assumed, actualism and securitism both succumb to the so-called nonratifiability problem. In making this argument, we develop this problem in detail and argue that it’s a much more serious problem than has been appreciated. We conclude by arguing that an alternative view, hybridism, is independently the most plausible position and best fits with the nature of consequentialism, partly in light of avoiding the nonratifiability problem. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

I trace the relationship between the view that knowledge is stakes sensitive and Laurie Paul’s account of the epistemology of transformative experience. The view that knowledge is stakes sensitive comes in different flavours: one can go for subjective or objective conceptions of stakes, where subjective views of stakes take stakes to be a function of an agent’s non-factive mental states, and objective views of stakes do not. I argue that there is a tension between subjective accounts of stakes sensitivity and (...) Paul’s epistemology of transformative experience. (shrink)

Heightened awareness of the origins of our moral judgments pushes many in the direction of moral skepticism, in the direction of thinking we are unjustified in holding our moral judgments on a realist understanding of the moral truths. A classic debunking argument fleshes out this worry: the best explanation of our moral judgments does not appeal to their truth, so we are unjustified in holding our moral judgments. But it is unclear how to get from the explanatory premise to the (...) debunking conclusion. This paper shows how to get from here to there by way of epistemic insensitivity. First, we reconstruct Richard Joyce’s evolutionary debunking argument from insensitivity. Second, we raise epistemological difficulties for Joyce’s argument. Third, we develop and defend a new debunking argument from insensitivity. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

The standard Lewis–Stalnaker semantics of counterfactuals, given the Strong Centering Thesis, implies that all true–true counterfactuals are trivially true. McGlynn developed a theory, based on Penczek, to rehabilitate the non-triviality of true–true counterfactuals. I show here that counterfactuals with true but irrelevant components are counterexamples to McGlynn’s account. I argue that an extended version of the connection hypothesis is sustainable, and grounds a full theory of counterfactuals explicable in a broadly standard way, if an indispensable asymmetry between semifacuals and other (...) counterfactuals is acknowledged. (shrink)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...) story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (shrink)

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

The human imagination remains one of the last uncharted terrains of the mind. People often imagine how events might have turned out something had been different. The of reality, those aspects more readily changed, indicate that counterfactual thoughts are guided by the same principles as rational thoughts. In the past, rationality and imagination have been viewed as opposites. But research has shown that rational thought is more imaginative than cognitive scientists had supposed. In The Rational Imagination, I argue that imaginative (...) thought is more rational than scientists have imagined. People exhibit remarkable similarities in the sorts of things they change in their mental representation of reality when they imagine how the facts could have turned out differently. For example, they tend to imagine alternatives to actions rather than inactions, events within their control rather than those beyond their control, and socially unacceptable events rather than acceptable ones. Their thoughts about how an event might have turned out differently lead them to judge that a strong causal relation exists between an antecedent event and the outcome, and their thoughts about how an event might have turned out the same lead them to judge that a weaker causal relation exists. In a simple temporal sequence, people tend to imagine alternatives to the most recent event. The central claim in the book is that counterfactual thoughts are organised along the same principles as rational thought. The idea that the counterfactual imagination is rational depends on three steps: (1) humans are capable of rational thought; (2) they make inferences by thinking about possibilities; and (3) their counterfactual thoughts rely on thinking about possibilities, just as rational thoughts do. The sorts of possibilities that people envisage explain the mutability of certain aspects of mental representations and the immutability of other aspects. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

I present a puzzle concerning counterfactual reasoning and argue that it should be solved by giving up the principle of substitution for logical equivalents.

An incorrect interpretation of Goodman’s theory of counterfactuals is persistently being offered in the literature. I find that strange. Even more so since the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gives counterfactuals some (...) formal properties that neither Goodman nor (usually) the interpreter would accept. The usual interpretation (UI), which I claim should not be ascribed to Goodman, considers a counterfactual A>C true iff A, together with natural laws and all contingent truths cotenable with it, entails C. (UI) makes valid the law of conditional excluded middle, which Goodman clearly rejected. Among possible reasons for which the interpreters might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to test the adequacy of our modern theories. (shrink)

This discussion note examines a recent argument for the principle that any counterfactual with true components is itself true. That argument rests upon two widely accepted principles of counterfactual logic to which the paper presents counterexamples. The conclusion speculates briefly upon the wider lessons that philosophers should draw from these examples for the semantics of counterfactuals.

It is commonplace to distinguish between propositional justification (having good reasons for believing p) and doxastic justification (believing p on the basis of those good reasons).One necessary requirement for bridging the gap between S’s merely having propositional justification that p and S’s having doxastic justification that p is that S base her belief that p on her reasons (propositional justification).A plausible suggestion for what it takes for S’s belief to be based on her reasons is that her reasons must contribute (...) causally to S’s having that belief. Though this suggestion is plausible, causal accounts of the basing relation that have been proposed have not fared well. In particular, cases involving causal deviancy and cases involving over-determination have posed serious problems for causal accounts of the basing relation. Although previous causal accounts of the basing relation seem to fall before these problems, it is possible to construct an acceptable causal account of the basing relation. That is, it is possible to construct a causal account of the basing relation that not only fits our intuitions about doxastic justification in general, but also is not susceptible to the problems posed by causal deviancy and causal over-determination. The interventionist account of causation provides the tools for constructing such an account. My aim is to make use of the insights of the interventionist account of causation to develop and defend an adequate causal account of the basing relation. (shrink)

When your word processor or email program is running on your computer, this creates a "virtual machine” that manipulates windows, files, text, etc. What is this virtual machine, and what are the virtual objects it manipulates? Many standard arguments in the philosophy of mind have exact analogues for virtual machines and virtual objects, but we do not want to draw the wild metaphysical conclusions that have sometimes tempted philosophers in the philosophy of mind. A computer file is not made of (...) epiphenomenal ectoplasm. I argue instead that virtual objects are "supervenient objects". The stereotypical example of supervenient objects is the statue and the lump of clay. To this end I propose a theory of supervenient objects. Then I turn to persons and mental states. I argue that my mental states are virtual states of a cognitive virtual machine implemented on my body, and a person is a supervenient object supervening on his cognitive virtual machine. (shrink)

Analyses are given of the concepts of absolute and prima facie obligation. The former is a maximizing analysis: roughly, one ought absolutely to perform those actions which are performed in the best worlds accessible to one. The latter analysis is roughly this: one ought prima facie to perform those actions which are such that those accessible worlds in which they are performed are better than the closest accessible worlds in which they are not performed. Accounts of conditional obligation, both absolute (...) and prima facie, are also given, and the issue of the detachment of unconditional from conditional obligation is addressed. (shrink)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related (...) by virtue of the stable Ramsey test. (shrink)

Suppose that unobtanium-346 is a rare radioactive isotope. Consider: (1) Every Un346 atom, at its creation, decays within 7 microseconds (µs). (50%) Every Un346 atom, at its creation, has a 50% chance of decaying within 7µs. (1) and (50%) can be true together, but (1) and (50%) cannot together be laws of nature. Indeed, (50%)'s mere (non-vacuous) truth logically precludes (1)'s lawhood. A satisfactory analysis of chance and lawhood should nicely account for this relation. I shall argue first that David (...) Lewis's Humean picture accounts for this relation only by inserting this relation ‘by hand’. Next, I shall argue that this relation between law and chance also threatens a radically non-Humean picture of laws and chances. Finally, I shall offer an account of natural law that nicely explains the relation between chancy facts and deterministic laws. This explanation is not ad hoc because it derives the relation from the very same features of lawhood that account for the laws' special relation to counterfactuals and explain how the laws (unlike the accidents) possess a variety of necessity. The reason that a chancy fact such as (50%) keeps (1) from being a law, without keeping (1) from being true, is ultimately that a chancy fact constrains the subjunctive facts and (1)'s lawhood, unlike (1)'s truth, depends upon the subjunctive facts. (shrink)

I will describe the logics of a range of conditionals that behave like conditional probabilities at various levels of probabilistic support. Families of these conditionals will be characterized in terms of the rules that their members obey. I will show that for each conditional, →, in a given family, there is a probabilistic support level r and a conditional probability function P such that, for all sentences C and B, 'C → B' holds just in case P[B | C] ≥ (...) r. Thus, each conditional in a given family behaves like conditional probability above some specific support level. (shrink)

A conditional takes the form ‘If A, then C’. On the truth-conditional view of conditionals, conditional statements state things with truth-conditions. On the suppositional view, conditional statements involve the expression of a supposition. I develop and defend a view on which conditional statements both state things with truth-conditions and express suppositions. On this view, something is fundamentally right about standard truth-conditional and standard suppositional views. Considerations in favor of conditional contents lead us to attribute truth-conditional contents to conditional statements; considerations (...) in favor of the suppositional view then lead us to an unexpected account of these contents. The resulting view has a number of benefits, including a unified treatment of conditional speech acts, a plausible account of our practice of ascribing truth-values to conditional statements, a simple explanation of the apparent equivalence between probabilities of conditionals and conditional probabilities, an intuitive treatment of ‘Gibbardian stand-offs’, a plausible logic of conditionals, and an explanation of why theorizing about conditionals has proved so difficult. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

I argue that there are some causal relata for which it is indeterminate whether one caused the other. Positing indeterminacy in causation helps us defend contested principles in the logic of causation and makes possible new ways of thinking about the theoretical impact of symmetric causal overdetermination. I close by discussing amendments of current theories of causation that would help explain causal indeterminacy.

Recently, Cohen and Timmerman, 1–18, 2016) argue that actualism has control issues. The view should be rejected, they claim, as it recognizes a morally irrelevant distinction between counterfactuals over which agents exercise the same kind of control. Here we reply on behalf of actualism.

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

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)

Molinism is named after Luis de Molina (1535–1600). Molina and his fellow Jesuits became entangled in a fierce debate over issues involving the doctrine of divine providence, which is a picture of how God runs the world. Molinism reemerged in the 1970s after Alvin Plantinga unwittingly assumed it in his Free Will Defense against the ‘Logical’ Argument from Evil. Molinism has been the subject of vigorous debate in analytic philosophy of religion ever since. The main aim of this essay is (...) to survey the main contours of this debate. We will visit some ‘old’ battlefields and current hot spots in the ongoing Molinism Wars. (shrink)

Theorists have consistently maintained that the most plausible forms of objective consequentialism must be probabilistic if and only if indeterminism is true. This standard position, however popular, lacks sufficient motivation. Assume determinism to be true and an attempt will be made to show that attractive forms of objective consequentialism must be probabilistic - and not for reasons related to our epistemic limitations either. -/- Here it is argued that all extant objective formulations of consequentialism fail to deliver the normative implications (...) that the spirit of objective consequentialism requires. My argument rests upon the claim that certain pairs of subjunctive conditionals with identical antecedents and incompatible consequents are such that neither of the pair is true. -/- Upon leveling the objection, the concept of an "objective" subjunctive probability is introduced and utilized in the transformation of a subjective version of expected act utility consequentialism into an objective version, one that is capable of dealing with the difficulties posed by the objection. I end by indicating some ways in which the closest thing to a plausible, objective form of consequentialism might be developed. (shrink)

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us to (...) the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (shrink)

This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue).

It is widely agreed that constant conjunction is a necessary condition for a proposit'2on such as 'Every A is a B' being a law) That is each A is also a B (where A and B are kinds of events, objects states of affairs, or whatever) or the property of being an A is always conjoined with the property of being a B. It is also widely agreed that this cannot be the whole story. How can we distinguish accidental generalisations (...) from laws? Why is it that 'Every massive object attracts every other massive object' is taken as a law, while 'Every golden object is less than a million kilograms (say) in mass' is not? Both are true universally, do not make reference to particular entities or places or times, and so on and so forth, and yet they are given vastly different ontological and/or epistemic status. This is the problem of laws. (shrink)

The literature on conditionals is rife with alternate formulations of the abstract semantics of conditional logic. Each formulation has its own advantages in terms of applications and generalizations; nevertheless, they are for the most part equivalent, in the sense that they underwrite the same range of logical systems. The purpose of the present note is to bring under this umbrella the partition semantics introduced by Brian Skyrms in (Skyrms, 1984).

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just the right amount of (...) variability and vagueness. (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)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".