從現(xiàn)代邏輯的觀(guān)點(diǎn)看亞里士多德的邏輯理論

定　價(jià)：￥95.00

作　者：	張家龍
出版社：	中國(guó)社會(huì)科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

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

ISBN：	9787516182321	出版時(shí)間：	2016-06-01	包裝：
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	404	字?jǐn)?shù)：

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

　　《中國(guó)社會(huì)科學(xué)院老學(xué)者文庫(kù)：從現(xiàn)代邏輯的觀(guān)點(diǎn)看亞里士多德的邏輯理論》遵循馬克思提出的“人體解剖對(duì)于猴體解剖是一把鑰匙”的歷史研究方法，從現(xiàn)代邏輯觀(guān)點(diǎn)全面系統(tǒng)地研究了亞里七多德的九大邏輯理論；澄清了長(zhǎng)期以來(lái)國(guó)內(nèi)外學(xué)術(shù)界對(duì)亞里士多德邏輯理論的諸多誤解，深刻地揭示出亞里士多德邏輯理論對(duì)現(xiàn)代邏輯發(fā)展的重大意義。在此基礎(chǔ)上，《中國(guó)社會(huì)科學(xué)院老學(xué)者文庫(kù)：從現(xiàn)代邏輯的觀(guān)點(diǎn)看亞里士多德的邏輯理論》進(jìn)行了“推陳出新”的研究，用現(xiàn)代邏輯的工具，重新構(gòu)造了亞里士多德的直言三段論系統(tǒng)、必然模態(tài)三段論系統(tǒng)和偶然模態(tài)三段論系統(tǒng)，并且構(gòu)造了形式排斥系統(tǒng)，構(gòu)造了這些系統(tǒng)的語(yǔ)義模型，證明了這些系統(tǒng)的可靠性和語(yǔ)義完全性，*重要的結(jié)果是解決了這些系統(tǒng)的判定程序。

作者簡(jiǎn)介

　　張家龍，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所研究員、博士生導(dǎo)師。1938年6月6日生于江蘇省江都縣浦頭村。1956年9月在江蘇省鎮(zhèn)江中學(xué)畢業(yè)后，考入北京大學(xué)哲學(xué)系哲學(xué)專(zhuān)業(yè)，1961年7月畢業(yè)；畢業(yè)后留系攻讀數(shù)理邏輯專(zhuān)業(yè)研究生，1965年2月畢業(yè)。1965年8月到中國(guó)社會(huì)科學(xué)院哲學(xué)研究所工作，2002年1月5日退休。享受?chē)?guó)務(wù)院頒發(fā)的特殊津貼。歷任哲學(xué)研究所邏輯研究室主任、職稱(chēng)評(píng)委會(huì)副主任、學(xué)位委員會(huì)副主席和中國(guó)社會(huì)科學(xué)院正高級(jí)專(zhuān)業(yè)技術(shù)職務(wù)評(píng)委會(huì)委員。曾兼任中國(guó)邏輯學(xué)會(huì)會(huì)長(zhǎng)、國(guó)家社會(huì)科學(xué)基金哲學(xué)評(píng)審組成員?，F(xiàn)任中國(guó)邏輯學(xué)會(huì)名譽(yù)會(huì)長(zhǎng)和監(jiān)事長(zhǎng)，《邏輯學(xué)研究》雜志顧問(wèn)。已出版：專(zhuān)著7部，論文集1部，合著13部，譯著2部，合譯4部，校訂譯著6部。已發(fā)表：論文90篇，譯文和校訂譯文10篇。其學(xué)術(shù)成就入選《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽·哲學(xué)卷》（第三分冊(cè)）。

圖書(shū)目錄

