Abstract
‘Ifs’ come washed or unwashed. The washed ifs are embedded in precise theories: the constantly strict implication of deductive inference, the variably strict implication of ‘nearness’ conditionals, and statements of conditional probability. By a nearness conditional I mean the common part of Stalnaker's and D. Lewis's theory of counterfactual conditionals, which depends on a notion that possible worlds are more or less near to each other, as a measure of their over-all similarity to each other.