One finds in the systems of natural languages some explicit means of elaborating not only upon the directness of the causal relationship believed to exist between two events X and Y (i.e. some means of specifying just how inevitably event X gives or gave rise to event Y), but also some manner of indicating just who or what is understood to be the primary instigator of the caused event. The goal of the present paper is to explore these notions in (...) detail and arrive at a formal, logic-based means of capturing them. (shrink)

This paper reviews the psychological investigation of reasoning with conditionals, putting an emphasis on recent work. In the first part, a few methodological remarks are presented. In the second part, the main theories of deductive reasoning (mental rules, mental models, and the probabilistic approach) are considered in turn; their content is summarised and the semantics they assume for if and the way they explain formal conditional reasoning are discussed, in particular in the light of experimental work on the probability of (...) conditionals. The last part presents the recent shift of interest towards the study of conditional reasoning in context, that is, with large knowledge bases and uncertain premises. (shrink)

This article is an extended critical study of Robert C. Stalnaker, 'Inquiry' (Cambridge, MA: MIT Press, 1984).

The semantics Vann McGee gives for his 1989 conditional logic is based on Stalnaker’s 1968 semantics but replaces the familiar concept of truth at a world with the novel concept of truth under a hypothesis. Developed here is a semantics of the standard type, in which sentences are true at worlds, only with additional constraints imposed on the accessibility relation and the selection function. McGee conditionals of the form A ⇒ X are translated into Stalnaker conditionals of the form \A (...) > X. An interpretation of the semantics is provided, and a few implications for the theory of indicative conditionals and their probabilities are noted. (shrink)

I give a semantics for a logic with two pairs of doxastic modals and an indicative conditional connective that all nest without restriction. Sentences are evaluated as accepted, rejected, or neither. Certainty is the necessity-like modality of acceptance. Inferences may proceed from premises that are certain, or merely accepted, or a mix of both. This semantic setup yields some striking results. Notably, the existence of inferences that preserve certainty but not acceptance very directly implies both failure of modus ponens for (...) the indicative conditional in the logic of acceptance and failure of the deduction theorem for the material conditional in the logic of certainty. The latter failure dissolves, in the logic of certainty, the much - discussed tension between modus ponens and the law of import-export. (shrink)

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)

Sir David Ross introduced prima facie duties, or acts with a tendency to be duties proper. He also spoke of general prima facie principles, wwhich attribute to acts having some feature the tendency to be a duty proper. Like Utilitarians from Mill to Hare, he saw a role for such principles in the epistemology of duty: in the process by means of which, in any given situation, a moral code can help us to find out what we ought to do.After (...) formalizing general prima facie principles as universally quantified conditionals I will show how seeming duties can be detached from them. There will be examples involving lies, burnt offerings and the question of whether to have a napkin on your lap while eating asparagus. They will illustrate the defeasibility of this detachment, how it can lead into dilemmas, and how general prima facie principles are overridden by more specific ones. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

We show that each of three natural sets of assumptions about the conditional entails necessitarianism: that anything possible is necessary.

The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the differences between (...) indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)

Import-Export says that a conditional 'If p, if q, r' is always equivalent to the conditional 'If p and q, r'. I argue that Import-Export does not sit well with a classical approach to conjunction: given some plausible and widely accepted principles about conditionals, Import-Export together with classical conjunction leads to absurd consequences. My main goal is to draw out these surprising connections. In concluding I argue that the right response is to reject Import-Export and adopt instead a limited version (...) which better fits natural language data; accounts for all the intuitions that motivate Import-Export in the first place; and fits better with a classical conjunction. (shrink)

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

Quentin Smith argues that if God exists, He had a duty to ensure life's existence; and He couldn't rationally have done so and made a big bang unless a counter-factual like "If God had made a big bang, there would have been life," was true pre-creation. But such counter-factuals are not true pre-creation. I argue that God could have made a big bang without irrationality; and that He could have ensured life without making big bangs non-random. Further, a proper understanding (...) of the truth-conditions of counter-factuals like the one above lets them have determinate truth-values pre-creation. But the explanation of how the above counter-factual can be true pre-creation is more complicated than that offered by William Lane Craig. (shrink)

