Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

Suppositional theories of conditionals take apparent similarities between supposition and conditionals as a starting point, appealing to features of the former to provide an account of the latter. This paper develops a novel form of suppositional theory, one which characterizes the relationship at the level of semantics rather than at the level of speech acts. In the course of doing so, it considers a range of novel data which shed additional light on how conditionals and supposition interact.

Differences in the interpretation of would-conditionals with simple (perfective) and perfect antecedent clauses are marked enough to discourage a unified view. However, this paper presents a unified, Lewis–Stalnaker style semantics for the modal in such constructions. Differences in the interpretation of the conditionals are derived from the interaction between the interpretation of different types of aspect and the modal. The paper makes a distinction between perfective and perfect aspect in terms of whether they make reference to or quantify over Lewis-style (...) events. In making reference to Lewis-events, perfective aspect is shown to be incompatible with counterfactual would-conditionals. The so-called ‘epistemic flavor’ of perfective conditionals about the future is derived from the use of diagonalization as an interpretive strategy called upon to resolve reference. (shrink)

In this paper, we propose a unified account of conditionals inspired by Frank Ramsey. Most contemporary philosophers agree that Ramsey’s account applies to indicative conditionals only. We observe against this orthodoxy that his account covers subjunctive conditionals as well—including counterfactuals. In light of this observation, we argue that Ramsey’s account of conditionals resembles Robert Stalnaker’s possible worlds semantics supplemented by a model of belief. The resemblance suggests to reinterpret the notion of conditional degree of belief in order to overcome a (...) tension in Ramsey’s account. The result of the reinterpretation is a tenable account of conditionals that covers indicative and subjunctive as well as qualitative and probabilistic conditionals. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

This book proposes a semantic theory of conditionals that can account for (i) the variability in usages that conditional sentences can be put; and (ii) both conditional sentences of the form ‘if p, q’ and those conditional thoughts that are expressed without using ‘if’. It presents theoretical arguments as well as empirical evidence from English and other languages in support of the thesis that an adequate study of conditionals has to go beyond an analysis of specific sentence forms or lexical (...) items. The resulting perspective on conditionals is one in which conditionality is located at a higher level than that of the sentence; namely, at the level of thought. The author argues that it is only through adopting such a perspective, and with it, a commitment to context-dependent semantics, that we can successfully represent conditional utterances as they are used and understood by ordinary language users. It will be of interest to students and scholars working on the semantics of conditionals in the fields of linguistics (especially semantics and pragmatics) and philosophy of language. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

The full-text of this book chapter is not available in ORA. Citation: Williamson, T.. Knowledge of counterfactuals. In: O'Hear, A. Epistemology. Cambridge: Cambridge University Press, pp. 45-64.

It is known that indicative and subjunctive conditionals interact differently with a rigidifying "actually" operator. The paper studies this difference in an abstract setting. It does not assume the framework of possible world semantics, characterizing "actually" instead by the type of logically valid formulas to which it gives rise. It is proved that in a language with such features all sentential contexts that are congruential (in the sense that they preserve logical equivalence) are extensional (in the sense that they preserve (...) material equivalence). For a subjunctive conditional, the natural conclusion to draw is that it is non-congruential. It is much harder to defend the claim that an indicative conditional is non-congruential. The pressure to treat the indicative conditional as truth-functional is correspondingly greater. The implications of these results for attempts to interpret the indicative conditional as an epistemic or doxastic operator are assessed. (shrink)

The morphological marking that distinguishes conditionals that are called “counterfactual” from those that are not, can also be found in other modal constructions, such as in the expression of wishes and oughts. We propose to call it “X-marking”. In this article, we lay out desiderata for a successful theory of X-marking and make some initial informal observations. Much remains to be done.

Many languages have past-and-counterfactuality markers such as English simple past. There have been various attempts to find a common definition for both uses, but I will argue in this paper that they all have problems with ruling out unacceptable interpretations, or accounting for the contrary-to-fact implicature of counterfactual conditionals, or predicting the observed cross-linguistic variation, or a combination thereof. By combining insights from two basic lines of reasoning, I will propose a simple and transparent approach that solves all the observed (...) problems and offers a new understanding of the concept of counterfactuality. (shrink)

