Abstract
Peirce completed his work on graphical methods for reasoning within prepositional and predicate logic, but left unfinished similar systems for various modal logics. In the present paper, we put forward a system of Peircean graphs for reasoning within the modal logic S5. It is proved that our graph-based formulation of S5 is indeed equivalent to the traditional Hilbert-Frege formulation. Our choice of proof-rules for the system is proof-theoretically well motivated as the rules are graph-based analogues of Gentzen style rules as appropriate for S5. Compared to the system of Peircean graphs for S5 suggested in [17], our system has fewer rules (two instead of five), and moreover, the new rules seem more in line with the Peircean graph-rules for propositional logic.
The author is supported by the Danish Natural Science Research Council.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.
T. Braüner. A cut-free Gentzen formulation of the modal logic S5. 12 pages. Manuscript, 1998.
R. Bull and K. Segerberg. Basic modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II Extensions of Classical Logic, pages 1–88. D. Reidel Publishing Company, 1984.
M. Fitting. Tableau methods of proof for modal logics. Notre Dame Journal of Formal Logic, 13: 237–247, 1972.
M. Fitting. Basic modal logic. In D. Gabbay et al., editor, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations, pages 365–448. Oxford University Press, Oxford, 1993.
G. Gentzen. Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39, 1934.
J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989.
G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, 1968.
G. Mints. A Short Introduction to Modal Logic. CSLI, 1992.
M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 9: 113–130, 1957.
M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi, II. Osaka Mathematical Journal, 11: 115–120, 1959.
P. Øhrstrøm. C. S. Peirce and the quest for gamma graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997.
D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist and Wiksell, 1965.
D. Scott, editor. Notes on the Formalisation of Logic. Sub-faculty of Philosophy, University of Oxford, 1981.
J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984.
J. F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing Company, Boston, 1998.
H. van den Berg. Modal logics for conceptual graphs. In Proceedings of First International Conference on Conceptual Structures, volume 699 of LNCS. Springer-Verlag, 1993.
J. Zeman. Peirce's graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braüner, T. (1998). Peircean graphs for the modal logic S5. In: Mugnier, ML., Chein, M. (eds) Conceptual Structures: Theory, Tools and Applications. ICCS 1998. Lecture Notes in Computer Science, vol 1453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054919
Download citation
DOI: https://doi.org/10.1007/BFb0054919
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64791-1
Online ISBN: 978-3-540-68673-6
eBook Packages: Springer Book Archive