In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truth functionality and the material conditional. All approaches that try to treat conditionals (...) as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)

In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not truth functionality (...) as such that is the problem, but the philosophical foundation of modern logic. (shrink)

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)

DGfS workshop on Tense across Languages, Bamberg University, Germany. [handout].

This is the last of three lectures on anaphoric parallels between individuals and possibilities across languages (IMS, Stuttgart, 2000).

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

It is generally agreed that constructions of the form “if P, Q” are capable of conveying a number of different relations between antecedent and consequent, with pragmatics playing a central role in determining these relations. Controversy concerns what the conventional contribution of the if-clause is, how it constrains the pragmatic processes, and what those processes are. In this essay, I begin to argue that the conventional contribution of if-clauses to semantics is exhausted by the fact that these clauses introduce a (...) proposition without presenting it as true so that the consequent can be understood in relation to it. Given our cognitive interests in such non-truth-presentational introductions, conditionals will make salient the wide but nevertheless disciplined variety of contents that we naturally attribute to them; no further substantial constraints of the sorts proposed by standard theories of conditionals are needed to explain the phenomena. If this is correct, it provides prima facie evidence for a radically contextualist account of conditionals according to which conditionals have no truth-evaluable or intuitively complete content absent some contextually provided, sufficiently salient relation between antecedent and consequent. (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)

Conditionals that contain a modality in the consequent give rise to a particular semantic phenomenon whereby the antecedent of the conditional blocks possibilities when interpreting the modality in the consequent. This explains the puzzling logical behaviour of constructions like "If you don't buy a lottery ticket, you can't win", "If you eat that poison, it is unlikely that you will survive the day" and "If you kill Harry, you ought to kill him gently". In this paper it is argued that (...) a semantic version of the Ramsey Test provides a key in the analysis of such constructions. The logic for this semantics is axiomatized and some examples are studied, among them a well-known puzzle for contrary-to-duty obligations. (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.

"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 collection introduces the reader to some of the most interesting current work on conditionals. Particular attention is paid to possible world semantics for conditionals, the role of conditional probability in helping us to understand conditionals, implicature and the material conditional, and subjunctive versus indicative conditionals. Contributors include V.H. Dudman, Dorothy Edgington, Nelson Goodman, H.P. Grice, David Lewis, and Robert Stalnaker.

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.

The purposes of this paper are first, to develop clearly the problem of mental conditionals for Millikan’s theory; second, to show why existing approaches to conditional semantics face serious challenges from a teleosemantic perspective; and third, to offer an account of the function of mental conditionals that meets the requirements of Millikan’s theory. We end up not only with a solution to a standing problem for teleosemantics, but also with a novel avenue for research in conditional semantics.

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)

I consider embeddings of one subjunctive conditional in the consequent of another, and argue that (if A then (if B then C)) is not equivalent to (if (A & B) then C ), given the meanings we usually give to the outer and the inner 'if'.

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)

I give an account of the compositional semantics of unconditionals (e.g. Whoever goes to the party, it will be fun) that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct (in English in particular, a question-denoting adjunct) that supplies domain restrictions pointwise (in the sense of Hamblin) to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In (...) the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, and show what detaching this hypothesis from if involves. (shrink)

The term “Reduced Conditional” is coined by Schwarz (1996, 1998, 2000) to designate a certain kind of ellipsis that may occur in the consequent of a Conditional in German, as illustrated in (1): (1a) is a Full Conditional (FC, henceforth) and (1b) is its Reduced Conditional (RC) counterpart.

According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with AGM-type belief revision models. I argue that it is possible to endorse that (...) Ramsey test for conditionals while staying true to the spirit of AGM. A main focus lies on AGM’s condition of Preservation according to which the original belief set should be fully retained after a revision by information that is consistent with it. I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals. Among the four most natural qualitative models for iterated belief change, two are identified that indeed allow us to combine the Ramsey test with Preservation in the language containing only flat conditionals of the form α > β. It is shown, however, that Preservation for this simple language enforces a violation of Preservation for nested conditionals of the form α > (β > γ). In such languages, no two belief sets are ordered by strict subset inclusion. I argue that it has been wrong right from the start to expect that Preservation holds in languages containing nested conditionals. (shrink)

Since its publication in 1989, David Sanford's If P Then Q has become one of the most widely respected works in the field of conditionals. This new edition includes three new chapters, thus updating the book to take into account developments in the area over the past fifteen years. Part One gives an historical overview of the history of philosophical treatments of conditionals, from ancient times until the contemporary development of possible worlds. In Part Two, Sanford puts forward his own (...) treatment of conditionals. (shrink)

In a recent revision (chapter 4 of Nowakowa and Nowak 2000) of an older article Leszek Nowak (1992) has attempted to rebut Niiniluoto’s 1990 critical suggestion that proponents of the Poznań idealizational approach to the sciences have committed a rather elementary logical error in the formal machinery that they advocate for use in the analysis of scientific methodology. In this paper I criticize Nowak’s responses to Niiniluoto’s suggestion, and, subsequently, work out some of the consequences of that criticism for understanding (...) the role that idealization plays in scientific methodology. (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)

Mackie, J. L. Causes and conditions.--Taylor, R. The metaphysics of causation.--Scriven, M. Defects of the necessary condition analysis of causation.--Kim, J. Causes and events: Mackie on causation.--Anscombe, G. E. M. Causality and determination.--Davidson, D. Causal relations.--Wright, G. H. von. On the logic and epistemology of the causal relation.--Ducasse, C. J. On the nature and the observability of the causal relation.--Sellars, W. S. Counterfactuals.--Chisholm, R. M. Law statements and counterfactual inference.--Rescher, N. Belief-contravening suppositions and the problem of contrary-to-fact conditionals.--Stalnaker, R. A (...) theory of conditionals.--Lewis, D. Causation.--Kim, J. Causes and counterfactuals. (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)