The semantic analysis of conditional sentences does not entirely align with their morphosyntactic structure. I substantiate this hypothesis with instances from both Czech and English that extend beyond conventional textbook examples. I also highlight that logicians and philosophers often make terminological errors when they disregard the insights from linguistic disciplines. Despite the early analytic philosophy’s emphasis on terminological precision, the practical application falls significantly short of this ideal. I firmly believe that a proper understanding of the morphosyntax and semantics of (...) conditional sentences is a prerequisite for their classification and analysis. In our pursuit of a comprehensive exploration of conditional clauses, we must also grapple with methodological challenges that delve into the very core of the philosophy of language. The primary issue revolves around the fact that two out of the three a priori methods in philosophy rely heavily on the analysis of conditional sentences: thought experiments and modal metaphysics. (shrink)

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Stalnaker, 1968; Lewis, 1973). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals. For indicative conditionals, five competing truth tables are compared, including the previously untested, multi-dimensional possible worlds semantics of Bradley (2012). In Experiment 2, these results are replicated and it is shown that they cannot be accounted for by an alternative (...) hypothesis proposed by our reviewers. In Experiment 3, individual variation in truth assignments of indicative conditionals is investigated via Bayesian mixture models that classify participants as following one of several competing models. As a novelty of this study, it is found that a possible worlds semantics of Lewis and Stalnaker is capable of accounting for participants’ aggregate truth value assignments in this task. Applied to indicative conditionals, we show across three experiments, that the theory both captures participants’ truth values at the aggregate level (Experiments 1 and 2) and that it makes up the largest subgroup in the analysis of individual variation in our experimental paradigm (Experiment 3). (shrink)

It is widely held that there are important differences between indicative conditionals (e.g. “If the authors are linguists, they have written a linguistics paper”) and subjunctive conditionals (e.g. “If the authors had been linguists, they would have written a linguistics paper”). A central difference is that indicatives and subjunctives convey different stances towards the truth of their antecedents. Indicatives (often) convey neutrality: for example, about whether the authors in question are linguists. Subjunctives (often) convey the falsity of the antecedent: for (...) example, that the authors in question are not linguists. This paper tests prominent accounts of how these different stances are conveyed: whether by presupposition or conversational implicature. Experiment 1 tests the presupposition account by investigating whether the stances project – remain constant – when embedded under operators like negations, possibility modals, and interrogatives, a key characteristic of presuppositions. Experiment 2 tests the conversational-implicature account by investigating whether the stances can be cancelled without producing a contradiction, a key characteristic of implicatures. The results provide evidence that both stances – neutrality about the antecedent in indicatives and the falsity of the antecedent in subjunctives – are conveyed by conversational implicatures. (shrink)

In contemporary works on conditionals, the Ramsey test is a procedure for the evaluation of conditional sentences. There are several versions of the test, all inspired by a footnote by the British philosopher and mathematician Frank Ramsey, in his General Propositions and Causality. However, no study on Ramsey's own account of conditionals has been put forth so far. Furthermore, the footnote seems to cover indicative conditionals only, and this has led to the belief that no account of counterfactuals can be (...) found in Ramsey's work. In this paper, I recover Ramsey's account of counterfactuals and show that it is sketched in the footnote too. The result is a well-developed account of counterfactuals that resembles many contemporary ones. But Ramsey uses the same approach also for other types of conditionals, and this casts doubts on the current criteria for the classification of this type of sentences. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

IntroductionThe meaning of conditional sentences bears an intrinsic relation to a number of central philosophical problems, like the nature of reasoning, the possibility of knowledge, and the status of laws of nature. This has incited philosophers to spend a lot of time working on conditionals and to fill countless bookshelves with inspiring and sophisticated theories on their meaning. However, the overall question of how to approach the meaning of conditionals is still open. There are many different theories on the market, (...) many central issues still need to be solved.But as a topic philosophers are interested in conditionals are special in that they are real; they can be the subject of empirical investigations. And they are actually investigated – in linguistic, in psychology, in the cognitive sciences. The goal of this paper is to illustrate how this ‘external’ information can be used to answer questions on the semantics of conditional sentences that philosophers and logicians are int .. (shrink)

