直覺主義否定及其變種

定　價：￥28.00

作　者：	劉佳秋著
出版社：	暨南大學(xué)出版社
叢編項：
標(biāo)　簽：	哲學(xué) 哲學(xué)/宗教哲學(xué)理論

購買這本書可以去

ISBN：	9787566803924	出版時間：	2013-01-01	包裝：	平裝
開本：	16開	頁數(shù)：	160	字?jǐn)?shù)：

內(nèi)容簡介

　　長期以來，邏輯學(xué)界對否定概念的研究主要是從傳統(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é) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第六章直覺主義否定與更新語義
　第一節(jié) 形式語言和形式系統(tǒng)
　第二節(jié) 形式語義和可靠性
　第三節(jié) 完全性
第七章總結(jié)
參考文獻
后記