關(guān)于我們
書(shū)單推薦
新書(shū)推薦

可能世界的名字

可能世界的名字

定  價(jià):48 元

叢書(shū)名:國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù)

        

  • 作者:劉新文,祝瑞著
  • 出版時(shí)間:2017/3/1
  • ISBN:9787516199626
  • 出 版 社:中國(guó)社會(huì)科學(xué)出版社
  • 中圖法分類(lèi):B81 
  • 頁(yè)碼:162
  • 紙張:膠版紙
  • 版次:1
  • 開(kāi)本:16K
9
7
1
8
9
7
9
5
6
1
2
6
6
  《國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù):可能世界的名字》主要有以下內(nèi)容:第1,比較全面研究了作為模態(tài)邏輯新分支的混合邏輯,這些研究對(duì)象是以這一族邏輯中的小系統(tǒng)為主;第2,在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上,建立了混合的核證邏輯的小系統(tǒng),解決了國(guó)際邏輯學(xué)家Melvin Fitting在2010年提出的未解決問(wèn)題。   《國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù):可能世界的名字》中的內(nèi)容,不僅推動(dòng)了國(guó)際、國(guó)內(nèi)邏輯學(xué)界相關(guān)問(wèn)題的研究進(jìn)展,對(duì)于國(guó)內(nèi)哲學(xué)界了解可能世界語(yǔ)義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言?xún)?nèi)容