When philosophers and linguists theorize about the nature of conditionals, they tend to make a number of assumptions about the linguistic structure of these sentences. For example, they almost invariably assume that conditionals have “antecedents” and “consequents” and that these have the structure of independent clauses. With a few exceptions, they assume that conditionals are categorized according to whether they are in the “indicative” or the “subjunctive” “mood”. However, rarely do they formulate criteria for identifying these moods, or for distinguishing (...) between indicative and subjunctive conditionals.Through an analysis of the coordinated verb tense structures of the clauses of English conditionals, I challenge these and other related assumptions and show that the one relatively well-developed attempt to provide criteria for distinguishing between indicative and subjunctive conditionals---that of Gibbard (1980)---fails in its task. I then offer an alternative account of the linguistic structure of conditional constructions. To represent their structure I use first-order predicate logic with added devices to indicate deictic and anaphoric reference. (shrink)

Conditional sentences are among the most intriguing and puzzling features of language, and analysis of their meaning and function has important implications for, and uses in, many areas of philosophy. Jonathan Bennett, one of the world's leading experts, distils many years' work and teaching into this Philosophical Guide to Conditionals, the fullest and most authoritative treatment of the subject. An ideal introduction for undergraduates with a philosophical grounding, it also offers a rich source of illumination and stimulation for graduate students (...) and professional philosophers. (shrink)

The overall strategy of Lycan’s paper is to distinguish three kinds of conditional assertion theories, and then to show, in order, how they are variously afflicted by a set of problems. The three kinds of theory were the Quine-Rhinelander theory (or the Simple Illocutionary theory), The Semanticized Quine-Rhinelander, and the No Truth Value theory (or NTV). This strategy offers considerable clarity, but it comes at a cost, for what I take to be the best version of a conditional assertion theory (...) contains core parts of all three theories. In what follows, I will suggest that many of the objections offered by Lycan can be dealt when all the pieces are taken into consideration at the same time. But I will also suggest that a refined version of what Lycan called the Immediate Implausibility objection does show us that the conditional assertion theory is false. (shrink)

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

This is a review of Christopher Gauker, CONDITIONALS IN CONTEXT (Cambridge, MA: The MIT Press, 2005).

'IF' is one of the most important and interesting words in the English language, being used to express hypothetical thought. The use of conditionals such as 'if' also distinguishes human intelligence from that of all other animals. In this volume, Jonathan Evans and David Over present a new theoretical approach to understanding hypothetical thought. The book draws on studies from the psychology of judgement and decision making, as well as philosophical logic.

Anankastic conditionals are analyzed in terms of events conceived as sequences of snapshots – roughly, comics. Quantification is applied not to worlds (sets of which are customarily identified with propositions) but to strings that record observations of actions. The account generalizes to other types of conditionals, sidestepping certain well-known problems that beset possible worlds treatments, such as logical omniscience and irrelevance. A refinement for anankastic conditionals is considered, incorporating action relations.

The ninth included paper is now fully, formally published with volume number and page numbers, and the second page of the Table of Contents reflects that change, as well. -/- Following Popper on the measure of content, we will combine the concept of logical probability, developed in the nineteenth century, with logical form, and we will answer some objections of Elias to the systematization of Popper's idea by Bar-Hillel and Carnap. We were led along this path by a novel by (...) Isaac Asimov, the biochemist, medical school professor, science fiction writer, and popular science writer—a true polymath with over 400 books to his credit. Elias was concerned that Bar-Hillel and Carnap's theory of semantic content had no philosophical import, no unique properties, and no applications. We will suggest three areas of philosophical import, a unique property based on differences as explained by Peter Milne, and some applications in the general area of abstracting or summarization. We will also suggest that automated language-to-logical-form converters are feasible, necessary for the achievement of various ends, and desirable for the achievement of other ends. In the entire discussion of logical form, we will rely entirely on modern, classical (i.e., two-valued, truth-functional) logic alone, including that most vexatious of connectives, "if." We will close our work with an argument referred to in favor of > from our earlier work, in particular, and truth-functionality, more generally. The connection between the material on content in the first part of this book and the material on a truth-functional approach to logical form in the second part of this book is that the former material presupposes that a certain subset of declarative language is, in fact, truth-functional, a view that is particularly hard to defend for "if," and it is just that defense that is taken up in the second part. This book consists of ten published pieces, as well as three introductory units, and three concluding sections or units. (shrink)

