掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
買過本商品的人還買了
圖式邏輯 版權信息
- ISBN：9787516113790
- 條形碼：9787516113790 ; 978-7-5161-1379-0
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
圖式邏輯 本書特色
劉新文編著的《圖式邏輯》考察的對象是歷史上著名的邏輯圖及其邏輯理論。第1章考察邏輯圖從古典形式走向形式化的發展歷程。第2章研究的是歐拉圖。邏輯圖一般追溯到歐拉圖，歐拉圖的基本形式以圓表示非空非全的類。第3、4章的研究對象是文恩圖及其擴展。我們在第5章研究皮爾士的存在圖系統。
圖式邏輯 內容簡介
劉新文編著的《圖式邏輯》考察的對象是歷史上著名的邏輯圖及其邏輯理論。第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．皮爾士)
參考文獻
索引
展開全部
圖式邏輯 作者簡介
劉新文，男。哲學博士，江西蓮花人，從1999年開始師從我國著名邏輯學家張清宇研究員研習現代邏輯，現為中國社會科學院哲學研究所副研究員、中國邏輯學會副秘書長，主要研究興趣為符號邏輯，著有《謝弗函數研究》。合作出版譯著《模態對應理論》，《邏輯、語言和認知》，在《哲學研究》、《哲學動態》、《世界哲學》和《邏輯學研究》等刊物上發表專業論文多篇。
書友推薦
- >
月亮與六便士
- >
煙與鏡
- >
中國歷史的瞬間
- >
我與地壇
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
唐代進士錄
- >
有舍有得是人生
- >
史學評論
本類暢銷