The concept of legal power is important in the law since, with regard to actions having legal effect, the “exercise of legal power” delimits those actions for which manifestation of intention to achieve a legal effect is essential for the effect to ensue. The paper proposes a definition that captures this feature of legal power and marks it off from “direct effect,” as well as from permissibility and practical ability to achieve the legal effect. This analysis of power is limited (...) to the “immediate” legal power of a physical person characterized by the power-holder achieving a legal result by the power-holder's own behaviour. It is argued that in the literature on power the concept of legal power is frequently construed in such a way that it becomes either too broad or too narrow. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

The accessibility relation between possible worlds can be defined in the metalanguage of counterfactual semantics. As a result, counterfactuals can ground the whole of standard modal logic.

This paper is about Sobel sequences, which are sequences of counterfactuals that supposedly display two interesting properties: first, they are consistent, as accounted for by the famous Lewis-Stalnaker analysis; but second, they are not consistent in the reverse order, which is not accounted for by Lewis-Stalnaker. I argue that there has been an empirical oversight in the literature on these sequences: there are consistent sequences, and there are irreversible sequences, but no sequence is both. The Lewis-Stalnaker theory neatly captures Sobel (...) sequences, and also captures the inconsistency of Lewis sequences. But there is still a dynamic asymmetry at work with Lewis sequences, which I account for by appeal to the pragmatic phenomenon of imprecision. Lewis sequences seem consistent because they do not belie factual disagreements, but rather metalinguistic disagreements about how precise to be. This also accounts for their irreversibility—such metalinguistic disagreements about the standard of precision are only possible in one direction, as famously observed by Lewis, who observed them in discourses not containing counterfactuals. (shrink)

I develop an account of counterfactual conditionals using “causal models”, and argue that this account is preferable to the currently standard account in terms of “similarity of possible worlds” due to David Lewis and Robert Stalnaker. I diagnose the attraction of counterfactual theories of causation, and argue that it is illusory.

Suppose the world is chancy. The worry arises that most ordinary counterfactuals are false. This paper examines David Lewis' strategy for rescuing such counterfactuals, and argues that it is highly problematic.

This paper uses Popper's treatment of probability and an epistemic constraint on probability assignments to conditionals to extend the Bayesian representation of rational belief so that revision of previously accepted evidence is allowed for. Results of this extension include an epistemic semantics for Lewis' theory of counterfactual conditionals and a representation for one kind of conceptual change.

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

The rule of universal instantiation appears to be subject to counterexamples, although the rule of existential generalization is not subject to the same doubts. This paper is a survey of ways of responding to this problem, both conservative and revisionist. The conclusion drawn is that logical validity should be defined in terms of assertibility in a context rather than in terms of truth on an interpretation. Contexts are here defined, not in terms of the attitudes of the interlocutors, but in (...) terms of the goals of conversation, and assertibility is explained in terms of cooperation. (shrink)

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a third-order (...) accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)