"If you turn left at the next corner, you will see a blue house at the end of the street." That sentence -- a conditional -- might be true even though it is possible that you will not see a blue house at the end of the street when you turn left at the next corner. A moving van may block your view; the house may have been painted pink; a crow might swoop down and peck out your eyes. Still, (...) in some contexts, we might ignore these possibilities and correctly assert the conditional. In this book, Christopher Gauker argues that such context-relativity is the key to understanding the semantics of conditionals. Contexts are defined as objective features of the situation in which a conversation takes place, and the semantic properties of sentences -- conditionals included -- are defined in terms of assertibility in a context. One of the primary goals of a theory of conditionals has to be to distinguish correctly between valid and invalid arguments containing conditionals. According to Gauker, an argument is valid if the conclusion is assertible in every context in which the premises are assertible. This runs counter to what Gauker sees as a systematic misreading of the data by other authors, who judge arguments to be invalid if they can think of a context in which the premises are judged true and some other context in which the conclusion is judged false. Different schools of thought on conditionals reflect fundamentally different approaches to semantics. Gauker offers his theory as a motive and test case for a distinctive kind of semantics that dispenses with reference relations and possible worlds. (shrink)

This paper is obsolete. It is superseded by the book, Conditionals in Context, MIT Press, 2005.

The paper focuses on the difference between eventconditionals and premiseconditionals. An eventconditional contributes to event structure: it modifies the main clause event; a premiseconditional structures the discourse: it makes manifest a proposition that is the privileged context for the processing of the associated clause. The two types of conditional clauses will be shown to differ both in terms of their 'external syntax' and in terms of their 'internal syntax'. The peripheral structure of event conditionals will be shown to lack the (...) functional head Force, which encodes illocutionary force. Event conditionals are merged inside the IP of the matrix clause. Premiseconditionals contain the head Force and they are merged outside the associated CP. (shrink)

Four different conditionals were known to the Stoics. The so-called ‘first’ (Philonian) conditional has been interpreted fairly uncontroversially as an ancient counterpart to the material conditional of modern logic; the ‘fourth’ conditional is obscure, and seemingly of little historical interest, as it was probably not held widely by any group in antiquity. The ‘second’ (Diodorean) and ‘third’ (Chrysippean) conditionals, on the other hand, pose challenging interpretive questions, raising in the process issues in philosophical logic that are as relevant today as (...) they were then. This paper is a critical survey of some modern answers to four of the most tantalizing of these questions; the issues that I will discuss arise out of interpretations of the Diodorean and Chrysippean conditionals as expressions of natural law, and as strict implications. I will reject these interpretations, concluding with my own proposal for where they should be located on a ‘ladder’ of logical strength. The following passage from Sextus will form the basis of my discussion (from Outlines of Pyrrhonism [Pyrrhoneae Hypotyposes], as presented by Long and Sedley 1987b, 211). He has just introduced Philo’s account of “a sound conditional”—by which I understand a true conditional—with the example “when it is day and I am talking, ‘If it is day, I am talking’”. He then continues. (shrink)

In his (1981) paper, Stalnaker has revised his old theory of conditionals and has given the revision an interesting defense. Indeed, Stalnaker shows that this new theory meets the standard objections put to the old. However, I argue that the revision runs into difficulties in the context of quantum mechanics: If Stalnaker's theory of the conditional is assumed, then from plausible assumptions certain Bell-like conflicts with experiment can be derived. This result, I go on to argue, is a good reason (...) to reject Stalnaker's theory, at least for the quantum mechanical context. (shrink)

