論聯(lián)合演算

聯(lián)合演算理論的構建及其奠基意義(序)
前言
第一章  傳統(tǒng)詞項邏輯的一般特征
  第一節(jié)  傳統(tǒng)詞項邏輯語言的基本詞匯
    一、變項
    二、邏輯常項
  第二節(jié)  傳統(tǒng)詞項邏輯的直言命題形式
    一、命題和命題形式
    二、真值條件
  第三節(jié)  傳統(tǒng)詞項邏輯的直言推理形式
    一、推理和推理形式
    二、亞里士多德三段論式和傳統(tǒng)三段論式
第二章  亞里士多德的模態(tài)三段論
  第一節(jié)  模態(tài)詞與模態(tài)命題形式
  第二節(jié)  亞里士多德的模態(tài)三段論
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
第三章  聯(lián)合演算的構建
  第一節(jié)  詞項邏輯、謂詞邏輯、類邏輯和命題邏輯
    一、詞項邏輯與謂詞邏輯
    二、詞項邏輯與類邏輯
    三、詞項邏輯與命題邏輯
  第二節(jié)  命題演算與一元謂詞演算或類演算的聯(lián)合
    一、命題演算與一元謂詞演算的聯(lián)合
    二、命題演算與類演算的聯(lián)合
第四章  聯(lián)合演算的原初判定標準
  第一節(jié)  原初判定標準及其應用
  第二節(jié)  對原初判定標準的考察
    一、隱蔽的矛盾
    二、理論謬誤和癥結(jié)所在
第五章  聯(lián)合演算的結(jié)構判定方法
  第一節(jié)  希爾伯特和阿克曼的審定法
  第二節(jié)  結(jié)構判定方法
    一、對豎號的重新解釋
    二、結(jié)構判定方法及其應用
第六章  聯(lián)合演算的范式判定方法
  第一節(jié)  運用范式判定方法的可能性
  第二節(jié)  范式判定方法及其一般應用
    一、基本概念和定理
    二、判定方法及其應用
  第三節(jié)  豪伯定理的證明
第七章  聯(lián)合演算對傳統(tǒng)詞項邏輯的等價描述
  第一節(jié)  問題的提出
  第二節(jié)  新的翻譯模式
  第三節(jié)  傳統(tǒng)直言推理式的簡化
第八章  聯(lián)合演算對傳統(tǒng)直言推理的系統(tǒng)化
  第一節(jié)  聯(lián)合演算的出發(fā)點
    一、初始符號
    二、形成規(guī)則
    三、定義
    四、公理
    五、基本推理規(guī)則
  第二節(jié)  定理的推演
    一、傳統(tǒng)直接推理的系統(tǒng)化
    二、直言三段論推理的系統(tǒng)化
  第三節(jié)  傳統(tǒng)直言三段論的化歸
    一、化歸原理和方法
    二、三段論的化歸——歸于第一格AAA式
第九章  亞里士多德模態(tài)三段論的形式系統(tǒng)
  第一節(jié)  對亞里士多德模態(tài)三段論的等價表述
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
  第二節(jié)  模態(tài)三段論演算的出發(fā)點
    一、初始符號
    二、形成規(guī)則
    三、定義
    四、公理
    五、變形規(guī)則
    六、定理的推演
  第三節(jié)  亞里士多德模態(tài)三段論的化歸
    一、化歸原理和方法
    二、亞里士多德模態(tài)三段論的化歸
    三、余論：亞里士多德的模態(tài)悖論
參考文獻
后記