Advertisement

Peircean graphs for the modal logic S5

  • Torben Braüner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1453)

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.

Keywords

Modal Logic Propositional Logic Predicate Logic Double Negation Natural Deduction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.Google Scholar
  2. [2]
    T. Braüner. A cut-free Gentzen formulation of the modal logic S5. 12 pages. Manuscript, 1998.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    M. Fitting. Tableau methods of proof for modal logics. Notre Dame Journal of Formal Logic, 13: 237–247, 1972.zbMATHMathSciNetCrossRefGoogle Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    G. Gentzen. Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39, 1934.Google Scholar
  7. [7]
    J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989.Google Scholar
  8. [8]
    G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, 1968.Google Scholar
  9. [9]
    G. Mints. A Short Introduction to Modal Logic. CSLI, 1992.Google Scholar
  10. [10]
    M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi. Osaka Mathematical Journal, 9: 113–130, 1957.zbMATHMathSciNetGoogle Scholar
  11. [11]
    M. Ohnishi and K. Matsumoto. Gentzen method in modal calculi, II. Osaka Mathematical Journal, 11: 115–120, 1959.zbMATHMathSciNetGoogle Scholar
  12. [12]
    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.Google Scholar
  13. [13]
    D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist and Wiksell, 1965.Google Scholar
  14. [14]
    D. Scott, editor. Notes on the Formalisation of Logic. Sub-faculty of Philosophy, University of Oxford, 1981.Google Scholar
  15. [15]
    J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984.Google Scholar
  16. [16]
    J. F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing Company, Boston, 1998.Google Scholar
  17. [17]
    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.Google Scholar
  18. [18]
    J. Zeman. Peirce's graphs. In Proceedings of Fifth International Conference on Conceptual Structures, volume 1257 of LNCS. Springer-Verlag, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Torben Braüner
    • 1
  1. 1.Centre for Philosophy and Science-TheoryAalborg UniversityAalborg EastDenmark

Personalised recommendations