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

Philosophia Scientiae 19:221-243 (2015)
  Copy   BIBTEX

Abstract

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière ; 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

Categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.1110

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire?Philippe De Rouilhan - 2005 - Philosophia Scientiae 9 (1):141-150.
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic].Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
On independence-friendly fixpoint logics.J. C. Bradfield - 2004 - Philosophia Scientiae 8 (2):125-144.
Independence and games.Denis Bonnay - 2005 - Philosophia Scientiae 9 (2):295-304.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Modality, si! Modal logic, no!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Aristotle's extensional modality: Hintikka's intuitions, Lukasiewicz's logic and Mignucci's verdict.Valentin Omelyantchik - 1999 - Theoria 14 (1):25-38.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.

Analytics

Added to PP
2015-06-20

Downloads
11 (#1,105,752)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesca Poggiolesi
Centre National de la Recherche Scientifique

Citations of this work

No citations found.

Add more citations

References found in this work

Semantic information.Yehoshua Bar-Hillel & Rudolf Carnap - 1953 - British Journal for the Philosophy of Science 4 (14):147-157.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
Distributive normal forms and deductive interpolation.Jaakko Hintikka - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13‐17):185-191.
Distributive Normal Forms and Deductive Interpolation.Jaakko Hintikka - 1964 - Mathematical Logic Quarterly 10 (13-17):185-191.

Add more references