Epistemic operators

Fred Dretske

pp. 553-566

in: Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem (eds), Readings in formal epistemology, Berlin, Springer, 2016

Abstract

Suppose Q is a necessary consequence of P. Given only this much, it is, of course, quite trivial that if it is true that P, then it must also be true that Q. If it is a fact that P, then it must also be a fact that Q. If it is necessary that P, then it is necessary that Q; and if it is possible that P, then it must also be possible that Q.