Abstract

That inferences of the form "If M then S and possibly M, therefore possibly S" are invalid in possible worlds modal logics can be viewed as another fallacy of material implication. However, this paper argues that properly analyzing this and related inferences requires treating the possibility involved as a practical modality. Specifically, ordinary language propositions of the form "It is possible that M" must be understood to mean that there is a non-negligible probability of M being the case. But this entails reexamining the very idea of logical validity.