We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

I argue that taking the Practical Conditionals Thesis seriously demands a new understanding of the semantics of such conditionals. Practical Conditionals Thesis: A practical conditional [if A][ought] expresses B’s conditional preferability given A Paul Weirich has argued that the conditional utility of a state of affairs B on A is to be identified as the degree to which it is desired under indicative supposition that A. Similarly, exploiting the PCT, I will argue that the proper analysis of indicative practical conditionals (...) is in terms of what is planned, desired, or preferred, given suppositional changes to an agent’s information. Implementing such a conception of conditional preference in a semantic analysis of indicative practical conditionals turns out to be incompatible with any approach which treats the indicative conditional as expressing non-vacuous universal quantification over some domain of relevant antecedent-possibilities. Such analyses, I argue, encode a fundamental misunderstanding of what it is to be best, given some condition. The analysis that does the best vis-à-vis the PCT is, instead, one that blends a Context-Shifty account of indicative antecedents with an Expressivistic, or non-propositional, treatment of their practical consequents. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (...) (ii) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

Why are conditional degrees of belief in an observation E, given a statistical hypothesis H, aligned with the objective probabilities expressed by H? After showing that standard replies are not satisfactory, I develop a suppositional analysis of conditional degree of belief, transferring Ramsey’s classical proposal to statistical inference. The analysis saves the alignment, explains the role of chance-credence coordination, and rebuts the charge of arbitrary assessment of evidence in Bayesian inference. Finally, I explore the implications of this analysis for Bayesian (...) reasoning with idealized models in science. (shrink)

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I (...) call the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal results that (...) a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (shrink)

Shared agency is a distinctive kind of sociality that involves interdependent planning, practical reasoning, and action between participants. Philosophical reflection suggests that agents engage in this form of sociality when a special structure of interrelated psychological attitudes exists between them, a set of attitudes that constitutes a collective intention. I defend a new way to understand collective intention as a combination of individual conditional intentions. Revising an initial statement of the conditional intention account in response to several challenges leads to (...) a specification of the properties these intentions need to have in order to be genuine commitments. I then show how a structure of conditional intentions with these properties settles a collection of agents on engaging in social interactions that display all the features typically associated with shared agency. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.

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.

In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been produced over the past (...) 50 years. In this paper I survey some recent attempts to come to terms with the problem of encoding evidential support or relevance in the logic of conditionals. I present models in a qualitative-modal and in a quantitative-probabilistic setting. Focussing on some particular examples, I show that no perfect match between the two kinds of settings has been achieved yet. (shrink)

This elementary 4-page paper is a preliminary survey of some of the most important uses of ‘condition’ and ‘consequence’ in American Philosophy. A more comprehensive treatment is being written. Your suggestions, questions, and objections are welcome. A statement of a conditional need not be a conditional statement and conditional statement need not be a statement of a conditional.

The purpose of this paper is to present a general mechanistic framework for analyzing causal representational claims, and offer a way to distinguish genuinely representational explanations from those that invoke representations for honorific purposes. It is usually agreed that rats are capable of navigation because they maintain a cognitive map of their environment. Exactly how and why their neural states give rise to mental representations is a matter of an ongoing debate. I will show that anticipatory mechanisms involved in rats’ (...) evaluation of possible routes give rise to satisfaction conditions of contents, and this is why they are representationally relevant for explaining and predicting rats’ behavior. I argue that a naturalistic account of satisfaction conditions of contents answers the most important objections of antirepresentationalists. (shrink)

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, these principles entail that (...) it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

Indicative conditionals and tendency causal claims are closely related (e.g., Frosch and Byrne, 2012), but despite these connections, they are usually studied separately. A unifying framework could consist in their dependence on probabilistic factors such as high conditional probability and statistical relevance (e.g., Adams, 1975; Eells, 1991; Douven, 2008, 2015). This paper presents a comparative empirical study on differences between judgments on tendency causal claims and indicative conditionals, how these judgments are driven by probabilistic factors, and how these factors differ (...) in their predictive power for both causal and conditional claims. (shrink)

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...) as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (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)

Williamson proposes that a "suppositional procedure" is a central heuristic we use to evaluate the truth of conditionals, though he also argues that this method often leads us astray. An alternative approach to the link between supposition and conditionals is to claim that we are guided by our antecedent conditional judgements in our supposing, and in particular in our determining which things follow from an initial supposition. This alternative explanation of the close link between conditionals and supposition is developed and (...) compared to Williamson's proposal. (shrink)

Abstract: I argue that practically all vague language is context-sensitive in a covert and unfamiliar way. I first outline a novel puzzle concerning the interaction of conditionals and vagueness. I then argue that the best way of resolving the puzzle is through positing context-sensitive penumbral connections between sundry parts of language. I argue that these penumbral connections shift through a distinct form of Lewisian accommodation. The upshot is that meaning is a far shiftier thing than has typically been thought.

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.

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and probabilistic (...) theory of conditionals with attractive results and predictions. (shrink)

