In his 1987 book _Conditionals, Frank Jackson presents an argument to the effect that the indicative conditionals of natural language have the same truth conditions as the material conditional of truth-functional logic. This Jackson refers to as the "paradox of indicative conditionals." I offer a solution to this paradox by arguing that some conditionals that appear to be in the indicative mood are actually subjunctives, to which the paradox does not apply. (...) I support this proposed solution with some historical observations on the evolution of the English verb phrase. (edited). (shrink)

While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the “defective truth-table” in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous (...) inference patterns that do seem to be part of ordinary usage. However, coupled with something the probability account gives us—namely that when conditional-free ϕ entails conditional-free ψ, “if ϕ then ψ” is a trivial, uninformative truth—we have enough logic to derive the paradoxes of material implication. It thus becomes a matter of some urgency to determine which inference patterns involving indicative conditionals participants do endorse. Only thus will we be able to arrive at a realistic, systematic semantics for the indicative conditional. (shrink)

This chapter was written in 2013 and was posted in the Semantics Archive in January 2014. The preprint of the published version has been in the Semantics Archive since 2016. The Semantics Archive is an electronic preprint archive hosted by the Linguistics Society of America. -/- The chapter looks at indicative conditionals embedded under quantifiers, with a special emphasis on ‘one-case’, episodic, conditionals as in "No query was answered if it came from a doubtful address." It agrees (...) with earlier assessments that a complete conditional (with antecedent and consequent) is embedded under a quantifier in those constructions, but then proceeds to create a dilemma by showing that we can’t always find the right interpretation for that conditional. Contrary to earlier assessments, Stalnaker’s conditional won’t always do. The paper concludes that the embedded conditional in the sentence above is a material implication, but the "if"-clause also plays a pragmatic role in restricting the domain of the embedding quantifier. That an appeal to pragmatics should be necessary at all goes with Edgington’s verdict that “we do not have a satisfactory general account of sentences with conditional constituents.” -/- One of the conclusions drawn at the end of the chapter is that the English modal "will" should be given a Stalnaker selection function analysis. The idea is implemented by attaching to "will" an accessibility function variable that receives its value from the context of use and can be dynamically updated by preceding "if"-clauses, as proposed in von Fintel (1994). The argument for a Stalnaker selection function analysis of "will" provided by the paper is that, together with the restrictor analysis of "if"-clauses, it yields the correct truth-conditions for "will"-conditionals (as opposed to episodic, 'one case', conditionals) embedded under quantifiers. The proposal that the English modal "will" should be given a Stalnaker selection function analysis has since been taken up and elaborated considerably in Cariani & Santorio's (2018) paper on "will" in Mind, and is a central idea in Cariani's (2021) book The Modal Future. (shrink)

Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate (...) i) that the Indirectness Condition is cancellable, hence a conversational implicature, ii) that the Indirectness Condition is not part of the conventional, truth-relevant meaning of ‘if’, and accordingly, iii) semantic or logical equivalence between indicative and material conditionals. (shrink)

Here I present a new objection to the material or "hook" analysis of indicative conditionals - the thesis that an indicative conditional 'If A then C' has the truth-conditions of the so-called material conditional - based on Liar-like reasoning. This objection seems invulnerable to any Grice-Lewis-Jackson-inspired pragmatic rejoinder.

Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and the (...) possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)

Anorexia nervosa remains an enigma among Western cultures. Various causal explanations have been offered, encompassing biological, psychological, and sociocultural models. These explanations, however, focus on the immediate or proximal mechanisms of causation. A more thorough understanding of anorexia nervosa can be achieved by understanding the relationship between these factors and ultimate causation, the level of explanation which deals with individual reproductive fitness. This paper reviews the biological, psychological, sociocultural, and evolutionary models and indicates a necessary synthesis between proximate and ultimate (...) levels of causation in examining the anorexia nervosa puzzle. (shrink)

