Constants and Functions in Peirce's Existential Graphs
Constants and Functions in Peirce's Existential Graphs
复制标题
皮尔士存在图中的常数和函数
DOI：
10.1007/978-3-540-73681-3_32
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
F. Dau
中科院分区：
文献类型：
--
作者：
F. Dau
皮尔斯的存在图系统是一阶逻辑的图解版本。更准确地说：由于皮尔斯想要发展一种关于亲属(即关系)的逻辑，存在图对应于有关系和恒等式但没有常量或函数的一阶逻辑。在当代的一阶逻辑的阐述中，常使用常量和函数。本文描述了Peirce存在图的语法、语义和演算如何被扩展以包含常量和函数。
The system of Peirce's existential graphs is a diagrammatic version of first order logic. To be more precise: As Peirce wanted to develop a logic of relatives(i.e., relations), existential graphs correspond to first order logic with relations and identity, but without constants or functions. In contemporary elaborations of first order logic, constants and functions are usually employed. In this paper, it is described how the syntax, semantics and calculus for Peirce's existential graphs has to be extended in order to encompass constants and functions as well.