日本韩国电影成人,呦男呦女视频精品

內(nèi)容簡介

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

作者簡介

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

圖書目錄

序
第一章引論
第二章直覺主義與否定概述
　第一節(jié) 直覺主義概述
　第二節(jié) 否定概念的歷史回顧
　第三節(jié) 非經(jīng)典邏輯否定概要
第三章直覺主義否定
　第一節(jié) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第四章直覺主義否定的強(qiáng)化與弱化
　第一節(jié) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第五章直覺主義否定的動態(tài)化
　第一節(jié) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第六章直覺主義否定與更新語義
　第一節(jié) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第七章總結(jié)
參考文獻(xiàn)
后記