Actions that Make us Know

benthem van j f a k
2009-01-01
Abstract: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. 1 The problem: verificationism incurs the Fitch paradox Verificationism is an account of meaning and truth whose origins lie in logical proof theory, especially, in its constructivist versions. The idea is that 'truth' can only be assigned to propositions for which we have evidence. This view is found with logical authors like Dummett and Martin-Löf since the 1970s, but it has also penetrated since into general philosophy. Stated as a sweeping claim, this take on truth implies the general verificationist thesis that what is true can be known: K VT Here the K can be taken as a relatively unproblematic knowledge modality, while the is an as yet unspecified modality "can" of 'feasibility' in some relevant sense. Now, a surprising argument by Fitch trivializes this principle. It uses just a weak modal epistemic logic to show that VT collapses the notions of truth and knowledge, by taking the following clever substitution instance for the formula :
What problem does this paper attempt to address?