Semantics for existential graphs |
| |
| Authors: | Hammer Eric M. |
| |
| Affiliation: | (1) Center for the Study of Language and Information, Cordura Hall, Stanford, University, Stanford, CA 94305-4115, USA |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