Chrysippus claims that some propositions perish. including some true conditionals whose consequent is impossible and antecedent is possible, to which he appeals against Diodorus?s Master Argument. On the standard interpretation. perished propositions lack truth values. and these conditionals are true at the same time as their antecedents arc possible and consequents impossible. But perished propositions are false, and Chrysippus?s conditionals are true when their antecedent and consequent arc possible, and false when their antecedent is possible and consequent impossible. The claim (...) of the Master Argument that Chrysippus rejects, then, is stronger ihan usually supposed. (shrink)

This collection brings together some of Frank Jackson's most influential essays on mind, action, conditionals, method in metaphysics, and ethics. These have each been revised for this edition, and are presented along with his challenge to orthodoxy on the new riddle of induction.

This means that, to know which conditionals are true, was considered to be just as important as to know what happens after our death. It was the conditionals which divided DIODOROS KRONOS and his pupil PHILO. Later, CHRYSIPPOS joined the quarrel and they all died without reconcilement.

Australasian Journal of Philosophy, Volume 89, Issue 2, Page 367-370, June 2011.

Argues that certain conditional clauses are irreducibly adnominal, so that 'if' cannot be treated purely as a sentential connective. A unified analysis of adnominal if-clauses and ordinary if-clauses is possible, however, if we assume a semantic theory in which sentences denote sets of events rather than truth values.

Higginbotham (1986) argues that conditionals embedded under quantifiers (as in ‘no student will succeed if they goof off’) constitute a counterexample to the thesis that natural language is semantically compositional. More recently, Higginbotham (2003) and von Fintel and Iatridou (2002) have suggested that compositionality can be upheld, but only if we assume the validity of the principle of Conditional Excluded Middle. I argue that these authors’ proposals (...) deliver unsatisfactory results for conditionals that, at least intuitively, do not appear to obey Conditional Excluded Middle. Further, there is no natural way to extend their accounts to conditionals containing ‘unless’. I propose instead an account that takes both ‘if’ and ‘unless’ statements to restrict the quantifiers in whose scope they occur, while also contributing a covert modal element to the semantics. In providing this account, I also offer a semantics for unquantified statements containing ‘unless’. (shrink)

Unconditionals are syntactic conditionals whose affirmation affirms their consequent, unconditionally. Prominent instances were addressed by J.L. Austin ('There are biscuits if you want some') and Nelson Goodman (even-if 'semifactuals'). Their detailed features are explained in a Decision-Theoretic Semantics (DTS) which extends, by certainty and relevance conditions, the "CCCP" conditional probability construal of conditionals due to Ernest Adams and others. The construal of assertions of conditionals as conditional acts, defended by Keith DeRose and Richard Grandy in 1999 against objections arising from (...) Austin's unconditionals, is shown to be incompatible with any known version of CCCP. However, an ad-hoc decision-theoretic construal of their proposal is seen to work for Austin's unconditionals, albeit for these only. The DTS account of unconditionals hinges on stochastic independence or irrelevance conditions. For Austin's variant, it also involves changes in the expectations of non-indicator random variables, i.e. properly valuational relevance relations. The widely assumed speaker's knowledge presumption for assertion in general is reconstrued non-transcendently as a proposal to update to ostensible common certainty. This imperative replaces the factive 'T-axiom', KA-> A, of modal logical explications of knowledge to yield an doxastically imperatival, but evidence-sensitive theory of assertoric truth claims. On such a basis, Max Black's and G.E. Moore's ostensibilist account of assertors representing themselves as knowing is defended against Tim Williamson's 1996 and Igor Douven's 2006 respective deontic proposals for a knowledge or rational credibility requirement. Moreover, ostensibly unconditional, unhedged assertion is reconciled with a reality of dimly perceived potential defeaters on recognizing it to be a tacit semifactual, if need be. (shrink)

An imperative conditional is a conditional in the imperative mood (by analogy with “indicative conditional”, “subjunctive conditional”). What, in general, is the meaning and the illocutionary effect of an imperative conditional? I survey four answers: the answer that imperative conditionals are commands to the effect that an indicative conditional be true; two versions of the answer that imperative conditionals express irreducibly conditional commands; and finally, the answer that imperative conditionals express a kind of hybrid speech act between command and assertion.

