形象、思维与推理：存在图逻辑

　　存在图逻辑是一种图式逻辑，它依赖于视知觉对拓扑关系的感知，是形象思维的操作对象，也是形象推理的形式化表达。存在图逻辑是皮尔士的逻辑学思想与哲学思想的总结性成果。本书研究并改进了存在图逻辑的语法和语义，考察了其哲学基础以及在逻辑博弈中的应用，有利于学术界科学合理地把握存在图逻辑系统，进而认识皮尔士实用主义思想的实质特征。

　　程橙，中国人民大学哲学博士，加拿大UNBC大学交换生，曾赴日本北海道大学、爱沙尼亚塔林理工大学访学。现为河北大学哲学与社会学学院讲师，硕士研究生导师。在《东岳论丛》《科学管理研究》等期刊发表论文；主持国家社会科学基金优秀博士论文出版项目一项。研究领域为图式推理。

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