Gamma graph calculi for modal logics

Synthese 195 (8):3621-3650 (2018)
  Copy   BIBTEX

Abstract

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.

Analytics

Added to PP
2017-04-07

Downloads
46 (#345,341)

6 months
11 (#237,138)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ahti-Veikko Pietarinen
Hong Kong Baptist University
Minghui Ma
Sun Yat-Sen University

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.

View all 22 references / Add more references