§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

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)

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)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

Weak ontic necessity is the ontic necessity expressed by “should” or “ought to”. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds is irrelevant to whether its underlying proposition holds. This necessity essentially involves time. This paper presents a logic for conditional weak ontic necessity in branching time. The logic’s language includes the next instant operator, the last instant operator, and the operator for conditional weak ontic necessity. Formulas (...) are evaluated at tuples consisting of a tree-based model, a context, a timeline, and an instant. A context is a set of ordered ontic laws determining expected timelines. When evaluating conditional weak ontic necessity, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We discuss some consequences of the formalization and compare it to some related work. We study the logic’s expressivity and axiomatize a special validity of it. (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

We construct a causal-modeling semantics for both indicative and counterfactual conditionals. As regards counterfactuals, we adopt the orthodox view that a counterfactual conditional is true in a causal model M just in case its consequent is true in the submodel M∗, generated by intervening in M, in which its antecedent is true. We supplement the orthodox semantics by introducing a new manipulation called extrapolation. We argue that an indicative conditional is true in a causal model M just in case its (...) con- sequent is true in certain submodels M∗, generated by extrapolating M, in which its antecedent is true. We show that the proposed semantics can account for some important minimal pairs nicely and naturally. We also prove a theorem showing under what conditions intervention and extrapolation will yield the same result, and thus explain how counterfactual and indicative conditionals would behave in a causal-modeling semantics. (shrink)

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

Informal logicians recognise the frequent use of unstated assumptions; some (e.g. Fisher) also recognise entertained arguments and recommend a suppositional approach (such as Mackie's) to conditional statements. It is here argued that these two be put together to make argument diagrams more accurate and subtle. Philosophical benefits also accrue: insights into Jackson's apparent violations of modus tollens and contraposition and McGee's counterexamples to the validity of modus ponens.

If we seek to analyse causation in terms of counterfactual conditionals then we must assume that there is a class of counterfactuals whose members (i) are all and only those we need to support our judgements of causation, (ii) have truth-conditions specifiable without any irreducible appeal to causation. I argue that (i) and (ii) are unlikely to be met by any counterfactual analysis of causation. I demonstrate this by isolating a class of counterfactuals called non-projective counterfactuals, or NP-counterfactuals, and indicate (...) how counterfactual analyses of causation must appeal to them to account for the correct causal judgements we make. I show that the truth-conditions of NP-counterfactuals are specifiable only by irreducible appeal to causation. A dilemma then holds: if counterfactual analyses of causation eschew appeal to NP-counterfactuals they are empirically inadequate, but if they appeal to NP-counterfactuals they are circular and thus conceptually inadequate. (shrink)

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

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

It is commonly accepted that unconditional statements are clearer and less problematic than conditional ones. This article challenges this belief by proposing that all unconditional statements can be reduced to conditional ones since epistemic justification is inherently conditional in nature. The distinction between unconditional and conditional statements is similar to the distinction between assumptions and premises, which is an idealization that results from our attempts to limit epistemic complexity. This has perplexing consequences: (1) since any ordinary statement can be viewed (...) as a disguised conditional, this sets off a chain of epistemic regress that results in a larger conditional that encompasses our entire belief systems; (2) this monster conditional can’t never be justified since it always expands in the process of justification; (3) since there is no such thing as unconditional statements, conditionals themselves become meaningless, which implies that arguments and even entire belief systems become meaningless as well; (4) the only way to avoid these disastrous results is to admit that the meaning of conditionals and, ultimately, of our belief systems is a matter of convention. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples of (...) valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

Four intuitions are recurrent and influential in theories about conditionals: the Ramsey’s test, the Adams’ Thesis, the Equation, and the robustness requirement. For simplicity’s sake, I call these intuitions ‘the big four’. My aim is to show that: (1) the big four are interdependent; (2) they express our inferential dispositions to employ a conditional on a modus ponens; (3) the disposition to employ conditionals on a modus ponens doesn’t have the epistemic significance that is usually attributed to it, since the (...) acceptability or truth conditions of a conditional is not necessarily associated with its employability on a modus ponens. (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)