由劉新文、祝瑞等*的《可能世界的名字(精)》主要有以下內(nèi)容：**，比較全面研究了作為模態(tài)邏輯新分支的混合邏輯，這些研究對象是以這一族邏輯中的*小系統(tǒng)為主；第二，在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上，建立了混合的核證邏輯的*小系統(tǒng)，解決了國際*名邏輯學(xué)家Melvin Fitting在2010年提出的未解決問題。本書中的內(nèi)容，不僅推動了國際、國內(nèi)邏輯學(xué)界相關(guān)問題的研究進(jìn)展，對于國內(nèi)哲學(xué)界了解可能世界語義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。
|