The conditional analysis of dispositions is widely rejected, mainly due to counterexamples in which dispositions are either “finkish” or “masked.” David Lewis proposed a reformed conditional analysis. This view avoids the problem of finkish dispositions, but it fails to solve the problem of masking. I will propose a reformulation of Lewis’ analysis, and I will argue that this reformulation can easily be modified so that it avoids the problem of masking. In the final section, I will address the challenge that (...) some dispositions appear to lack any stimulus condition, and I will briefly turn to the issue of reductionism. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict conditional view and defends it (...) from some foreseeable objections. (shrink)

In Counterfactual Conditionals, Daniel Dohrn discusses the standard account of counterfactuals, conditionals of the form ‘If A had been the case, then B would have been the case’. According to the standard account, a counterfactual is true if the then-sentence is true in all closest worlds in which the if-sentence is true. Closeness is spelled out in terms of an ordering of worlds by their similarity. Dohrn explores resources of defending the standard account against several challenges. In particular, he defends (...) the standard logics for counterfactuals. He discusses exemplary doubts as to whether conditionals have truth conditions. He inquires into the interaction between truth and probability of counterfactuals. He tackles problems with the similarity ordering. He address the interaction between counterfactuals and normalcy conditions. He closes with elaborating peculiarities of future-directed counterfactuals. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

Rational agents seem more confident in any possible event than in an impossible event. But if rational credences are real-valued, then there are some possible events that are assigned 0 credence nonetheless. How do we differentiate these events from impossible events then when we order events? de Finetti (1975), Hájek (2012) and Easwaran (2014) suggest that when ordering events, conditional credences and subset relations are as relevant as unconditional credences. I present a counterexample to all their proposals in this paper. (...) While their proposals order possible and impossible events correctly, they deliver the wrong verdict for disjoint possible events assigned equal positive credence. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Children approach counterfactual questions about stories with a reasoning strategy that falls short of adults’ Counterfactual Reasoning (CFR). It was dubbed “Basic Conditional Reasoning” (BCR) in Rafetseder et al. (Child Dev 81(1):376–389, 2010). In this paper we provide a characterisation of the differences between BCR and CFR using a distinction between permanent and nonpermanent features of stories and Lewis/Stalnaker counterfactual logic. The critical difference pertains to how consistency between a story and a conditional antecedent incompatible with a nonpermanent feature of (...) the story is achieved. Basic conditional reasoners simply drop all nonpermanent features of the story. Counterfactual reasoners preserve as much of the story as possible while accommodating the antecedent. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

The main thesis of this paper is that, whereas an intention simpliciter is a commitment to a plan of action, a conditional intention is a commitment to a contingency plan, a commitment about what to do upon (learning of) a certain contingency relevant to one’s interests obtaining. In unconditional intending, our commitment to acting is not contingent on finding out that some condition obtains. In conditional intending, we intend to undertake an action on some condition, impinging on our interests, which (...) is as yet unsettled for us, but about which we can find out without undue cost. (shrink)

While the contemporary philosophical literature is replete with discussion of the control or freedom required for moral responsibility, only more recently has substantial attention been devoted to the knowledge or awareness required, otherwise called the epistemic condition. This area of inquiry is rapidly expanding, as are the various positions within it. This chapter introduces two major positions: the reasonable expectation view and the quality of will view. The chapter then explores two dimensions of the epistemic condition that serve as fault (...) lines along which these two views diverge. The first dimension concerns different kinds of ignorance. The second concerns what agents can be directly blameworthy for. The chapter closes by sketching a novel approach that incorporates advantages of opposing positions on this topic. (shrink)

Despite the lack of evidence for their effectiveness, the use of physical restraints for patients is widespread. The best ethical justification for restraining patients is that it prevents them from harming themselves. We argue that even if the empirical evidence supported their effectiveness in achieving this aim, their use would nevertheless be unethical, so long as well known exceptions to informed consent fail to apply. Specifically, we argue that ethically justifiable restraint use demands certain necessary and sufficient conditions. These (...) conditions are that the physician obtain informed consent for their application, that their application be medically appropriate, and that restraints be the least liberty-restricting way of achieving the intended benefit. It is a further question whether their application is ever medically appropriate, given the dearth of evidence for their effectiveness. (shrink)

I consider difficult data involving the interaction of attitudes and conditionals, specifically non-doxastic attitude expressions like 'regret'. I first show that felicitous attitude conditionals in "ignorance contexts", where the relevant person doesn't know the antecedent is true, give rise to a number of difficult problems given widely held assumptions in semantics. I then argue that, even so, we should expect these conditionals to be true and reasonable to utter in ignorance contexts, given certain other kinds of attitude construction that tend (...) to involve free relatives like `whatever'. I then use that observation to explain many of the more puzzling aspects of these conditionals, and to show that we should treat felicitous doxastic attitude conditionals differently from felicitous non-doxastic ones. I leave explaining felicitous doxastic attitude conditionals for future work, but offer constraints on a satisfying explanation of them. (shrink)

