On Edgington’s Formalization of the Principle of Knowability

The formalization of the principle of knowability suggested by Dorothy Edgington is examined. This formalization has been suggested as a solution to the Fitch problem. It is interesting in that it blocks the Fitch argument and, in informal reading, makes a clear and intuitively appealing sense. On the other hand, as is shown in the paper, the semantic theory behind this formalization has two significant gaps: 1) it does not define the interpretation of actuality operator, and 2) it does not define the semantic way of representing the agent’sknowledge. The main outcome of the papers is critical. It is to the effect that unless those gaps are filled, Edgington’stheory cannot count as a solution to the Fitch problem.

epistemic logic, the principle of knowability, the Fitch paradox, Edgington, situation semantics, actuality operator