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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

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

Through your library

Analytics

Added to PP
2017-04-07

Downloads
56 (#369,104)

6 months
9 (#433,641)

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