皮尔斯是19世纪美国著名的哲学家、逻辑学家、指号学家,实用主义的奠基人,被誉为“美国的亚里士多德”。在逻辑学领域,他对关系演算、布尔代数、命题逻辑、量化逻辑、存在图等方面均有重要贡献。存在图是皮尔斯在现代逻辑草创时期在其关系演算和谓词逻辑的基础上发展起来的,表示逻辑句子和逻辑推理的图式系统。本书主要研究了皮尔斯存在图最重要的特征之一——多可读性。从介绍存在图多可读性的表象逻辑(系统内多可读性)入手,探讨了存在图多可读性的深层逻辑(系统整体多可读性),最后挖掘存在图多可读性背后的底层逻辑,并从皮尔斯广义逻辑学的意义上,描述了存在图的“三相”结构。本书对典型图式逻辑系统进行了个案分析,以供相关领域研究者参考。
导 论
第一章 皮尔斯论存在图
第一节 皮尔斯发明存在图的文化背景
第二节 存在图的思想来源
第三节 存在图的发明
第四节 存在图的内容
第五节 皮尔斯心中的存在图
第二章 皮尔斯存在图多可读性的表象逻辑
第一节 存在图的 “endoporeutic”读法
第二节 存在图的 “NNF”读法
第三节 存在图的 “MR多样”读法
第四节 对典型 Beta图的不同处理
第三章 皮尔斯存在图多可读性的深层逻辑 (一): 符号逻辑视域
第一节 符号逻辑视域下研究存在图的思路和方法
第二节 存在图的定义
第三节 存在图的语义与演算
第四节 存在图的可靠性与完全性
第五节 存在图的翻译
第六节 存在图图形副本的形式化
第四章 皮尔斯存在图多可读性的深层逻辑 (二): 多模态视域
第一节 多模态视域下研究存在图的基本思路和必要前提
第二节 存在图的异质性
第三节 存在图的多样读法
第四节 逻辑系统与演算系统
第五章 皮尔斯存在图多可读性的深层逻辑 (三): 实用主义证明的视域
第一节 如何理解实用主义证明
第二节 基于博弈论语义学的实用主义证明
第三节 存在图即实用主义证明
第四节 存在图与实验、游戏和指号
第五节 存在图与实在
第六章 皮尔斯存在图多可读性的底层逻辑
第一节 皮尔斯存在图的 “逻辑假设”
第二节 皮尔斯存在图的 “图形假设”
第三节 皮尔斯存在图的 “存在假设”
第四节 回到皮尔斯对存在图的设计
第五节 皮尔斯存在图的 “三相”结构
结 语
参考文献
致 谢