直覺主義否定及其變種

　　長期以來，邏輯學(xué)界對(duì)否定概念的研究主要是從傳統(tǒng)邏輯和現(xiàn)代邏輯相比較的方面展開，也有不少研究是通過運(yùn)用現(xiàn)代邏輯形式化方法，從語形和語義兩個(gè)角度探討否定的含義、性質(zhì)與特征。《直覺主義：否定及其變種》正是基于后一視角展開研究的。通觀全文，有三方面新意：首先，在克里普克語義里，對(duì)直覺主義否定的真一條件給以新的解釋，建立相應(yīng)的新邏輯系統(tǒng)，并分別證明它們框架的可靠性與完全性。其次，對(duì)直覺主義否定展開進(jìn)一步的探討，將直覺主義否定推廣到動(dòng)態(tài)邏輯領(lǐng)域，在對(duì)象語言里引進(jìn)新的動(dòng)態(tài)直覺主義否定，并提出關(guān)于此否定的真一條件定義，研究其動(dòng)態(tài)化后的性質(zhì)和特征。

暫缺《直覺主義否定及其變種》作者簡介