Are the validities of modal logic analytic? or analyticity again, through information, proof, modal logic and Hintikka

Francesca Poggiolesi

pp. 221-243

in: Helene Gispert (ed), Circulations et échanges mathématiques, Philosophia Scientiae 19 (2), 2015.

Abstract

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière (e.g., [Hintikka 1973], [Hintikka 2007]) ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi d'examiner l'analyticité des validités de la logique modale.