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

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