This paper discusses and relates two puzzles for indicative conditionals: a puzzle about indeterminacy and a puzzle about triviality. Both puzzles arise because of Ramsey's Observation, which states that the probability of a conditional is equal to the conditional probability of its consequent given its antecedent. The puzzle of indeterminacy is the problem of reconciling this fact about conditionals with the fact that they seem to lack truth values at worlds where their antecedents are false. The puzzle of triviality is (...) the problem of reconciling Ramsey's Observation with various triviality proofs which establish that Ramsey's Observation cannot hold in full generality. In the paper, I argue for a solution to the indeterminacy puzzle and then apply the resulting theory to the triviality puzzle. On the theory I defend, the truth conditions of indicative conditionals are highly context dependent and such that an indicative conditional may be indeterminate in truth value at each possible world throughout some region of logical space and yet still have a nonzero probability throughout that region. (shrink)

A compositional semantics for anankastic conditionals (‘If you want p, you must φ’) has been elusive. Condoravdi and Lauer (2016) decisively object to all semantics that precede their own. CL's view rests on a response to *the problem of conflicting goals*; CL use an interpretation of 'want' on which an agent's desires don't conflict with her beliefs. But a proper response requires lack of conflict with the facts. CL's view fails. Anankastic conditionals are still a mystery.

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for (...) the conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...) arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

The practice of medicine frequently involves the unconsented restriction of liberty. The reasons for unilateral liberty restrictions are typically that being confined, strapped down, or sedated are necessary to prevent the person from harming themselves or others. In this paper, we target the ethics of chemical restraints, which are medications that are used to intentionally restrict the mental states associated with the unwanted behaviors, and are typically not specifically indicated for the condition for which the patient is being treated. Specifically, (...) we aim to identify the conditions under which chemical restraints are ethically permissible. It is wrong to assume that what is morally true of physical restraints is also true of chemical restraints. Our aim is thus to identify the conditions under which chemical restraints are permissible while distinguishing these conditions from those of the application of physical restraints. (shrink)

This paper aims to bridge the relationship between metalinguistic if you like as a non-propositional discourse marker and its conditional counterparts. This paper claims that metalinguistic if you like is polysemous between a hedge that denotes the speaker’s reduced commitment to some aspect of the main clause, and an optional yet potential conditional reading that interlocutors can legitimately draw on in interaction which is brought about due to the ‘if p, q’ sentence form. That is, although the metalinguistic reading is (...) most likely obtained automatically by default, it also carries an available conditional reading that is akin to other metalinguistic conditional clauses such as if you see what I mean. Next, a semantic representation of metalinguistic if you like is developed that takes on board a characterization of conditionality that departs from lexico-grammatical conventions, such that conditionals of the form ‘if p, q’ no longer bear a one-to-one correspondence with “conditional” truth conditions. Employing a radical contextualist semantic framework in which the unit of truth-conditional analysis is not constrained to the sentence form, utterances employing metalinguistic if you like are given a semantic representation such that the if-clause does not contribute propositional content, yet they also maintain their status as conditionals as the sentence form gives rise to a potential conditional secondary meaning. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

Michael Fara's ‘habitual analysis’ of disposition ascriptions is equivalent to a kind of ceteris paribus conditional analysis which has no evident advantage over Martin's well known and simpler analysis. I describe an unsatisfactory hypothetical response to Martin's challenge, which is lacking in just the same respect as the analysis considered by Martin; Fara's habitual analysis is equivalent to this hypothetical analysis. The feature of the habitual analysis that is responsible for this cannot be harmlessly excised, for the resulting analysis would (...) be subject to familiar counter-examples. (shrink)

Conditioning can produce desires that seem to be outside of--or “alien” to--the agent. Desire-based theories of welfare claim that the satisfaction of desires creates prudential value. But the satisfaction of alien desires does not seem to create prudential value. To explain this fact, we need an account of alien desires that explains their moral status. In this paper I suggest that alien desires are desires that would be rational if the person believed something that in fact she believes is false. (...) Such desires could be produced by mental representations--or “quasi-beliefs”--with contents that conflict with the contents of one’s beliefs. The postulation of quasi-beliefs is plausible, for they explain important empirical facts about our behavior--facts that are difficult if not impossible to explain otherwise. Alien desires, I argue, involve quasi-beliefs with contents that conflict with the contents of regular beliefs. This theory provides the distinction between alien and authentic desires that desire-based theories of welfare need. (shrink)

There are plenty of classic paradoxes about conditional obligations, like the duty to be gentle if one is to murder, and about “supererogatory” deeds beyond the call of duty. But little has been said about the intersection of these topics. We develop the first general account of conditional supererogation, with the power to solve familiar puzzles as well as several that we introduce. Our account, moreover, flows from two familiar ideas: that conditionals restrict quantification and that supererogation emerges from a (...) clash between justifying and requiring reasons. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

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)