Semantics for existential graphs

    loading  Checking for direct PDF access through Ovid



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.

Related Topics

    loading  Loading Related Articles