圖式邏輯

內(nèi)容概要

劉新文編著的《圖式邏輯》考察的對(duì)象是歷史上著名的邏輯圖及其邏輯理論。第1章考察邏輯圖從古典形式走向形式化的發(fā)展歷程。第2章研究的是歐拉圖。邏輯圖一般追溯到歐拉圖，歐拉圖的基本形式以圓表示非空非全的類。第3、4章的研究對(duì)象是文恩圖及其擴(kuò)展。我們?cè)诘?章研究皮爾士的存在圖系統(tǒng)。

作者簡(jiǎn)介

劉新文，男。哲學(xué)博士，江西蓮花人，從1999年開(kāi)始師從我國(guó)著名邏輯學(xué)家張清宇研究員研習(xí)現(xiàn)代邏輯，現(xiàn)為中國(guó)社會(huì)科學(xué)院哲學(xué)研究所副研究員、中國(guó)邏輯學(xué)會(huì)副秘書(shū)長(zhǎng)，主要研究興趣為符號(hào)邏輯，著有《謝弗函數(shù)研究》。合作出版譯著《模態(tài)對(duì)應(yīng)理論》，《邏輯、語(yǔ)言和認(rèn)知》，在《哲學(xué)研究》、《哲學(xué)動(dòng)態(tài)》、《世界哲學(xué)》和《邏輯學(xué)研究》等刊物上發(fā)表專業(yè)論文多篇。

書(shū)籍目錄

前言
第1章  邏輯圖：從古典到形式化
  §1．1  古典形式：歐拉圖和文恩圖
  §1．2  里程碑：皮爾士一文恩圖和皮爾士存在圖
  §1．3  圖式邏輯：概念的提出
第2章  歐拉圖
  §2．1  概述
  §2．2  歐拉圖理論
  §2．3  可判定性和內(nèi)插性
  §2．4  一個(gè)擴(kuò)張：狀態(tài)圖
第3章  文恩圖
  §3．1  概述
  §3．2  皮爾士的批評(píng)
  §3．3  皮爾士一文恩圖
  §3．4  圖形的數(shù)量方面
  §3．5  文恩圖理論
  §3．6  可判定性內(nèi)插性和可定義性
  §3. 7  歐拉圖和文恩圖：余論
第4章  圖形的表達(dá)能力
  §4．1  文恩圖及其擴(kuò)展
  §4．2  歐拉一文恩圖理論
  §4．3  圖一式理論
第5章  皮爾士圖
  §5．1  概述
  §5．2  判定問(wèn)題
  §5．3  形式理論
附錄  符號(hào)邏輯(查爾斯·S．皮爾士)
參考文獻(xiàn)
索引

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    圖式邏輯 PDF格式下載

---