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

論聯(lián)合演算

論聯(lián)合演算

定  價:88 元

        

  • 作者:馬雷著
  • 出版時間:2013/10/1
  • ISBN:9787030389282
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:B81-05 
  • 頁碼:314
  • 紙張:膠版紙
  • 版次:1
  • 開本:16開
9
7
3
8
8
7
9
0
2
3
8
0
2

讀者對象:邏輯學(xué)、哲學(xué)及相關(guān)專業(yè)的研究生和學(xué)生

     聯(lián)合演算是希爾伯特和阿克曼為從現(xiàn)代邏輯的演算觀把傳統(tǒng)邏輯推理理論系統(tǒng)化而特構(gòu)的一種新的邏輯工具,但聯(lián)合演算在解釋傳統(tǒng)邏輯和亞里士多德邏輯中存在根本缺陷。
     馬雷所著的《論聯(lián)合演算》系統(tǒng)研究和發(fā)展了聯(lián)合演算的理論與方法,廢棄了聯(lián)合演算的原初判定標準,提出解決判定問題的結(jié)構(gòu)判定法和范式判定法;并在此基礎(chǔ)上提出聯(lián)合演算對傳統(tǒng)邏輯和亞氏邏輯的等價翻譯方案,構(gòu)建了形式化的傳統(tǒng)直言推論系統(tǒng)和三段論化歸系統(tǒng),構(gòu)造了亞氏模態(tài)三段論的推演系統(tǒng)和化歸系統(tǒng),從而最大限度地證明傳統(tǒng)邏輯和亞氏邏輯在其所適用的范圍內(nèi)所具有的嚴密性和完備性。
      《論聯(lián)合演算》適合邏輯學(xué)、哲學(xué)及相關(guān)專業(yè)的研究者和學(xué)生參閱。



更多科學(xué)出版社服務(wù),請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容