前言
第一章亞里士多德的生平與邏輯著作《工具論》
第二章范疇與謂詞
第一節(jié) 十范疇
第二節(jié) 四謂詞與本質(zhì)主義
第三章直言命題與直言三段論
第一節(jié) 直言命題
第二節(jié) 直言三段論的格和式的原貌
第三節(jié) 直言三段論的化歸
第四節(jié) 無(wú)效式的排斥
第五節(jié) 直言三段論的規(guī)則
第六節(jié) 對(duì)直言三段論的補(bǔ)充討論
第四章直言三段論的現(xiàn)代研究
第一節(jié) 萊布尼茨的直言三段論系統(tǒng)
第二節(jié) 希爾伯特和阿克曼的聯(lián)合演算中的直言三段論
第三節(jié) 盧卡西維茨的蘊(yùn)涵式公理系統(tǒng)
第四節(jié) 科科倫的自然演繹系統(tǒng)
第五節(jié) 斯邁利的自然演繹系統(tǒng)
第五章作為一階邏輯子系統(tǒng)的直言三段論
第一節(jié) 一階邏輯的自然演繹系統(tǒng)ND
第二節(jié) 直言三段論在ND中的兩種推演
第六章樹(shù)枝形的直言三段論自然演繹系統(tǒng)
第一節(jié) 系統(tǒng)的出發(fā)點(diǎn)
第二節(jié) 定理的推演
第三節(jié) 無(wú)效式的形式排斥系統(tǒng)
第四節(jié) 算術(shù)模型、集合代數(shù)模型以及可靠性和語(yǔ)義完全性
第五節(jié) 判定程序與簡(jiǎn)單完全性
第七章偏好邏輯
第一節(jié) 何謂“偏好”
第二節(jié) 關(guān)于偏好的基本原理
第三節(jié) 組合選擇項(xiàng)的偏好問(wèn)題
第八章關(guān)系理論
第一節(jié) 關(guān)系的一般特點(diǎn)
第二節(jié) 后范疇
第三節(jié) 其他類(lèi)型的關(guān)系理論
第九章模態(tài)命題邏輯
第一節(jié) 模態(tài)命題邏輯的基本內(nèi)容
第二節(jié) 包含偶然算子的模態(tài)命題邏輯
第三節(jié) 模態(tài)命題邏輯的哲學(xué)意義
第十章模態(tài)三段論
第一節(jié) 必然三段論概述
第二節(jié) 亞里士多德在偶然命題方面的嚴(yán)重錯(cuò)誤及其糾正方案
第三節(jié) 偶然模態(tài)三段論概述
第十一章模態(tài)三段論的現(xiàn)代研究
第一節(jié) 麥考爾的蘊(yùn)涵式公理系統(tǒng)
第二節(jié) 托姆的自然演繹系統(tǒng)
第十二章樹(shù)枝形的必然三段論自然演繹系統(tǒng)
第一節(jié) 必然式系統(tǒng)
第二節(jié) 可能式
第三節(jié) 必然式的形式排斥系統(tǒng)
第四節(jié) 可能世界模型、集合代數(shù)模型以及可靠性和語(yǔ)義完全性
第五節(jié) 必然式系統(tǒng)的判定程序與簡(jiǎn)單完全性
第十三章樹(shù)枝形的偶然三段論自然演繹系統(tǒng)
第一節(jié) 偶然式系統(tǒng)
第二節(jié) 偶然式的形式排斥系統(tǒng)
第三節(jié) 集合代數(shù)模型以及可靠性和語(yǔ)義完全性
第四節(jié) 偶然式系統(tǒng)的判定程序與簡(jiǎn)單完全性
第十四章邏輯規(guī)律
第一節(jié) 同一律、矛盾律和排中律
第二節(jié) 亞里士多德駁三種曲解排中律的觀(guān)點(diǎn)
第三節(jié) 亞里士多德對(duì)排中律的限制與三值邏輯
第十五章公理方法和歸納方法
第一節(jié) 公理方法的要素
第二節(jié) 初始前提與直覺(jué)歸納法
第三節(jié) 其他類(lèi)型的歸納法
第十六章辨謬?yán)碚?br />第一節(jié) 辨謬的目的
第二節(jié) 語(yǔ)言謬誤與邏輯謬誤
第三節(jié) 消除謬誤的方法
參考文獻(xiàn)