次協(xié)調(diào)邏輯與人工智能

序
前言
第一編 次協(xié)調(diào)邏輯及其基本原理
 第一章 次協(xié)調(diào)邏輯是從哪里來的
  第一節(jié) 次協(xié)調(diào)思想并不神秘：幾個(gè)引例
  第二節(jié) 為什么會(huì)產(chǎn)生新邏輯
  第三節(jié) 次協(xié)調(diào)邏輯的現(xiàn)實(shí)原型
  第四節(jié) 悖論、二律背反與次協(xié)調(diào)邏輯
  第五節(jié) “協(xié)調(diào)論”、“交際思維學(xué)”中的次協(xié)調(diào)思想
 第二章 次協(xié)調(diào)邏輯發(fā)展簡(jiǎn)史
  第一節(jié) 盧卡西維茨論亞氏矛盾律
  第二節(jié) 瓦西里也夫的“榻象邏輯”
  第三節(jié) 雅斯可夫斯基的“商討邏輯”
 第三章 達(dá)科斯塔的次協(xié)調(diào)邏輯
  第一節(jié) 概述
  第二節(jié) 次協(xié)調(diào)命題演算C
  第三節(jié) 次協(xié)調(diào)謂詞嚳算與摹狀詞演算
  第四節(jié) 次協(xié)調(diào)集合論的基本思想
 第四章 次協(xié)調(diào)邏輯的其他分支
  第一節(jié) 為什么需要有次協(xié)調(diào)道義邏輯
  第二節(jié) 次協(xié)調(diào)道義演算C
  第三節(jié) C的道義可能世界語義學(xué)
  第四節(jié) 為什么會(huì)有次協(xié)調(diào)辯證邏輯
  第五節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的公理
  第六節(jié) 次協(xié)調(diào)辨 證邏輯DL系統(tǒng)的元定理
  第七節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的語義學(xué)
  第八節(jié) 次協(xié)調(diào)辯證邏輯DL系統(tǒng)的擴(kuò)展
  第九節(jié) 次協(xié)調(diào)時(shí)態(tài)邏輯大意
  第十節(jié) 次協(xié)調(diào)邏輯在其他方面的發(fā)展
 第五章 次協(xié)調(diào)邏輯的哲學(xué)意義
  第一節(jié) 次協(xié)調(diào)邏輯與邏輯哲學(xué)
  第二節(jié) 次協(xié)調(diào)邏輯與辯證哲學(xué)
第二編 創(chuàng)建次協(xié)調(diào)邏輯新系統(tǒng)的嘗試
 第六章 基本構(gòu)架——可用形式理論的符號(hào)表達(dá)
  第一節(jié) 推理關(guān)系符號(hào)的約定
  第二節(jié) 對(duì)“理發(fā)師悖論”與康托定理的形式化再分析
  第三節(jié) 可用形式理論的公理構(gòu)架
 第七章 陷悖論邏輯Lpm及其擴(kuò)展
  第一節(jié) 引論
  第二節(jié) Lpm的語義與語義推理
  第三節(jié) Lpm命題演算的證明論——極小化語義表推演
  第四節(jié) Lpm命題演算的邏輯特性
  ……
 第八章 次協(xié)調(diào)性的相干邏輯PC（1）
 第九章 次協(xié)調(diào)性的相干邏輯PC（2）
 第十章 規(guī)范邏輯及法律邏輯的新系統(tǒng)
 第十一章 次協(xié)調(diào)性相干模糊邏輯PFZ
 第十二章 哲學(xué)邏輯其他新公理系統(tǒng)
第三編 次協(xié)調(diào)邏輯在人工智能領(lǐng)域中的應(yīng)用 
 第十三章 次協(xié)調(diào)邏輯在不協(xié)調(diào)知識(shí)庫中進(jìn)行推理的理論與應(yīng)用
 第十四章 次協(xié)調(diào)邏輯自動(dòng)定理證明的理論與實(shí)現(xiàn)
 附錄