《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》是2016年科學出版社出版的圖書，作者是杜珊珊。
基本介紹
- 書名：臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究
- 作者：杜珊珊
- ISBN：9787030530813
- 頁數：252
- 定價：￥78.00
- 出版社：科學出版社
- 出版時間：2016年
- 裝幀：平裝
- 開本：16
內容簡介,目錄,
內容簡介
《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》詳述傳遞的瀕表格邏輯的判據及其套用，以及在此基礎上所做的關於瀕表格邏輯的若干研究結果，解決了傳遞邏輯格的瀕表格性的語義判據，以及傳遞邏輯格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題，展示了如何將已有的傳遞的瀕表格邏輯的結果納入《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》提出的方法和視野。《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》共分為三個部分——序篇、主篇和附錄。序篇介紹了背景知識，回顧了傳遞的瀕表格邏輯的研究發展史；主篇完整敘述了傳遞的瀕表格邏輯的語義判據的證明、套用過程及其他相關的研究結果；附錄給讀者提供了備查的相關知識。
目錄
第一編 序篇
第一章 背景知識一覽 3
第一節 邏輯K4及其正規擴充 3
第二節 K4-邏輯的克里普克語義學 8
第三節 臨界的傳遞邏輯——K4-邏輯格中的瀕表格邏輯 36
第二章 歷史的回顧：1940～1980年 40
第一節 孤例S5 40
第二節 走出孤例 46
第三節 NExtS4的簡單性 52
第四節 傳遞邏輯格NExtK4還在向我們挑戰 59
第二編 主篇
引言——我們的目的和方法 73
第三章 點式歸約初探 76
第一節 集式歸約和點式歸約 76
第二節 傳遞框架間的點式歸約 79
第四章 傳遞邏輯格中有窮深度瀕表格邏輯的語義判據 87
第一節 傳遞的瀕表格邏輯的刻畫框架 87
第二節 Alt N-顛覆子、Alt N-反駁子和框架的瀕表格性 92
第三節 有窮深度瀕表格邏輯的語義判據 106
第五章 傳遞邏輯格中無窮深度瀕表格邏輯的語義判據 122
第一節 刻畫無窮深度瀕表格邏輯的有窮框架類的規範化 122
第二節 刻畫無窮深度瀕表格邏輯的三類框架——收攏式既約框架、*-風箏和*-風箏 133
第三節 無窮深度瀕表格邏輯的語義判據 138
第六章 瀕表格邏輯語義判據的套用 149
第一節 麥金森分類法眼光下的模態邏輯Q4 149
第二節 瀕表格邏輯的語義判據的套用——NExtQ4 153
第三節 NExtS4、NExtD4和NExtGL中瀕表格邏輯的范形 161
第七章 從一種新觀點看問題 165
第一節 傳遞的瀕表格邏輯和它們的表格擴充 165
第二節 傳遞的瀕表格邏輯的語義特徵 170
參考文獻 187
附錄A 論麥金森定理及其等價命題 192
附錄B 模態鏡子裡的反歐性 202
附錄C 一般框架和典範公式 217
索引 231
後記 238
查看全部↓
