直覺(jué)主義否定及其變種

　　長(zhǎng)期以來(lái)，邏輯學(xué)界對(duì)否定概念的研究主要是從傳統(tǒng)邏輯和現(xiàn)代邏輯相比較的方面展開(kāi)，也有不少研究是通過(guò)運(yùn)用現(xiàn)代邏輯形式化方法，從語(yǔ)形和語(yǔ)義兩個(gè)角度探討否定的含義、性質(zhì)與特征。《直覺(jué)主義：否定及其變種》正是基于后一視角展開(kāi)研究的。通觀(guān)全文，有三方面新意：首先，在克里普克語(yǔ)義里，對(duì)直覺(jué)主義否定的真一條件給以新的解釋?zhuān)⑾鄳?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ǎn)介