直覺主義否定及其變種

通觀劉佳秋的《直覺主義否定及其變種》全文，有三方面新意： 首先，在克里普克語義里，對直覺主義否定的真一條件給以新的解釋，建立相應的新邏輯系統，並分別證明它們框架的可靠性與完全性。 其次，對直覺主義否定展開進一步的探討，將直覺主義否定推廣到動態邏輯領域，在對象語言裡引進新的動態直覺主義否定，並提出關於此否定的真一條件定義，研究其動態化後的性質和特徵。 最後，《直覺主義否定及其變種》還採用另一種語義——更新語義來刻畫更新式的直覺主義否定，即引進新的否定運算元以及相應的公理和規則，並證明了系統的框架可靠性與完全性。

基本介紹

• 書名：直覺主義否定及其變種
• 出版社：廣州暨南大學出版社
• 頁數：160頁
• 開本：16
• 品牌：暨南大學出版社
• 作者：劉佳秋
• 出版日期：2013年2月18日
• 語種：簡體中文
• ISBN：9787566803924

內容簡介

長期以來，邏輯學界對否定概念的研究主要是從傳統邏輯和現代邏輯相比較的方面展開，也有不少研究是通過運用現代邏輯形式化方法，從語形和語義兩個角度探討否定的含義、性質與特徵。劉佳秋博士的專著《直覺主義否定及其變種》正是基於後一視角展開研究的。

圖書目錄

第一章 引論

第二章 直覺主義與否定概述
第一節 直覺主義概述
第二節 否定概念的歷史回顧
第三節 非經典邏輯否定概要

第三章 直覺主義否定
第一節 形式語言和形式系統
第二節 形式語義和可靠性
第三節 完全性

第四章 直覺主義否定的強化與弱化
第一節 形式語言和形式系統
第二節 形式語義和可靠性
第三節 完全性

第五章 直覺主義否定的動態化
第一節 形式語言和形式系統
第二節 形式語義和可靠性
第三節 完全性

第六章 直覺主義否定與更新語義
第一節 形式語言和形式系統
第二節 形式語義和可靠性
第三節 完全性

第七章 總結
參考文獻
後記