Semantics for existential graphs

    loading  Checking for direct PDF access through Ovid

Abstract

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.

Related Topics

    loading  Loading Related Articles