A Defence of Information Closure

In this chapter, the principle of information closure (PIC) is defined and defended against a sceptical objection similar to the one discussed by Dretske in relation to the principle of epistemic closure. If successful, given that PIC is equivalent to the axiom of distribution and that the latter is one of the conditions that discriminate between normal and non-normal modal logics, one potentially good reason to look for a formalization of the logic of ‘S is informed that p’ among the non-normal modal logics, which reject the axiom, is also removed. This is not to argue that the logic of ‘S is informed that p’ should be a normal modal logic, but that it could still be, insofar as the objection that it could not be, based on the sceptical objection against PIC, has been removed. In other words, this chapter argues that the sceptical objection against PIC fails, so such an objection provides no ground to abandon the normal modal logic B (also known as KTB) as a formalization of ‘S is informed that p’, which remains plausible insofar as this specific obstacle is concerned.