论联合演算

联合演算理论的构建及其奠基意义(序)
前言
**章 传统词项逻辑的一般特征
**节 传统词项逻辑语言的基本词汇
一、变项
二、逻辑常项
第二节 传统词项逻辑的直言命题形式
一、命题和命题形式
二、真值条件
第三节 传统词项逻辑的直言推理形式
一、推理和推理形式
二、亚里士多德三段论式和传统三段论式
第二章 亚里士多德的模态三段论
**节 模态词与模态命题形式
第二节 亚里士多德的模态三段论
联合演算理论的构建及其奠基意义(序)
前言
**章  传统词项逻辑的一般特征
  **节  传统词项逻辑语言的基本词汇
    一、变项
    二、逻辑常项
  第二节  传统词项逻辑的直言命题形式
    一、命题和命题形式
    二、真值条件
  第三节  传统词项逻辑的直言推理形式
    一、推理和推理形式
    二、亚里士多德三段论式和传统三段论式
第二章  亚里士多德的模态三段论
  **节  模态词与模态命题形式
  第二节  亚里士多德的模态三段论
    一、带有两必然前提的三段论
    二、两前提一为必然一为实然的三段论
    三、带有两可能前提的三段论
    四、两前提一为可能一为实然的三段论
    五、两前提一为可能一为必然的三段论
第三章  联合演算的构建
  **节  词项逻辑、谓词逻辑、类逻辑和命题逻辑
    一、词项逻辑与谓词逻辑
    二、词项逻辑与类逻辑
    三、词项逻辑与命题逻辑
  第二节  命题演算与一元谓词演算或类演算的联合
    一、命题演算与一元谓词演算的联合
    二、命题演算与类演算的联合
第四章  联合演算的原初判定标准
  **节  原初判定标准及其应用
  第二节  对原初判定标准的考察
    一、隐蔽的矛盾
    二、理论谬误和症结所在
第五章  联合演算的结构判定方法
  **节  希尔伯特和阿克曼的审定法
  第二节  结构判定方法
    一、对竖号的重新解释
    二、结构判定方法及其应用
第六章  联合演算的范式判定方法
  **节  运用范式判定方法的可能性
  第二节  范式判定方法及其一般应用
    一、基本概念和定理
    二、判定方法及其应用
  第三节  豪伯定理的证明
第七章  联合演算对传统词项逻辑的等价描述
  **节  问题的提出
  第二节  新的翻译模式
  第三节  传统直言推理式的简化
第八章  联合演算对传统直言推理的系统化
  **节  联合演算的出发点
    一、初始符号
    二、形成规则
    三、定义
    四、公理
    五、基本推理规则
  第二节  定理的推演
    一、传统直接推理的系统化
    二、直言三段论推理的系统化
  第三节  传统直言三段论的化归
    一、化归原理和方法
    二、三段论的化归——归于**格AAA式
第九章  亚里士多德模态三段论的形式系统
  **节  对亚里士多德模态三段论的等价表述
    一、带有两必然前提的三段论
    二、两前提一为必然一为实然的三段论
    三、带有两可能前提的三段论
    四、两前提一为可能一为实然的三段论
    五、两前提一为可能一为必然的三段论
  第二节  模态三段论演算的出发点
    一、初始符号
    二、形成规则
    三、定义
    四、公理
    五、变形规则
    六、定理的推演
  第三节  亚里士多德模态三段论的化归
    一、化归原理和方法
    二、亚里士多德模态三段论的化归
    三、余论:亚里士多德的模态悖论
参考文献
后记