長期以來，邏輯學界對否定概念的研究主要是從傳統(tǒng)邏輯和現(xiàn)代邏輯相比較的方面展開，也有不少研究是通過運用現(xiàn)代邏輯形式化方法，從語形和語義兩個角度探討否定的含義、性質(zhì)與特征。《直覺主義：否定及其變種》正是基于后一視角展開研究的。
通觀全文，有三方面新意：
首先，在克里普克語義里，對直覺主義否定的真一條件給以新的解釋，建立相應(yīng)的新邏輯系統(tǒng)，并分別證明它們框架的可靠性與完全性。
其次，對直覺主義否定展開進一步的探討，將直覺主義否定推廣到動態(tài)邏輯領(lǐng)域，在對象語言里引進新的動態(tài)直覺主義否定，并提出關(guān)于此否定的真一條件定義，研究其動態(tài)化后的性質(zhì)和特征。
序
第一章 引論
第二章 直覺主義與否定概述
第一節(jié) 直覺主義概述
第二節(jié) 否定概念的歷史回顧
第三節(jié) 非經(jīng)典邏輯否定概要
第三章 直覺主義否定
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第四章 直覺主義否定的強化與弱化
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第五章 直覺主義否定的動態(tài)化
序
第一章 引論
第二章 直覺主義與否定概述
第一節(jié) 直覺主義概述
第二節(jié) 否定概念的歷史回顧
第三節(jié) 非經(jīng)典邏輯否定概要
第三章 直覺主義否定
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第四章 直覺主義否定的強化與弱化
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第五章 直覺主義否定的動態(tài)化
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第六章 直覺主義否定與更新語義
第一節(jié) 形式語言和形式系統(tǒng)
第二節(jié) 形式語義和可靠性
第三節(jié) 完全性
第七章 總結(jié)
參考文獻
后記
書單推薦
