Navigation – Plan du site
Varia

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

Francesca Poggiolesi
p. 221-243

Résumés

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.

Haut de page

Accès au texte / extrait

Cairn

Texte intégral disponible via abonnement/accès payant sur le portail Cairn. Le texte intégral en libre accès sera disponible à cette adresse en janvier 2019.
Consulter cet article

Plan

1 Introduction
2 Modal logic and the conveyance of information
3 Modal logics and analytic proof methods
4 Conclusions

Aperçu du début du texte

1 Introduction

The title of this paper “Are the validities of modal logic analytic?” makes an explicit reference to Hintikka’s famous article “Are logical truths analytic?” published in the Philosophical Review in 1965 [Hintikka 1965]. In this article Hintikka distinguishes for the first time two ways of understanding the word analytic:

  1. A sentence is said to be analytic when it does not convey any factual information.

  2. A sentence is said to be analytic when it can be shown to be valid by strictly analytic methods.

With respect to these notions of analyticity, Hintikka raises two questions. The first is: are these two notions equivalent? The second is: are the validities of first-order logic, for short FOL, analytic in either of the two senses of analyticity? As concerns the first question, the answer is negative: the two definitions are not equivalent and this is illustrated by Hintikka with a proof that 1 and 2 are not extensionally equivalent. The fact that notions 1 and 2 of analytici...

Haut de page

Pour citer cet article

Référence électronique

Francesca Poggiolesi, « Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka », Philosophia Scientiæ [En ligne], 19-2 | 2015, mis en ligne le 09 juin 2015, consulté le 11 décembre 2017. URL : http://journals.openedition.org/philosophiascientiae/1110 ; DOI : 10.4000/philosophiascientiae.1110

Haut de page

Auteur

Francesca Poggiolesi

Aix-Marseille Université, CNRS, CEPERC, UMR 7304, Aix-en-Provence (France)

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page