Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka

Abstract

In Hintikka's philosophy the notion of analyticity occupies a special place (e.g., [Hintikka 1973], [Hintikka 2007]); in particular, the Finnish thinker distinguishes two notions of analyticity—one based on the concept of information, the other on the concept of proof. While these two notions have been broadly used to analyze propositional logic and first-order logic, no work has been done on modal propositional logic. This paper aims to fill this gap by studying the analyticity of the validities of modal logic.