玖玖玖国产精品视频一区二区,亚洲欧洲日产国产片

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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