注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書人文社科哲學(xué)哲學(xué)理論直覺主義否定及其變種

直覺主義否定及其變種

直覺主義否定及其變種

定　價(jià)：￥28.00

作　者： 劉佳秋 著
出版社： 暨南大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽： 哲學(xué) 哲學(xué)/宗教 哲學(xué)理論
ISBN： 9787566803924 出版時(shí)間： 2013-01-01 包裝： 平裝
開本： 16開 頁數(shù)： 160 字?jǐn)?shù)：  

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號