Causal reasoning is one of our most central cognitive competencies, enabling us to adapt to our world. Causal knowledge allows us to predict future events, or diagnose the causes of observed facts. We plan actions and solve problems using knowledge about cause-effect relations. Without our ability to discover and empirically test causal theories, we would not have made progress in various empirical sciences. In the past decades, the important role of causal knowledge has been discovered in many areas of cognitive (...) psychology. Despite the ubiquity of causal reasoning, textbooks of cognitive psychology have neglected this growing field. The goal of The Oxford Handbook of Causal Reasoning is to fill this gap. The handbook brings together the leading researchers in the field of causal reasoning and offers state-of-the-art presentations of theories and research. It provides introductions of competing theories of causal reasoning, and discusses its role in various cognitive functions and domains. The final section presents research from neighboring fields. 1. Causal Reasoning: An Introduction Michael R. Waldmann Part I: Theories of Causal Cognition 2. Associative Accounts of Causal Cognition Mike E. Le Pelley, Oren Griffiths, and Tom Beesley 3. Rules of Causal Judgment: Mapping Statistical Information Onto Causal Beliefs José C. Perales, Andrés Catena, Antonio Cándido, and Antonio Maldonado 4. The Inferential Reasoning Theory of Causal Learning: Toward a Multi- Process Propositional Account Yannick Boddez, Jan De Houwer, and Tom Beckers 5. Causal Invariance as an Essential Constraint for Creating a Causal Representation of the World: Generalizing the Invariance of Causal Power Patricia W. Cheng and Hongjing Lu 6. The Acquisition and Use of Causal Structure Knowledge Benjamin Margolin Rottman 7. Formalizing Prior Knowledge in Causal Induction Thomas L. Griffiths 8. Causal Mechanisms Samuel G. B. Johnson and Woo-kyoung Ahn 9. Force Dynamics and Causation Phillip Wolff and Robert Thorstad 10. Mental Models and Causation P. N. Johnson- Laird and Sangeet S. Khemlani 11. Pseudocontingencies Klaus Fiedler and Florian Kutzner 12. Singular Causation David Danks 13. Cognitive Neuroscience of Causal Reasoning Joachim T. Operskalski and Aron K. Barbey Part II: Basic Cognitive Functions 14. Visual Impressions of Causality Peter White 15. Goal-Directed Actions Bernhard Hommel 16. Planning and Control Magda Osman 17. Reinforcement Learning and Causal Models Samuel J. Gershman 18. Causation and the Probability of Causal Conditionals David E. Over 19. Causal Models and Conditional Reasoning Mike Oaksford and Nick Chater 20. Concepts as Causal Models: Categorization Bob Rehder 21. Concepts as Causal Models: Induction Bob Rehder 22. Causal Explanation Tania Lombrozo and Nadya Vasilyeva 23. Diagnostic Reasoning Björn Meder and Ralf Mayrhofer 24. Inferring Causal Relations by Analogy Keith J. Holyoak and Hee-Seung Lee 25. Causal Argument Ulrike Hahn, Roland Bluhm, and Frank Zenker 26. Causality in Decision- Making York Hagmayer and Philip M. Fernbach Part III: Domains of Causal Reasoning 27. Intuitive Theories Tobias Gerstenberg and Joshua B. Tenenbaum 28. Space, Time, and Causality Marc J. Buehner 29. Causation in Legal and Moral Reasoning David A. Lagnado and Tobias Gerstenberg 30. The Role of Causal Knowledge in Reasoning About Mental Disorders Woo-kyoung Ahn, Nancy S. Kim, and Matthew S. Lebowitz 31. Causality and Causal Reasoning in Natural Language Torgrim Solstad and Oliver Bott 32. Social Attribution and Explanation Denis Hilton Part IV: Development, Phylogeny, and Culture 33. The Development of Causal Reasoning Paul Muentener and Elizabeth Bonawitz 34. Causal Reasoning in Non-Human Animals Christian Schloegl and Julia Fischer 35. Causal Cognition and Culture Andrea Bender, Sieghard Beller, and Douglas L. Medin. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the conditional. Instead, I argue (...) that each individual instance of the conditional may be interpreted either factually or counterfactually, rather than these instances dividing into distinct types. I examine the classic Oswald–Kennedy pair of sentences, typically taken to be the quintessential example of how conditionals must be split into two different categories, to show that they in fact do not demonstrate this. I then present my account of the logic underlying the ordinary-language conditional, the system C3, and a justification of the form it takes. This logic provides distinct interpretations of the conditional as it concerns what is factual or what is counterfactual, respectively. The factual interpretation is true when both antecedent and consequent are true at the actual world, false when the antecedent is true and consequent false, and not truth-apt otherwise. The counterfactual interpretation incorporates a ceteris paribus clause, ensuring that it is not falsified by extraordinary, unforeseeable occurrences, and is true when, at all worlds at which the antecedent is ceteris paribus true, the consequent too is true. It is false when, at any of these worlds the consequent is false; and not truth-apt otherwise. I go on to examine alternative theories of the conditional—from the suppositionalist approach to evaluating the putative indicative conditional, to Stalnaker’s combined indicative and counterfactual account, and Lewis’s analysis of the counterfactual; among a number of others—and offer comparison to my own theory. Finally, I look at various challenges to my account of the conditional. Being a strict conditional (albeit variably so), that of C3 is open to the objection that it fails to match ordinary speakers’ intuitions as regards its truth-value assignments to, for instance, conditionals with necessarily true consequents. I address these so- called paradoxes of the strict conditional, and also discussion the question of truth-preservation in the C3 system in the case of such inferences as those relying on transitivity and that of modus ponens. I maintain that these inferences are indeed truth-preserving under certain, specifiable, conditions, and I close by offering possible avenues for further research. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