Many languages have past-and-counterfactuality markers such as English simple past. There have been various attempts to find a common definition for both uses, but I will argue in this paper that they all have problems with (a) ruling out unacceptable interpretations, or (b) accounting for the contrary-to-fact implicature of counterfactual conditionals, or (c) predicting the observed cross-linguistic variation, or a combination thereof. By combining insights from two basic lines of reasoning, I will propose a simple and transparent approach that solves (...) all the observed problems and offers a new understanding of the concept of counterfactuality. (shrink)

Common sense suggests that counterfactuals are capable of truth and falsity, and that their truth values depend on more than just the actual course of events. Projectivists, like Mackie, deny the first; reductivists, like Lewis, deny the second. I criticize Mackie's and Lewis's theories, thereby defending realism. There are parallel issues and positions concerning the other concepts of the natural necessity family. A realist theory may also have a positive part, consisting of an account of some of the conceptual relations (...) within this family. I try to cast light on the counterfactual by postulating a relation of accessibility between possible worlds - accessibility at the 'point' at which an event occurs. (shrink)

McGee argued that modus ponens was invalid for the natural language conditional ‘If…then…’. Many subsequent responses have argued that, while McGee’s examples show that modus ponens fails to preserve truth, they do not show that modus ponens fails to preserve rational full acceptance, and thus modus ponens may still be valid in the latter informational sense. I show that when we turn our attention from indicative conditionals to subjunctive conditionals, we find that modus ponens does not preserve either truth or (...) rational full acceptance, and thus is not valid in either sense. In concluding I briefly consider how we can account for these facts. (shrink)

The author takes anderson to task for resting his argument on an "appeal to english usage," without analyzing that usage in relation to his point that subjunctive and counterfactual conditionals belong in one class. (staff).

Why do utterances of counterfactual conditionals typically, but not universally, convey the message that their antecedents are false? I demonstrate that two common theoretical commitments–commitment to the existence of scalar implicature and of informative presupposition—can be supplemented with an independently motivated theory of the presuppositions of competing conditional alternatives to jointly predict this information when and only when it appears. The view works best if indicative and counterfactual conditionals have a closely related semantics, so I conclude by undermining two familiar (...) arguments for a nonunified semantics of indicative and counterfactual conditionals. (shrink)

The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion that (...) conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)

In this paper, I investigate whether the intuitions that make connexive logics seem plausible might lie in pragmatic phenomena, rather than the semantics of conditional statements. I conclude that pragmatics indeed underwrites these intuitions, at least for indicative statements. Whether this has any effect on logic choice, however, heavily depends on one’s semantic theory of conditionals and on how one chooses to logically treat pragmatic failures.

In this paper, I investigate whether the intuitions that make connexive logics seem plausible might lie in pragmatic phenomena, rather than the semantics of conditional statements. I conclude that pragmatics indeed underwrites these intuitions, at least for indicative statements. Whether this has any effect on logic choice (and what that effect might be), however, heavily depends on one’s semantic theory of conditionals and on how one chooses to logically treat pragmatic failures.

Weak ontic necessity is the ontic necessity expressed by “should/ought to” in English. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds at the present world is irrelevant to whether its prejacent holds at the present world. In this paper, by combining premise semantics and update semantics for conditionals, we present a logical theory for conditional weak ontic necessity based on context update. A context is a set of (...) ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We compare this theory to some related works. The logic’s expressivity is studied. (shrink)

I raise two objections against Christian List and Peter Menzies' influential account of high-level causation. Improving upon some of Stephen Yablo's earlier work, I develop an alternative theory which evades both objections. The discussion calls into question List and Menzies' main contention, namely, that the exclusion principle, applied to difference-making, is false.

