This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, two kinds of claims (...) about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (shrink)

The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. According to this principle, we are, inter alia, committed to claims like the following: If the coin had been flipped, it would have landed heads, or if the coin had been flipped, it would not have landed heads. In favour of the principle, theorists have appealed, primarily, to linguistic data such as that we tend to hear ¬(A > B) as equivalent to (...) (A > ¬B). Williams (2010), provides one of the most compelling recent arguments along these lines by appealing to intuitive equivalencies between certain quantified conditional statements. We argue that the strategy Williams employs can be parodied to generate an argument for the unwelcome principle of Should Excluded Middle: the principle that, for any A, it either should be that A or it should be that not A. Uncovering what goes wrong with this argument casts doubt on a key premise in Williams’ argument. The way we develop this point is by defending the thesis that, like "should", "would" is a so-called neg-raising predicate. Neg-raising is the linguistic phenomenon whereby “I don’t think that Trump is a good president” strongly tends to implicate “I think that Trump is not a good president,” despite the former not semantically entailing the latter. We show how a defender of a Lewis-style semantics for counterfactuals should implement the idea that the counterfactual is a “neg-raiser”. (shrink)