The solution John Buridan offers for the Paradox of the Liar has not been correctly placed within the framework of his philosophy of language. More precisely, there are two important points of the Buridanian philosophy of language that are crucial to the correct understanding of his solution to the Liar paradox that are either misrepresented or ignored in some important accounts of his theory. The first point is that the Aristotelian formula, ` propositio est vera quia qualitercumque significat (...) in rebus significatis ita est ', once amended, is a correct way to talk about the truth of a sentence. The second one is that he has a double indexing theory of truth: a sentence is true in a time about a time, and such times should be distinguished in the account of the truth-conditions of sentences. These two claims are connected in an important way: the Aristotelian formula indicates the time about which a sentence is true. Some interpreters of the Buridanian solution to the paradox, following the lead of Herzberger, have missed these points and have been led to postulate truth-values gaps, or surrogates of truth-value gaps, when there is nothing of this sort in his theory. I argue against this tradition of interpretation of Buridan and propose an interpretation of his solution to the Liar. (shrink)

People respond to metaphors as much with regard to the emotions that they generate as to their referential, comparative contents. Interviews with non-geneticists about preferred metaphors for gene-environment interaction that illustrate this tendency are reported. These interviews also reveal the dynamic tendency of such emotional responses. A second set of interviews shows that lay people may preferentially use a metaphor of "virus" or "disease" for talking about genes, as opposed to the coding metaphors transmitted through the mass media and reportedly (...) preferred by geneticists. An explanation based on the differently situated emotions of these groups is proposed. It is proposed that the prominence of emotions in responding to genetics indicates the importance of incorporating analyses of emotions instead of simple principles into policy formulation about genetics. (shrink)

Reviews the book, Neurophilosophy of free will: From libertarian illusions to a concept of natural autonomy by Henrik Walter and C. Klohr . In this book, Henrik Walter applies the methodology of neurophilosophy to one of philosophy’s central challenges and enduring questions: the notion of free will. The author argues that free will is an illusion if we mean by it that under identical conditions we would be able to do or decide otherwise, while simultaneously acting only for reasons and (...) being the true originators of our actions. In place of this problematic version of free will, Walter offers what he calls “natural autonomy,” that is, self-determination unaided by supernatural powers that could exist even in an entirely determined universe. 2012 APA, all rights reserved). (shrink)

A festschrift for Dorothy Edgington, containing contributions from Cleo Condoravdi, Dorothy Edgington, Kit Fine, Alan Hájek, John Hawthorne, Sabine Iatridou, Nick Jones, Rosanna Keefe, Angelika Kratzer, David Over, Daniel Rothschild, Robert Stalnaker, Scott Sturgeon, and Timothy Williamson.

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)

There is an argument (first presented by Fitch), which tries to show by formal means that the anti-realistic thesis that every truth might possibly be known, is equivalent to the unacceptable thesis that every truth is actually known (at some time in the past, present or future). First, the argument is presented and some proposals for the solution of Fitch's Paradox are briefly discussed. Then, by using Wehmeier's modal logic with subjunctive marks (S5*), it is shown how the derivation (...) can be blocked if one respects adequately the distinction between the indicative and the subjunctive mood. Essentially, this proposal amounts to the one by Edgington which was formulated with the help of the actuality-operator. Finally it is shown how the criticisms by Williamson against Edgington can be answered by the formulation of a new conception of possible knowledge that \alpha (thereby \alpha being in the indicative mood and thus referring to the actual world). This conception is based on the concept of same de re knowledge in different possible worlds. (shrink)

Your use of the JSTOR archive indicates your acceptance of J STOR’s Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. J STOR’s Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non—commercial use.

There are indications that simple reaction time might have slowed in Western countries, based on both cohort- and multi-study comparisons. A possible limitation of the latter method in particular is measurement error stemming from methods variance, which results from the fact that instruments and experimental conditions change over time and between studies. We therefore set out to measure the simple auditory reaction time (SRT) of 7,081 individuals (2,997 males and 4,084 females) born in Sweden 1959-1985 (subjects were aged between 27 (...) and 54 years at time of measurement). Depending on cut-offs and adjustment for ageing related slowing on SRT, the data suggest that SRT has increased between 3 and 16 ms in the 27 birth years covered in the present sample. The slowing is unlikely to be explained by attrition, as evaluated by comparing the general intelligence × birth-year interactions and standard deviations for both male participants and dropouts, utilizing military conscript cognitive ability data. The present result is consistent with previous studies employing alternative methods, and may result from several synergistic factors, such as possible recent micro-evolutionary trends favouring lower g in Sweden and the effects of industrially produced neurotoxic substances on peripheral nerve conduction velocity. (shrink)

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

This paper extends the defense of a simple theory of indicative conditionals previously proposed by the author, in which the truth conditions are material, and Grice-style assertability conditions are given to explain the paradoxes of material implication. The paper discusses various apparent counter-examples to the material account in which conditionals are not asserted, and so the original theory cannot be applied; it is argued that, nevertheless, the material theory can be defended.

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this (...) book focuses on the main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning. (shrink)

C onsider two contrary conditionals 1 about two envelopes, Ali and Baba: (a) If Ali has more money than Baba, the difference between the amounts in them is $5. (b) If Ali has more money than Baba, the difference between the amounts in them is $10. Can these both be true? The answer is a resounding yes on the standard account of conditionals, which identifies indicative con- ditionals with material conditionals. It is not the same with (...) many other contemporary accounts of c onditionals. They yield a quali- fied negative answer: (a) and (b) are not compatible 2 unless their common antecedent cannot be true. I think this is a wrong answer. The conditionals can both be true while their antecedent states a possibility. This is what I aim to show in this paper. In doing so, I present a solution to Raymond Smullyan’s intriguing version of the two-envelope paradox. (shrink)

There is a new Bayesian, or probabilistic, paradigm in the psychology of reasoning, with new psychological accounts of the indicative conditional of natural language. In psychological experiments in this new paradigm, people judge that the probability of the indicative conditional, P(if A then C), is the conditional probability of C given A, P(C | A). In other experiments, participants respond with what has been called the 'de- fective' truth table: they judge that if A then C is true (...) when A holds and C holds, is false when A holds and C does not, and is neither true nor false when A does not hold. We argue that these responses are not 'defective' in any negative sense, as many psychologists have implied. We point out that a number of normative researchers, including de Finetti, have proposed such a table for various coherent interpretations of the third value. We review the relevant general tables in the normative literature, in which there is a third value for A and C and the logically compound forms of the natural language conditional, negation, conjunction, disjunction, and the material conditional. We describe the results of an experiment on which of these tables best describes ordinary people's judgements when the third value is interpreted as indicating uncertainty. (shrink)

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

A few purported counterexamples to the Adams thesis have cropped up in the literature in the last few decades. I propose a theory that accounts for them, in a way that makes the connections between indicative conditionals and counterfactuals clearer.

One very popular kind of semantics for subjunctive conditionals is aclosest-worlds account along the lines of theories given by David Lewisand Robert Stalnaker. If we could give the same sort of semantics forindicative conditionals, we would have a more unified account of themeaning of ``if ... then ...'' statements, one with manyadvantages for explaining the behaviour of conditional sentences. Such atreatment of indicative conditionals, however, has faced a battery ofobjections. This paper outlines a closest-worlds account of (...) indicativeconditionals that does better than some of its cousins in explaining thebehaviour of such conditionals. The paper then discusses objectionsoffered by Dorothy Edgington and Frank Jackson to closest-worldsaccounts of indicative conditionals, and shows that these objections canbe met by the account outlined. (shrink)

The chapter is devoted to the probability and acceptability of indicative conditionals. Focusing on three influential theses, the Equation, Adams’ thesis, and the qualitative version of Adams’ thesis, Sikorski argues that none of them is well supported by the available empirical evidence. In the most controversial case of the Equation, the results of many studies which support it are, at least to some degree, undermined by some recent experimental findings. Sikorski discusses the Ramsey Test, and Lewis’s triviality proof, (...) with special attention dedicated to the popular ways of blocking it. Sikorski concludes that the role of the three theses in future studies of conditionals should be re-thought, and he presents alternative proposals. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor (...) standard probability theory provide appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Science using prototypes, plans, or schemata; formal semantics in natural language, especially the semantics of the `if-then' conditional construct; and the logic of subjunctive conditionals first developed using a possible worlds semantics by Stalnaker and Lewis. The basic premise of the paper is that both schema-based inference and the semantics of conditionals are (...) based on Dretske's notion of information flow and Barwise and Perry's notion of a constraint in situation semantics. That is, the connection between antecedent and consequent of a conditional `if were the case then would be the case' is an informational relation holding with respect to a pragmatically determined utterance situation. The bridge between AI and conditional logic is that a prototype or planning schema represents a situation type, and the background assumptions underlying the application of a schema in a situation correspond to channel conditions on the flow of information. Adapting the work of Stalnaker and Lewis, the semantics of conditionals is modeled by a refinement ordering on situations: a conditional `if then ' holds with respect to a situation if all the minimal refinements of the situation that support also support . We present new logics of situations, information flow, and subjunctive conditionals based on three-valued partial logic that formalizes our approach, and conclude with a discussion of the resulting theory of conditionals, including the "paradoxes" of conditional implication, the difference between truth conditions and assertability conditions for subjunctive conditionals, and the relationship between subjunctive and indicative conditionals. (shrink)

It is often thought that the test for whether an indicative conditional is assertible is to first suppose the antecedent and then check to see if the consequent is probable on that supposition. Call this procedure the “Ramsey Test”. Some influential accounts of indicative conditionals hold that the Ramsey Test works because indicative conditionals are used to express a high credence in the consequent conditional on the antecedent. In this paper I will argue that a (...) different expressivist account, one inspired by Brandom can handle a wider range of phenomena. In particular, it does a better job explaining how conditionals function in modus tollens arguments. I will end by discussing how the account proposed here goes beyond Brandom’s own work on logic and hermeneutics. Of particular importance is the role played by a conversational common ground, distinct from the commitments of the interpreter and interpreted. (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)

If K is an index of relative voting power for simple voting games, the bicameral postulate requires that the distribution of K -power within a voting assembly, as measured by the ratios of the powers of the voters, be independent of whether the assembly is viewed as a separate legislature or as one chamber of a bicameral system, provided that there are no voters common to both chambers. We argue that a reasonable index – if it is to be used (...) as a tool for analysing abstract, ‘uninhabited’ decision rules – should satisfy this postulate. We show that, among known indices, only the Banzhaf measure does so. Moreover, the Shapley–Shubik, Deegan–Packel and Johnston indices sometimes witness a reversal under these circumstances, with voter x ‘less powerful’ than y when measured in the simple voting game G1 , but ‘more powerful’ than y when G1 is ‘bicamerally joined’ with a second chamber G2 . Thus these three indices violate a weaker, and correspondingly more compelling, form of the bicameral postulate. It is also shown that these indices are not always co-monotonic with the Banzhaf index and that as a result they infringe another intuitively plausible condition – the price monotonicity condition. We discuss implications of these findings, in light of recent work showing that only the Shapley–Shubik index, among known measures, satisfies another compelling principle known as the bloc postulate. We also propose a distinction between two separate aspects of voting power: power as share in a fixed purse (P-power) and power as influence (I-power). (shrink)

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then (...) it will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (shrink)

The Paradox of Intellectual Property in Capitalism is an innovative book that comprehensively discusses and analyses intellectual property under capitalistic social conditions and relations. It not only addresses some historical developments of intellectual property but also brings to the fore the very notion of what knowledge is, knowledge creation, and knowledge production and appropriation within a Marxist framework. Nonetheless, the adopted approach pays heed to multiple fields of knowledge, providing rich discussions that facilitate the understanding of actual social totality (...) in which capitalism, knowledge production and appropriation, and the struggles of appropriation mutually reinforce each other, although not devoid of antagonisms and contradictions. In light of contemporary capitalism, the transformations that social property relations are undergoing must be scrutinised – such as those brought about by the development of digitalisation and the convergence between big pharma and tech giants. What are the conditions of intellectual property creation today? What theoretical assumptions does it make? Under what social relations is intellectual property produced? Throughout, the emphasis is not on individual cases or symptoms but on the overarching logic: the logic of capitalism as revealed in intellectual property. (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.

A result from a standard linear model course is that the variance of the ordinary least squares (OLS) coefficient of a variable will never decrease when including additional covariates into the regression. The variance inflation factor (VIF) measures the increase of the variance. Another result from a standard linear model or experimental design course is that including additional covariates in a linear model of the outcome on the treatment indicator will never increase the variance of the OLS coefficient of the (...) treatment at least asymptotically. This technique is called the analysis of covariance (ANCOVA), which is often used to improve the efficiency of treatment effect estimation. So we have two paradoxical results: adding covariates never decreases the variance in the first result but never increases the variance in the second result. In fact, these two results are derived under different assumptions. More precisely, the VIF result conditions on the treatment indicators but the ANCOVA result averages over them. Comparing the estimators with and without adjusting for additional covariates in a completely randomized experiment, I show that the former has smaller variance averaging over the treatment indicators, and the latter has smaller variance at the cost of a larger bias conditioning on the treatment indicators. Therefore, there is no real paradox. (shrink)

Discusses how to capture the link between the probability of indicative conditionals and conditional probability using a classical semantics for conditionals.

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a (...) Lewisian system of spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

Lewis argued that ‘there is no way to interpret a conditional connective so that, with sufficient generality, the probabilities of conditionals will equal the appropriate conditional probabilities’. However, as Lewis and others have subsequently recognized, Lewis' triviality results go through only on the assumption that ‘if’ is not context-sensitive. This leaves a question that has not been adequately addressed: what are the prospects of a context-sensitive theory of ‘if’ that complies with Stalnaker's thesis? I offer one interesting constraint on (...) any such theory. I argue that no context-sensitive theory satisfies Stalnaker's thesis if it satisfies three plausible assumptions: first, that the truth of an indicative is determined by the world of evaluation and by the set of worlds in the relevant epistemic context in which the antecedent is true; second, that one can learn an indicative conditional without learning that the antecedent and consequent are both true; third, that belief revision is conservative in the sense that it does not reduce the probabilities to zero unnecessarily. The result gives us a clearer picture of the real costs of a truth-conditional context-sensitive Stalnaker's thesis-compliant semantics. (shrink)

We present a unified approach for investigating rational reasoning about basic argument forms involving indicative conditionals, counterfactuals, and basic quantified statements within coherence-based probability logic. After introducing the rationality framework, we present an interactive view on the relation between normative and empirical work. Then, we report a new experiment which shows that people interpret indicative conditionals and counterfactuals by coherent conditional probability assertions and negate conditionals by negating their consequents. The data support the conditional probability (...) interpretation of conditionals and the narrow-scope reading of the negation of conditionals. Finally, we argue that coherent conditional probabilities are important for probabilistic analyses of conditionals, nonmonotonic reasoning, quantified statements, and paradoxes. (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)

This is a handbook article about indicative conditionals.

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)

It is argued that indicative conditionals are best viewed as having truth conditions (and so they are in part factual) but that these truth conditions are ‘gappy’ which leaves an explanatory gap that can only be filled by epistemic considerations (and so indicative conditionals are in part epistemic). This dual nature of indicative conditionals gives reason to rethink the relationship between logic viewed as a descriptive discipline (focusing on semantics) and logic viewed as a (...) discipline with a normative import (focusing on epistemic notions such as ‘reasoning’, ‘beliefs’ and ‘assumptions’). In particular, it is argued that the development of formal models for epistemic states can serve as a starting point for exploring logic when viewed as a normative discipline. (shrink)

This thesis is about indicative conditionals and apparent counterexamples to classically valid argument forms. Specifically, it applies the following four theories: - material (inspired by Grice (1961, 1975 and 1989)); - possible-worlds (inspired by Stalnaker (1981); Lewis (1976); and Kratzer (2012)), - suppositional (inspired by Adams (1975) and Edgington (1995 and 2014)); and - hybrid (inspired by Jackson (1987)) to try and solve the following two counterexamples: - Vann McGee’s to modus ponens (1985); and - Lewis Carroll’s to (...) modus tollens (1894). I argue that none of the theories I consider can explain – without facing any problems – the three individually plausible but jointly inconsistent theses that give rise to the apparent counterexamples. The three theses of the trilemma are the following: (1) the argument is invalid; (2) the argument is an instance of modus ponens or modus tollens; and (3) modus ponens or modus tollens is valid. (shrink)