In introductory logic courses the authors often limit their considerations to the truth-value operators. Then they write that conditionals and biconditionals of natural language ("if" and "if and only if") may be represented as material implications and equivalences ("⊃" and "≡"), respectively. Yet material implications are not suitable for conditionals. Lewis' strict implications are much better for this purpose. Similarly, strict equivalences are better for representing biconditionals (than material equivalences). In this paper we prove that the methods from standard first (...) courses in logic can be used for testing arguments with strict implications, strict equivalences and other operators which may represent connectives from natural language. (shrink)

This essay proposes a semantic analysis of biscuit-conditionals, such as Austin’s classic example “there are biscuits in the cupboard if you want some”. The analysis is grounded on the ideas of contextual restrictions, and of non-character encoded aspects of meaning, and provides a rigorous framework for the widespread intuitions that (i) the if-clause in a biscuit-conditional is truth-conditionally idle, but (ii) it ‘qualifies’ the speech-act in question. In the concluding section of this essay, the analysis is also applied to the (...) importantly similar phenomenon of speech-act adverbs. (shrink)

An illustrious line-up of seventeen philosophers from the USA, the UK, and Australia present new essays on themes from the work of Frank Jackson, which bridges mind, language, logic, metaphysics, and ethics. Central to Jackson's work is an approach to metaphysical issues built on the twin foundations of supervenience and conceptual analysis. In the first part of the book six essays examine this approach and its application to philosophy of mind and philosophy of color. The second part focuses on Jackson's (...) highly influential work on phenomenal consciousness. The third part is devoted to Jackson's work in ethics, both normative ethics and metaethics. The last three papers discuss Jackson's ground-breaking work on conditionals. The final section of the book comprises a substantial essay by Jackson in reply to his critics: this offers some of the clearest expressions of the ideas which Jackson has brought to the fore in philosophy. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

In biscuit conditionals (BCs) such as If you’re hungry, there’s pizza in the fridge, the if clause appears to apply to the illocutionary act performed in uttering the main clause, rather than to its propositional content. Accordingly, previous analyses of BCs have focused on illocutionary acts, and, this, I argue, leads them to yield incorrect paraphrases. I propose, instead, that BCs involve existential quantification over potential literal acts such as assertions, questions, commands, and exclamations, the semantic objects associated with declarative, (...) interrogative, imperative, and exclamative sentences, respectively. Such an existential interpretation of BCs requires only that we add potential literal acts to our inventory of individuals, and it produces reasonable paraphrases in which if has its normal meaning: If you’re hungry,[there’s a (relevant/salient) assertion that] there’s pizza in the fridge. These potential literal act variables are introduced into semantic interpretations and then undergo Existential Closure. Hence, we would expect to see similar interpretations in contexts other than BCs, that is, with other if constructions, with connectives other than if, with potential literal acts other than assertion, and in root sentences. This prediction is borne out, along with the parallel prediction that we cannot quantify over purely illocutionary acts like offers, but only over potential literal acts, those conventionally associated with a particular morphosyntactic shape. (shrink)

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (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)

Eleven distinguished philosophers have contributed specially written essays on a set of topics much debated in recent years, including physicalism, qualia, semantic competence, conditionals, presuppositions, two-dimensional semantics, and the relation between logic and metaphysics. All these topics are prominent in the work of Robert Stalnaker, a major presence in contemporary philosophy, in honor of whom the volume is published. It also contains a substantial new essay in which Stalnaker replies to his critics, and sets out his current views on the (...) topics discussed. (shrink)

This article introduces the classic accounts of the meaning of conditionals (material implication, strict implication, variably strict conditional) and discusses the difference between indicative and subjunctive/counterfactual conditionals. Then, the restrictor analysis of Lewis/Kratzer/Heim is introduced as a theory of how conditional meanings come about compositionally: if has no meaning other than serving to mark the restriction to an operator elsewhere in the conditional construction. Some recent alternatives to the restrictor analysis are sketched. Lastly, the interactions of conditionals (i) with modality (...) and (ii) with tense and aspect are discussed. Throughout the advanced research literature is referenced while the discussion stays largely non-technical. (shrink)

