A Note on Knowing and Checking

Abstract

I raise some questions about differentiations between methods, checking methods, and appropriate methods in terms of their modal profiles. Melchior argues that there can be sensitive checking methods which are not safe. I try to show that such methods are epistemically deficient. I introduce restricted sensitivity (RS) and investigate its checking profile. RS with respect to a proposition p requires that we consider more non-p worlds (not just the closest ones) but not those which are irrelevant (outside a sphere of seriously possible worlds). Restrictedly sensitive methods (vacuously sensitive and strongly safe) based on the appropriate type of Bayesian reasoning might be sufficient for some kind of “modest” checking. Melchior defends a uniform account of checking based on insensitivity even in the case of necessary true propositions and he introduces the apparatus of impossible worlds. I argue that an unsatisfactory method for checking a necessary true proposition is a way of reaching a belief in the target proposition (different from the original one) which might easily not have delivered a true one. I also indicate some limitations of the idea that checking (and knowing) is essentially modal in character.