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

图书标准信息

• 作者 程橙 著
• 出版社 中国社会科学出版社
• 出版时间 2022-06
• 版次 1
• ISBN 9787520398930
• 定价 89.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸

【内容简介】

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

【作者简介】

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

【目录】

第一章  绪论

第二章  从形象思维到形象推理

  第一节  形象思维

    一  形象、形象思维的定义

    二  形象思维的研究现状

  第二节  形象推理

    一  视觉概念

    二  形象推理的规则

    三  图式推理

第三章  存在图逻辑的发展历史

  第一节  存在图逻辑的初创

    一  断言页

    二  原始存在图逻辑

  第二节  存在图逻辑的形式化方案

    一  构造形式系统

    二  模态算子的引入

    三  严格性问题

  第三节  存在图逻辑与博弈论

    一  阿尔法部分的博弈论语义

    二  基于模态的博弈逻辑

第四章  经典的存在图逻辑

  第一节  存在图逻辑与弗雷格逻辑

    一  对命题的刻画

    二  对量词的刻画

  第二节  视觉化的存在图逻辑系统

    一  EG-α系统

    二  EG-β系统

第五章  模态的存在图逻辑

  第一节  图式化的模态算子：色标

    一  EG-γ系统

    二  EG-δ系统

  第二节  模态存在图逻辑中的同一性问题

    一  同一线的新功能

    二  同一线的独立性

  第三节  看待同一性问题的新视角

第六章  存在图逻辑博弈

  第一节  二元对立关系的图式化

  第二节  存在图的博弈论语义

    一  基本规则

    二  EG-α的逻辑博弈

    三  EG-β的逻辑博弈

    四  EG-γ：涉及可能世界的逻辑博弈

第七章  作为科学逻辑的存在图逻辑

  第一节  效果论：一种意义理论

    一  “效果”概念

    二  效果论的优点

  第二节  效果论的图式化表达

    一  何以选择存在图

    二  存在图逻辑与效果论设证推理的关联

  第三节  存在图逻辑：经典实用主义的证明