Actions that make us know

The knowability paradox is usually formulated as a problem about the static propositions which express the knowledge that we can achieve in principle. In this paper, I propose to put these issues in a more 'dynamic' light, by shifting the emphasis to the epistemic actions that produce knowledge, or sometimes even ignorance. The very notion of 'knowability' seems mainly an existentially quantified residue of knowledge-producing actions, just as 'provability' is the static property of propositions that remains when we suppress their live proof and its production. In particular, can every static proposition which is true trigger a dynamic action of announcing that it is true, or of learning that truth? Keeping track of what actions do over time is notoriously difficult, as the truth values of relevant propositions keep changing in processes of computation, physical movement, games, or communication. We discuss some basic issues that arise when we place 'knowability' in a setting of one or more epistemic agents performing a possible variety of epistemic actions