Modal Operator Theory and Formal Epistemology

Vincent Hendricks

Department of Philosophy and Science Studies

Roskilde University - Denmark

Modal operator epistemology is a model of inquiry obtained by mixing alethic, tense and epistemic logics with a few concepts drawn from formal learning theory. It was developed to study in the acquisition and subsequent validity of limiting convergent knowledge [Hendricks 2001 and elsewhere.The term ‘modal operator epistemology’ is derived from the idea that it takes multiple modal operators to model inquiry in a pertinent way. Because it is an agent or his method that eventually acquires knowledge modelling the active acquisition of knowledge involves epistemic logic; because knowledge is acquired over time, temporal logic is required; and because knowledge is forced over a set of relevant alternatives, alethic modalities are needed. This tutorial provides an overview of modal operator theory and discusses it's pertinence for handling classical issues in mainstream and formal epistemology alike.
Lecture Notes
[Hendricks 2006] Mainstream and Formal Epistemology,. New York: Cambridge University Press, 2006
[Hendricks 2003] "Active Agents", Journal of Logic, Language and
Information, vol. 12, no. 4. Autumn 2003,

Bibliography:


[Hendricks 2001] The Convergence of Scientific Knowledge. Dordrecht: Springer, 2001
[Hendricks 2003] "Active Agents", Journal of Logic, Language and Information, vol. 12, no. 4. Autumn 2003: 469-495;
[Hendricks 2006] Mainstream and Formal Epistemology,. New York: Cambridge University Press, 2006
[Hendricks and Symons 2006+] with John Symons, "Limiting Skepticism", forthcoming