滿額折
圖式邏輯（簡體書）
- 系列名：中國社會科學院創新工程學術出版資助項目
- ISBN13：9787516113790
- 出版社：中國社會科學出版社
- 作者：劉新文
- 裝訂／頁數：平裝／196頁
- 規格：26cm*19cm (高/寬)
- 版次：1
- 出版日：2012/06/01
人民幣定價：39 元
定 價：NT$ 234 元
優惠價：87 折 204 元
絕版無法訂購
相關商品
商品簡介
作者簡介
名人/編輯推薦
目次
商品簡介
《圖式邏輯》考察的對象是歷史上著名的邏輯圖及其邏輯理論。邏輯圖首先是為理解亞里士多德的直言命題和三段論推理而發展起來的，其開端一般追溯到歐拉圖。圍繞著圖形的可表達性問題，在長期的歷史發展過程中，經過歐拉、文恩和皮爾士等人的努力，邏輯圖從最初的設想變成了現實，從最初的簡單表述三段論的工具發展成了關系邏輯和模態邏輯等的圖式表示。皮爾士的革命性思想不僅克服了邏輯圖的重大缺陷，而且為邏輯圖打開了一個新的天地：存在圖是在現代意義上可靠的和完全的圖式邏輯系統。當代的邏輯學家們更是在現代邏輯的基礎上、運用現代邏輯的工具和技術對邏輯圖進行形式化研究，建立了一大批形式的圖形推理系統，并運用到哲學、計算機科學和人工智能等領域，深刻地改變了邏輯圖的發展，在此基礎上提出的“圖式邏輯”的新概念更是為哲學邏輯增添了一個新的分支。
作者簡介
劉新文，男。哲學博士，江西蓮花人，從1999年開始師從我國著名邏輯學家張清宇研究員研習現代邏輯，現為中國社會科學院哲學研究所副研究員、中國邏輯學會副秘書長，主要研究興趣為符號邏輯，著有《謝弗函數研究》。合作出版譯著《模態對應理論》，《邏輯、語言和認知》，在《哲學研究》、《哲學動態》、《世界哲學》和《邏輯學研究》等刊物上發表專業論文多篇。
名人/編輯推薦
劉新文編著的《圖式邏輯》考察的對象是歷史上著名的邏輯圖及其邏輯理論。第1章考察邏輯圖從古典形式走向形式化的發展歷程。第2章研究的是歐拉圖。邏輯圖一般追溯到歐拉圖，歐拉圖的基本形式以圓表示非空非全的類。第3、4章的研究對象是文恩圖及其擴展。我們在第5章研究皮爾士的存在圖系統。
目次
前言
第1章 邏輯圖：從古典到形式化
§1．1 古典形式：歐拉圖和文恩圖
§1．2 里程碑：皮爾士一文恩圖和皮爾士存在圖
§1．3 圖式邏輯：概念的提出
第2章 歐拉圖
§2．1 概述
§2．2 歐拉圖理論
§2．3 可判定性和內插性
§2．4 一個擴張：狀態圖
第3章 文恩圖
§3．1 概述
§3．2 皮爾士的批評
§3．3 皮爾士一文恩圖
§3．4 圖形的數量方面
§3．5 文恩圖理論
§3．6 可判定性內插性和可定義性
§3. 7 歐拉圖和文恩圖：余論
第4章 圖形的表達能力
§4．1 文恩圖及其擴展
§4．2 歐拉一文恩圖理論
§4．3 圖一式理論
第5章 皮爾士圖
§5．1 概述
§5．2 判定問題
§5．3 形式理論
附錄 符號邏輯(查爾斯·S．皮爾士)
參考文獻
索引
第1章 邏輯圖：從古典到形式化
§1．1 古典形式：歐拉圖和文恩圖
§1．2 里程碑：皮爾士一文恩圖和皮爾士存在圖
§1．3 圖式邏輯：概念的提出
第2章 歐拉圖
§2．1 概述
§2．2 歐拉圖理論
§2．3 可判定性和內插性
§2．4 一個擴張：狀態圖
第3章 文恩圖
§3．1 概述
§3．2 皮爾士的批評
§3．3 皮爾士一文恩圖
§3．4 圖形的數量方面
§3．5 文恩圖理論
§3．6 可判定性內插性和可定義性
§3. 7 歐拉圖和文恩圖：余論
第4章 圖形的表達能力
§4．1 文恩圖及其擴展
§4．2 歐拉一文恩圖理論
§4．3 圖一式理論
第5章 皮爾士圖
§5．1 概述
§5．2 判定問題
§5．3 形式理論
附錄 符號邏輯(查爾斯·S．皮爾士)
參考文獻
索引
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。
優惠價：87
204
絕版無法訂購