Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

Epistemic modals are standardly taken to be context-dependent quantifiers over possibilities. Thus sentences containing them get truth-values with respect to both a context and an index. But some insist that this relativization is not relative enough: `might'-claims, they say, only get truth-values with respect to contexts, indices, and—the new wrinkle—points of assessment (hence, CIA). Here we argue against such "relativist" semantics. We begin with a sketch of the motivation for such theories and a generic formulation of them. Then we catalogue (...) central problems that any such theory faces. We end by outlining an alternative story. (shrink)

If knowing requires believing on the basis of evidence that entails what’s believed, we have hardly any knowledge at all. Hence the near-universal acceptance of fallibilism in epistemology: if it's true that "we are all fallibilists now" (Siegel 1997: 164), that's because denying that one can know on the basis of non-entailing evidence1is, it seems, not an option if we're to preserve the very strong appearance that we do know many things (Cohen 1988: 91). Hence the significance of concessive knowledge (...) attributions (CKAs) (Rysiew 2001)—i.e., sentences of the form 'S knows that p, but it's possible that q' (where q entails not-p). To many, utterances of such sentences sound very odd indeed. According to David Lewis (1996: 550), however, such sentences are merely "overt, explicit" statements of fallibilism; if so, their seeming incoherence suggests that, contrary to our everyday epistemic pretensions, "knowledge must be by definition infallible" after all (ibid.: 549). -/- Recently Jason Stanley (2005) has defended fallibilism against the Lewisian worry that overtly fallibilistic speech is incoherent. According yo Stanley, CKAs are not just odd-sounding: in most cases, they are simply false. But this doesn't impugn fallibilism. Insofar as the odd-sounding utterances Lewis cites state the fallibilist idea, the latter portion thereof ('S cannot eliminate a certain possibility in which not-p', e.g.) expresses the idea that the subject's evidence doesn't entail what's (allegedly) known (hence, the negation of any contrary propositions). According to Stanley, however, this is not the best reading of the possibility clauses CKAs contain. On the correct account of the latter, while the sentences Lewis cites are almost always self-contradictory, they don't capture the fallibilist idea after all. Here, we argue that the sentences in question do express precisely the fallibilist idea, but argue that Lewis has nonetheless failed to raise a problem for the latter. In addition, we respond to worries that the resulting view of the semantics of epistemic possibility statements has certain unacceptable consequences. (shrink)

Seven proposed accounts of epistemic possibility are criticized, and a new account is proposed, making use of the notion of having justification for dismissing a proposition. The new account explains intuitions about otherwise puzzling cases, upholds plausible general principles about epistemic possibility, and explains the practical import of epistemic modality judgements. It is suggested that judgements about epistemic possibility function to assess which propositions are worthy of further inquiry.