注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)人文社科哲學(xué)邏輯學(xué)(論理學(xué))圖式邏輯

圖式邏輯

圖式邏輯

定 價(jià):¥39.00

作 者: 劉新文 著
出版社: 中國(guó)社會(huì)科學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 邏輯學(xué)

購(gòu)買(mǎi)這本書(shū)可以去


ISBN: 9787516113790 出版時(shí)間: 2012-06-01 包裝: 平裝
開(kāi)本: 16開(kāi) 頁(yè)數(shù): 196 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  《圖式邏輯》考察的對(duì)象是歷史上著名的邏輯圖及其邏輯理論。邏輯圖首先是為理解亞里士多德的直言命題和三段論推理而發(fā)展起來(lái)的,其開(kāi)端一般追溯到歐拉圖。圍繞著圖形的可表達(dá)性問(wèn)題,在長(zhǎng)期的歷史發(fā)展過(guò)程中,經(jīng)過(guò)歐拉、文恩和皮爾士等人的努力,邏輯圖從最初的設(shè)想變成了現(xiàn)實(shí),從最初的簡(jiǎn)單表述三段論的工具發(fā)展成了關(guān)系邏輯和模態(tài)邏輯等的圖式表示。皮爾士的革命性思想不僅克服了邏輯圖的重大缺陷,而且為邏輯圖打開(kāi)了一個(gè)新的天地:存在圖是在現(xiàn)代意義上可靠的和完全的圖式邏輯系統(tǒng)。當(dāng)代的邏輯學(xué)家們更是在現(xiàn)代邏輯的基礎(chǔ)上、運(yùn)用現(xiàn)代邏輯的工具和技術(shù)對(duì)邏輯圖進(jìn)行形式化研究,建立了一大批形式的圖形推理系統(tǒng),并運(yùn)用到哲學(xué)、計(jì)算機(jī)科學(xué)和人工智能等領(lǐng)域,深刻地改變了邏輯圖的發(fā)展,在此基礎(chǔ)上提出的“圖式邏輯”的新概念更是為哲學(xué)邏輯增添了一個(gè)新的分支。

作者簡(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)
索引

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)