Skip to main content
SpringerLink
Log in

Semantics for existential graphs

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

This paper examines Charles Peirce's graphical notation for first-order logic with identity. The notation forms a part of his system of “existential graphs,” which Peirce considered to be his best work in logic. In this paper a Tarskian semantics is provided for the graphical system.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. Barwise, J. and Etchemendy, J.: Heterogeneous Logic, In: J. Glasgow, N. Narayanan and B. Chandarasekaran (Eds), Diagrammatic Reasoning: Cognitive and Computational Perspective, AAAI Press, Menlo Park and MIT Press, Cambridge, 1995.

    Google Scholar 

  2. Barwise, J. and Etchemendy, J.: Visual Information and Valid Reasoning, In: W. Zimmerman and S. Cunningham (Eds), Visualization in Teaching and Learning Mathematics, Mathematical Association of America, Washington, DC, 1991.

    Google Scholar 

  3. Hammer, E.: Logic and Visual Information, CSLI Publications, Studies in Logic, Language and Information no. 3, 1995.

  4. Peirce, C.: The Collected Papers of C. S. Peirce, volume 4, Harvard University Press, 1933.

  5. Roberts, D.: The Existential Graphs of Charles S. Peirce, Mouton and Co., 1973.

  6. Shin, S.-J.: The Logical Status of Diagrams, Cambridge University Press, 1995.

  7. Sowa, J.: Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, 1984.

  8. White, R.: Peirce's Alpha Graphs: The Completeness of Propositional Logic and the Fast Simplification of Truth Functions, Transactions of the Charles S. Peirce Society 20, 1984.

  9. Zeman, J. J.: The Graphical Logic of C. S. Peirce, Diss., University of Chicago, 1964.

  10. Zeman, J. J.: A System of Implicit Quantification, Journal of Symbolic Logic 32, 1967.

Download references

Author information

Authors and Affiliations

  1. Center for the Study of Language and Information, Cordura Hall, Stanford, University, Stanford, CA, 94305-4115, USA

    Eric M. Hammer

Authors
  1. Eric M. Hammer
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hammer, E.M. Semantics for existential graphs. Journal of Philosophical Logic 27, 489–503 (1998). https://doi.org/10.1023/A:1017908108789

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017908108789

Keywords

Search

Navigation