A standing challenge in the theory of counterfactuals is to solve the “deviation problem”. Consider ordinary counterfactuals involving an antecedent concerning a difference from the actual course of events at a particular time, and a consequent concerning, at least in part, what happens at a later time. In the possible worlds framework, the problem is often put in terms of which are the relevant antecedent worlds. Desiderata for the solution include that the relevant antecedent worlds be governed by the actual (...) laws of nature with no miracles; that the past in those worlds before the antecedent time matches the actual past; that the account is compatible with determinism, and that many of our ordinary counterfactual judgments are correct, and would be correct even given determinism. Many theorists have compromised on one or more of these desiderata, but this paper presents an account employing impossible worlds that satisfies them all. (shrink)

This work explores the hypothesis that natural language is a tool for changing a language user's state of mind and, more specifically, the hypothesis that a sentence's meaning is constituted by its characteristic role in fulfilling this purpose. This view contrasts with the dominant approach to semantics due to Frege, Tarski and others' work on artificial languages: language is first and foremost a tool for representing the world. Adapted to natural language by Davidson, Lewis, Montague, et. al. this dominant approach (...) has crystalized as truth-conditional semantics: to know the meaning of a sentence is to know the conditions under which that sentence is true. Chapter 1 details the animating ideas of my alternative approach and shows that the representational function of language can be understood in terms of the more general function of changing representational mental states. Chapters 2-4 argue that the additional resources of this more general conception of meaning allow us to explain certain phenomena involving conditionals and grammatical mood that truth-conditional semantics does not. In the analysis of these specific phenomena and the articulation of the general approach on offer, it emerges that this approach combines insights and benefits from both use-theoretic and truth-theoretic work on meaning. (shrink)

Stalnaker's 1975 motivates an account of the truth conditions of indicative conditionals that seems in tension with the truth-conditions he offers. This paper discusses how best to resolve this tension.

This thesis studies Judea Pearl’s logic of counterfactuals derived from the causal modeling framework, in comparison to the influential Stanlnaker-Lewis counterfactual logics. My study focuses on a characteristic principle in Pearl’s logic, named reversibility. The principle, as Pearl pointed out, goes beyond Lewis’s logic. Indeed, it also goes beyond the stronger logic of Stanlnaker, which is more analogous to Pearl’s logic. The first result of this thesis is an extension of Stanlnaker’s logic incorporating reversibility. It will be observed that the (...) translation of reversibility from Pearl’s language to the standard language for conditional logic deserves some attention. In particular, a straightforward translation following Pearl’s suggestion would render reversibility incompatible with Stanlnaker’s logic. A new translation of reversibility will be proposed, and an extension of Stanlnaker’s logic with the inclusion of the translated reversibility will be investigated. More importantly, it will be shown that the extended Stanlnaker’s logic is sound and complete with respect to a modified Stanlnaker’s semantics. The extension of Stanlnaker’s logic has an interesting implication. Zhang, Lam, and de Clercq have shown that special case of reversibility, despite its name, actually states an important kind of irreversibility: counterfactual dependence between distinct events is irreversible. In other words, reversibility entails that there is no cycle of counterfactual dependence altogether generalizations of reversibility. However, as shown in Zhang et al., Pearls’ logic does not rule out cycles of counterfactual dependence altogether. It in fact allows cycles that involve three or more distinct events. This is peculiar because the status of cyclic counterfactual dependence seems no more metaphysically secure than that of mutual counterfactual dependence. This consideration leads to an exploration of logics that rule out all cycles of counterfactual dependence. A surprising result is that the extension of Stanlnaker’s logic is precisely a logic of this sort. (shrink)

This paper proposes a formalization of ability that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to match well with planning formalisms, and so to provide an account of the role of ability in practical reasoning. Some of the philosophical literature concerning ability, and in particular [Austin, 1956], suggests that some ways of talking about ability are context-dependent. I propose a way of formalizing (...) this dependency. (shrink)

I believe that this approach leads to a wider problem that brings together elements of linguistics and philosophy in an illuminating way. But the single case study that I provide here, while it may be suggestive, does not go far enough to make a good case for the more general point. This paper is extracted from a larger collection of documents, and is intended to motivate and illustrate the ideas.

This is part of a larger project that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to suggest ways in which planning formalisms could be modified to provide an account of the role of ability in planning and practical reasoning.