epistemic closure, principle of
Principle that, where P and Q are propositions, if we know that P, and know that P logically entails Q, we know that Q. Sometimes said to support skepticism, because if I know that, for example, I am holding a pen, and know that if I am holding a pen I am not merely dreaming