形象、思維與推理：存在圖邏輯

第一章  緒論
第二章  從形象思維到形象推理
  第一節(jié)  形象思維
    一  形象、形象思維的定義
    二  形象思維的研究現(xiàn)狀
  第二節(jié)  形象推理
    一  視覺(jué)概念
    二  形象推理的規(guī)則
    三  圖式推理
第三章  存在圖邏輯的發(fā)展歷史
  第一節(jié)  存在圖邏輯的初創(chuàng)
    一  斷言頁(yè)
    二  原始存在圖邏輯
  第二節(jié)  存在圖邏輯的形式化方案
    一  構(gòu)造形式系統(tǒng)
    二  模態(tài)算子的引入
    三  嚴(yán)格性問(wèn)題
  第三節(jié)  存在圖邏輯與博弈論
    一  阿爾法部分的博弈論語(yǔ)義
    二  基于模態(tài)的博弈邏輯
第四章  經(jīng)典的存在圖邏輯
  第一節(jié)  存在圖邏輯與弗雷格邏輯
    一  對(duì)命題的刻畫
    二  對(duì)量詞的刻畫
  第二節(jié)  視覺(jué)化的存在圖邏輯系統(tǒng)
    一  EG-α系統(tǒng)
    二  EG-β系統(tǒng)
第五章  模態(tài)的存在圖邏輯
  第一節(jié)  圖式化的模態(tài)算子：色標(biāo)
    一  EG-γ系統(tǒng)
    二  EG-δ系統(tǒng)
  第二節(jié)  模態(tài)存在圖邏輯中的同一性問(wèn)題
    一  同一線的新功能
    二  同一線的獨(dú)立性
  第三節(jié)  看待同一性問(wèn)題的新視角
第六章  存在圖邏輯博弈
  第一節(jié)  二元對(duì)立關(guān)系的圖式化
  第二節(jié)  存在圖的博弈論語(yǔ)義
    一  基本規(guī)則
    二  EG-α的邏輯博弈
    三  EG-β的邏輯博弈
    四  EG-γ：涉及可能世界的邏輯博弈
第七章  作為科學(xué)邏輯的存在圖邏輯
  第一節(jié)  效果論：一種意義理論
    一  “效果”概念
    二  效果論的優(yōu)點(diǎn)
  第二節(jié)  效果論的圖式化表達(dá)
    一  何以選擇存在圖
    二  存在圖邏輯與效果論設(shè)證推理的關(guān)聯(lián)
  第三節(jié)  存在圖邏輯：經(jīng)典實(shí)用主義的證明