|
|
360.
|
可能世界的名字
市場價:380元 優惠價:320元
立刻節省:60元
由劉新文、祝瑞等著的《可能世界的名字(精)》主要有以下內容:第一,比較全面研究了作為模態邏輯新分支的混合邏輯,這些研究對像是以這一族邏輯中的極小繫統為主;第二,在介紹可證性邏輯新階段發展成果——核證邏輯的基礎上,建立了混合的核證邏輯的極小繫統,解決了國際有名邏輯學家Melvin Fitting在2010年提出的未解決問題。本書中的內容,不僅推動了國際、國內邏輯學界相關問題的研究進展,對於國內哲學界了解可能世界語義學、可證性等哲學概念的發展也具有重要意義。
|
|