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