第一章 绪论
第二章 从形象思维到形象推理
第一节 形象思维
一 形象、形象思维的定义
二 形象思维的研究现状
第二节 形象推理
一 视觉概念
二 形象推理的规则
三 图式推理
第三章 存在图逻辑的发展历史
第一节 存在图逻辑的初创
一 断言页
二 原始存在图逻辑
第二节 存在图逻辑的形式化方案
一 构造形式系统
二 模态算子的引入
三 严格性问题
第三节 存在图逻辑与博弈论
一 阿尔法部分的博弈论语义
二 基于模态的博弈逻辑
第四章 经典的存在图逻辑
第一节 存在图逻辑与弗雷格逻辑
一 对命题的刻画
二 对量词的刻画
第二节 视觉化的存在图逻辑系统
一 EG-α系统
二 EG-β系统
第五章 模态的存在图逻辑
第一节 图式化的模态算子：色标
一 EG-γ系统
二 EG-δ系统
第二节 模态存在图逻辑中的同一性问题
一 同一线的新功能
二 同一线的独立性
第三节 看待同一性问题的新视角
第六章 存在图逻辑博弈
第一节 二元对立关系的图式化
第二节 存在图的博弈论语义
一 基本规则
二 EG-α的逻辑博弈
三 EG-β的逻辑博弈
四 EG-γ：涉及可能世界的逻辑博弈
第七章 作为科学逻辑的存在图逻辑
第一节 效果论：一种意义理论
一 “效果”概念
二 效果论的优点
第二节 效果论的图式化表达
一 何以选择存在图
二 存在图逻辑与效果论设证推理的关联
第三节 存在图逻辑：经典实用主义的证明
结语
参考文献
术语索引
符号索引
后记
展开