In this article, I propose a semantic account of temporally mismatched past subjunctive counterfactuals. The proposal consists of the following parts. First, I show that in cases of temporal mismatch, [past] cannot be interpreted inside the proposition where it occurs at surface structure. Instead, it must be interpreted as constraining the time argument of the accessibility relation. This has the effect of shifting the time of the evaluation of the conditional to some contextually salient past time. Second, I will propose (...) specific felicity conditions (presuppositions) for subjunctive conditionals and I will argue that there is a strict correspondence between the time of evaluation in the truth conditions of a conditional and the time relevant for the felicity conditions. In other words, if the time relevant for the accessibility relation has been shifted to the past, then the conditional's presupposition will make reference to a past context. On the other hand, if no past is constraining the time argument of the accessibility relation, the conditional's felicity will make reference to the current (main) context. Third, I will argue that the intuition that the antecedent of mismatched counterfactuals is not true is a scalar implicature arising from a competition not between assertions but between presuppositions. Finally, I will investigate the repercussions of my proposal for the general theory of modality. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in contemporary English (...) and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (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)

The paper addresses a puzzle about the probabilistic evaluation of counterfactuals, raised by Ernest Adams as a problem for his own theory. I discuss Brian Skyrms’s response to the puzzle. I compare this puzzle with other puzzles about counterfactuals that have arisen more recently. And I attempt to solve the puzzle in a way that is consistent with Adams’s proposal about counterfactuals.

We outline a theory of the cognitive role of belief in absolute necessity that is normative and intended to be metaphysically neutral. We take this theory to be unique in scope since it addresses simultaneously the questions of how such belief is (properly) acquired and of how it is (properly) manifest. The acquisition and manifestation conditions for belief in absolute necessity are given univocally, in terms of complex higher-order attitudes involving two distinct kinds of supposition (A-supposing and C-supposing). It is (...) subsequently argued that the proposed acquisition and manifestation conditions are rationally interdependent, and that such harmony affords explanations of connections between different facets of belief in necessity that otherwise remain mysterious. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

In the accounts we give of one another, claims about our abilities appear to be indispensable. Some abilities are so widespread that many who have them take them for granted, such as the ability to walk, or to write one's name, or to tell a hawk from a handsaw. Others are comparatively rare and notable, such as the ability to hit a Major League fastball, or to compose a symphony, or to tell an elm from a beech. In either case, (...) however, when we ascribe such abilities to one another we have the impression that we are making claims that, whether they are worth saying or not, are at least sometimes true. The impression of truth exerts a pressure towards giving a philosophical theory of ability. It is not an option, at least at the outset, to dismiss all our talk of ability as fiction or outright falsehood. A theory of ability can be reasonably expected to say what it is to have an ability in a way that vindicates the appearance of truth. Such a theory will deserve the name “philosophical” insofar as it gives an account, not of this or that range of abilities, but of abilities generally. (shrink)

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...) proposition she accepts because she doesn’t know what are the truth-values of its propositional contents. This tension motivates counterexamples to the negation of conditionals, the propositional analysis of conditionals, hypothetical syllogism, contraposition and or-to-if. It is argued that these counterexamples are non-starters because they rely on a mix of intensionally based premises and extensionally based conclusions. Instead, a genuine counterexample to classical argumentative forms should present circumstances where an intuitively true and extensionally based premise leads to an intuitively false conclusion that is also extensionally based. The other point is that evidentiary concerns about intensionally based beliefs should be constrained by the truth conditions of propositions presented by classical logic, which are nothing more than requirements of coherence in distributions of truth value. It is argued that this restriction also dissolves some known puzzles such as conditional stand-offs, the Adams pair, the opt-out property and the burglar’s puzzle. (shrink)

Abstract Utterances of counterfactual conditionals are typically attended by the information that their antecedents are false. But there is as yet no account of the source of this information that is both detailed and complete. This paper describes the problem of counterfactual antecedent falsity and argues that the problem can be addressed by appeal to an adequate account of the presuppositions of various competing conditional constructions. It argues that indicative conditionals presuppose that their antecedents are epistemically possible, while subjunctive conditionals (...) bear no presupposition. Given this arrangement, utterance of the counterfactual results in an antipresupposition, that is, a scalar implicature generated from the presuppositions of competing alternatives rather than from the at-issue content of competing alternatives. The content of the antipresupposition is the negation of the presupposition of the competing indicative, i.e., that the antecedent of the conditional is known to be false by the speaker. (shrink)