At first glance, this is an entirely unremarkable kind of sentence. It is easy to find naturally occuring exponents. Its meaning is also clear: taking the A train is a necessary condition for going to Harlem. Hence the term “anankastic conditional”, Ananke being the Greek protogonos of inevitability, compulsion and necessity.

1. Plot..................................................................................................................................1 2. What is an anankastic conditional? ..................................................................................3 3. Previous Analyses of Anankastic Conditionals.................................................................5..

The object of our investigation is expressing necessary conditions in natural language, particularly in a certain kind of conditional sentences, the so-called Anankastic Conditionals (ACs)2, a topic brought into the linguistic discussion by the seminal papers (Sæbø, 1986) and (Sæbø, 2001). A typical AC is the following sentence, Sæbø’s standard example: (1) If you want to go to Harlem, you have to take the A train. (...) Sæbø analyses the sentence by means of the modal theory in (Kratzer, 1981), according to which a modal has two contextual parameters, a modal base f(w) and an ordering source g(w). The modal base contains relevant facts and the ordering source contains an ideal like wishes, moral laws and the like. Normally, the antecedent of a necessity-conditional is added to the modal base. Sæbø’s new proposal for the analysis of the AC is that the antecedent without the information ‘you want’, called inner antecedent, is added to the ordering source. (shrink)

Two experiments were conducted to show that the IF … THEN … rules used in the different versions of Wason's (1966) selection task are not psychologically—though they are logically—equivalent. Some of these rules are considered by the participants as strict logical conditionals, whereas others are interpreted as expressing a biconditional relationship. A deductive task was used jointly with the selection task to show that the original abstract rule is quite ambiguous in this respect, contrary to deontic rules: the typical “error” (...) made by most people may indeed be explained by the fact that they consider the abstract rule as a biconditional. Thus, there is no proper error or bias in the selection task as it is still argued, but a differential interpretation of the rule. The need for taking into account a pragmatic component in the process of reasoning is illustrated by the experiments. (shrink)

Book Information Real Conditionals. By William Lycan. Clarendon Press. Oxford. 2001. Pp. 234. Hardback, £25.

This paper develops an interpretation of the fourth account of conditionals in Sextus Empiricus's Outlines of Pyrrhonism that conceptually links it with contemporary ?relevance? interpretations of entailment. It is argued that the third account of conditionals, which analyzes the truth of a conditional in terms of the joint impossibility of antecedent and denial of consequent, should not be interpreted in terms of a relative incompatibility of antecedent and denial of consequent because of Stoic acceptance of the truth of some conditionals (...) of the form p ? ?p and its converse. Rather, it is suggested, ancient attempts to avoid the so-called paradoxes of implication involve the fourth account of conditionals. I hypothesize that this account is related to Stoic attempts to define truth conditions for conditionals in terms of a theory of the concludency (validity) of arguments in opposition to the more common procedure (represented by the first three accounts of conditionals) of specifying truth conditions for conditionals ?semantically? and using those truth conditions in the development of a theory of argument validity. (shrink)

Two major themes in the literature on indicative conditionals are (1) that the content of indicative conditionals typically depends on what is known;1 (2) that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by exploiting such equivalences as: A⇔¬A (...) A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are (in some relevant sense) epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker (1970) suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P(A→B) = P(B|A) 1For example, Nolan (2003); Weatherson (2001); Gillies (2007). 2For example Stalnaker (1970); McGee (1989); Adams (1975). 3Lewis (1973). See Nolan (1997) for criticism. 4‘epistemically possible’ here means incompatible with what is known (where ‘what is known’ is to be cashed out in some relevant sense). 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’.. (shrink)

Conditionals has at its center an extended essay on this problematic and much-debated subject in the philosophy of language and logic, which the widely respected Oxford philosopher Michael Woods had been preparing for publication at the time of his death in 1993. It appears here edited by his eminent colleague David Wiggins, and is accompanied by a commentary specially written by a leading expert on the topic, Dorothy Edgington. This masterly and original treatment of conditionals will demand the attention of (...) all philosophers working in this area. (shrink)