邏輯史論 pdf epub mobi txt 電子書 下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

張傢龍 著

圖書標籤:

• 邏輯學
• 哲學
• 思想史
• 學術史
• 西方哲學
• 中國哲學
• 邏輯史
• 史學
• 文化
• 知識

齣版社： 中國社會科學齣版社

ISBN：9787516190562

版次：1

商品編碼：12026971

包裝：平裝

開本：16開

齣版時間：2016-11-01

用紙：膠版紙

頁數：616

字數：486000

內容簡介

　　在世界三大傳統的邏輯史和數理邏輯史上有一批影響深遠、恒久流傳的課題，諸如亞裏士多德的直言三段論和模態三段論的本來麵目是怎樣的？亞裏士多德的邏輯理論、麥加拉－斯多阿邏輯和歐洲中世紀邏輯對現代邏輯的發展有何重大意義？從現代邏輯觀點看《周易》和《墨經》，有哪些令人驚嘆的成果？中國名辯邏輯和印度因明有哪些輝煌成就？中國老一輩現代邏輯學傢金嶽霖、瀋有鼎和王憲鈞等對現代邏輯的發展有何開創性貢獻？我們應當用何種方法研究世界三大傳統的邏輯史？公理學、邏輯演算和集閤論是怎樣發展起來的？20世紀梳理邏輯三大成果和三大學派怎樣推動瞭現代邏輯突發猛進的發展？這些成果對馬剋思主義哲學産生瞭哪些重要影響？等等，對於這些課題本書均給齣瞭彆開生麵的創新性答案。

作者簡介

　　張傢龍，中國社會科學院哲學研究所研究員、博士生導師。1961年從北京大學哲學係畢業，留校攻讀哲學係數理邏輯專業研究生。1965年8月到中國社會科學院哲學研究所工作，2002年1月5日退休。享受國務院頒發的特殊津貼。現任中國邏輯學會名譽會長和監事長，《邏輯學研究》雜誌顧問。其學術成就入選《20世紀中國知名科學傢學術成就概覽·哲學捲》（第三分冊）。

目錄

自 序

西方邏輯史論

亞裏士多德直言命題理論的現代解析

亞裏士多德直言三段論的本來麵目

亞裏士多德的關係理論探究

亞裏士多德對“偏好”如是說

亞裏士多德模態命題理論的現代解析

亞裏士多德模態三段論的本來麵目

論亞裏士多德的排中律疑難

麥加拉－斯多阿邏輯

從現代邏輯觀點看中世紀彼得的語言邏輯理論

中世紀的模態命題邏輯係統S及其與路易斯S3係統的比較研究

歸納法和古典歸納邏輯發展史

數理邏輯史論

公理學的曆程

邏輯演算簡史

從素樸集閤論到公理集閤論

羅素的邏輯主義及其在數理邏輯史上的地位

評數學基礎中的直覺主義學派

論希爾伯特的元數學綱領及其哲學意義

哥德爾不完全性定理——其內容、方法和意義

塔爾斯基真之不可定義性定理——兼論其與哥德爾不完全性定理的關係

可計算性理論的奠基

論瀋有鼎悖論在數理邏輯史上的地位

中國邏輯史論和因明論

中國哲學中的邏輯和語言

從數理邏輯觀點看《周易》

論《墨經》中侔式推理的有效式

荀子的名辯邏輯

兩漢至近現代時期中國名辯邏輯的主要成就

論金嶽霖先生的《邏輯》

論瀋有鼎的兩個公孫龍假說

瀋有鼎型的認知邏輯係統KBT

王憲鈞先生對中國數理邏輯發展的貢獻

從現代邏輯觀點看印度新因明三支論式

評陳那新因明體係“除外命題說”

附錄

附錄一 張傢龍論著目錄

附錄二 張傢龍(《20世紀中國知名科學傢學術成就概覽×哲學捲（第三分冊）》條目）

前言/序言

　　自　序

　　我的研究工作涉及邏輯與哲學諸領域：傳統邏輯、西方邏輯史、數理邏輯史、現代邏輯係統的構建、中國邏輯史、因明、現代西方哲學和邏輯哲學等。我的學術成就概覽有幸入選錢偉長總主編、汝信主編的國傢重點圖書項目《２０世紀中國知名科學傢學術成就概覽· 哲學捲》（第三分冊）。 錢偉長在“總序” 中說：“《概覽》紙書預計收錄數韆名海內外知名華人科學技術和人文社會科學專傢學者，展示他們的求學經曆、學術成就、治學方略、價值觀念，彰顯他們為促進中國和世界科技發展、經濟和社會進步所做齣的貢獻，秉承他們在內憂外患中堅韌不拔、追求真理的科學精神和執著、赤誠的愛國傳統，激勵後人見賢思齊、知恥後勇，在新世紀的大繁榮、大發展時期，為中華民族的偉大復興和全人類的知識創新而奮發有為。” 為瞭更好地達到錢偉長先生提齣的目標，我首先編瞭這部《邏輯史論》，作為我在西方邏輯史、數理邏輯史、中國邏輯史和因明等領域學術成就的“詳覽”，希望能對年輕的邏輯工作者和哲學工作者的學術成長有所啓迪。至於我在邏輯與哲學其他領域學術成就的“詳覽”， 容日後有機會再編吧！

　　最後，以一首《我的墓誌銘》結束本序：

　　他濛愛智之神垂青，

　　一生在邏輯與哲學諸領域徜徉。

　　他沒有虛度年華，

　　也沒有碌碌無為。

　　他一生追求淡泊和寜靜，

　　堅守正直和善良。

　　張傢龍

　　２０１６年９月

　　於中國社會科學院乾麵鬍同宿捨

《邏輯史論》 一、 序言：思想的潮汐與概念的演進 人類的思想史，是一部波瀾壯闊的宏大敘事，其中邏輯作為思維的基石，其發展脈絡與哲學、科學、語言、乃至社會變革的進程息息相關。古希臘時期，亞裏士多德以其卓越的洞察力，奠定瞭形式邏輯的理論框架，開啓瞭人類理性探索的先河。此後，邏輯學的種子在不同的文明土壤中生根發芽，曆經中世紀經院哲學的梳理，文藝復興以來科學精神的洗禮，直至近代形式邏輯的精細化，再到現代邏輯學在數學、計算機科學領域的飛躍發展，邏輯的內涵與外延不斷被拓展與深化。 《邏輯史論》旨在梳理並深入剖析這漫長而豐富的邏輯發展曆程。本書並非對每一位邏輯學傢的生平事跡進行流水賬式的羅列，也不是簡單地陳述各種邏輯理論的定義與規則。相反，我們力圖從思想史的宏觀視角齣發，探究邏輯概念如何在曆史的變遷中演進、碰撞、融閤，以及這些演進如何深刻地影響瞭人類對世界、對自身認知的邊界。我們將重點關注那些具有裏程碑意義的理論突破，以及那些在特定曆史時期塑造瞭邏輯思維範式的重要人物和思想流派。 本書的寫作，源於對“何以為真”這一永恒追問的深層思考。邏輯，正是我們探尋真相、建構認知、進行有效溝通的最有力工具。理解邏輯的演變，便是理解人類如何一步步從混沌走嚮清晰，從經驗走嚮抽象，從感性走嚮理性。這是一次跨越韆年、跨越學科界限的思想之旅，期望能為讀者提供一個全麵而深刻的邏輯發展全景圖。 二、 上古迴響：亞裏士多德的邏各斯與演繹的黎明 西方邏輯的源頭，不可不提偉大的古希臘哲學傢亞裏士多德。他的《工具論》集，可以說是邏輯學真正的開山之作，其中對“邏各斯”（Logos）概念的探討，已經超越瞭單純的語言錶達，觸及瞭理性、規律、理性推理等多個層麵。亞裏士多德首次係統地提齣瞭三段論（Syllogism）的推理形式，奠定瞭演繹邏輯的基礎。他將判斷（Proposition）分解為“主項”（Subject）和“謂項”（Predicate），並分析瞭判斷之間的關係，如矛盾、反對、包含等。 他的貢獻不僅僅在於形式上的構建，更在於其對思維規律的深刻洞察。他認識到，有效的推理必須遵循一定的規則，而這些規則是普遍適用的，不因思維的內容而改變。這種對形式的關注，是邏輯作為一門獨立學科的核心特徵。通過對概念、判斷、推理的嚴謹分析，亞裏士多德構建瞭一個能夠指導我們進行清晰、無誤思考的理論體係。 然而，亞裏士多德的邏輯並非完美無瑕。其體係在處理復雜推理、非經典邏輯（如模態邏輯）等方麵存在局限。但他所開啓的邏輯之路，卻為後世的學者提供瞭豐富的研究素材與理論基石。本書將仔細解析亞裏士多德邏輯的核心概念，並分析其在古希臘哲學體係中的地位與影響，同時也會探討當時其他思想傢（如斯多葛學派）在邏輯方麵的早期探索，例如他們對命題邏輯的貢獻，為理解邏輯的早期發展提供更廣闊的視野。 三、 中世紀的沉澱：經院邏輯的嚴謹與概念的辯駁 亞裏士多德的邏輯理論，在進入中世紀後，成為經院哲學傢們研究的重要工具。這一時期，邏輯學與神學、哲學緊密結閤，在教會教育體係中占據重要地位。經院邏輯的特點是高度形式化、概念化，並且追求對事物本質的精準定義與嚴格論證。 這一時期的邏輯學傢們，在繼承亞裏士多德三段論的基礎上，對邏輯概念進行瞭更加細緻的梳理與分析。例如，他們對“普遍概念”（Universals）與“特殊概念”（Particulars）之間的關係進行瞭深入探討，這直接關係到邏輯推理的有效性。同時，經院邏輯也開始關注邏輯的“語境”問題，例如如何處理詞語的“涵義”（Connotation）與“延展”（Denotation），以及如何避免在推理中産生的歧義。 著名的經院邏輯學傢如彼得·阿貝拉爾（Peter Abelard）及其對“語義”（Semantics）和“說”（Supposition）理論的貢獻，為邏輯分析引入瞭新的維度。他對於如何理解和解釋詞語在句子中的意義，以及如何進行精確的定義，提齣瞭許多富有見地的觀點。此外，對“反事實條件句”（Counterfactual Conditionals）的早期思考，也為後來的模態邏輯埋下瞭伏筆。 盡管經院邏輯有時被批評為過於繁瑣和脫離實際，但它在訓練思維的嚴謹性、培養概念分析能力方麵功不可沒。它為後世的邏輯發展積纍瞭大量的分析方法和術語，也為我們理解西方哲學史上的思想爭鳴提供瞭重要的視角。本書將著重分析經院邏輯在繼承與發展亞裏士多德邏輯上的關鍵貢獻，以及其在當時思想界所扮演的角色。 四、 文藝復興與近代啓濛：推理的革新與數學邏輯的萌芽 文藝復興以來，科學精神的復蘇與對經驗證據的重視，開始挑戰純粹思辨的經院邏輯。弗朗西斯·培根（Francis Bacon）倡導的歸納法（Induction），強調從具體的觀察和實驗中得齣普遍的結論，為科學研究提供瞭新的方法論。他反對過度依賴演繹推理，認為歸納法更能揭示自然的奧秘。 進入近代，邏輯學的發展與數學的發展緊密相連。萊布尼茨（Gottfried Wilhelm Leibniz）是這一時期重要的思想傢。他懷揣著建立一種“普遍數學”（Characteristica universalis）的宏願，希望能夠將所有概念和思想都用符號錶示，並藉此進行邏輯演算，從而解決一切爭論。雖然他的宏願未能完全實現，但他提齣的“符號邏輯”（Symbolic Logic）思想，以及他對“推理的計算”（Calculus ratiocinator）的構想，預示著邏輯學將走嚮數學化的道路。 喬治·布爾（George Boole）在19世紀中葉的工作，是邏輯學數學化進程中的一個巨大飛躍。他將邏輯運算與代數運算相結閤，創造瞭布爾代數，將邏輯錶達式轉化為可以進行代數運算的公式。這使得邏輯推理可以被形式化地處理，為後來的計算機科學奠定瞭理論基礎。他的《思維規律的數學分析》（An Investigation of the Laws of Thought）標誌著形式邏輯進入瞭一個新的時代。 此外，弗雷格（Gottlob Frege）在19世紀末的工作，進一步將邏輯學推嚮瞭高峰。他被譽為“現代邏輯之父”，他的《概念文字》（Begriffsschrift）引入瞭量詞（Quantifiers）的概念，並發展瞭謂詞邏輯（Predicate Logic），使得邏輯推理的能力得到瞭極大的提升。弗雷格的目標是為算術奠定邏輯基礎，他試圖用邏輯來定義數學概念，並證明數學定理。 本書將深入分析培根的歸納法思想，探討其對科學方法論的影響；重點闡述萊布尼茨在符號邏輯領域的開創性貢獻，以及他對邏輯演算的設想；更將詳細解析布爾和弗雷格在邏輯數學化進程中的核心理論，包括布爾代數和謂詞邏輯，以及他們如何為現代邏輯奠定基礎。 五、 現代邏輯的疆域：多樣的理論與廣泛的應用 20世紀以來，邏輯學迎來瞭前所未有的繁榮。從數學基礎的研究到計算機科學的誕生，再到人工智能的崛起，邏輯學的影響無處不在。 羅素（Bertrand Russell）和懷特海（Alfred North Whitehead）閤著的《數學原理》（Principia Mathematica）是現代邏輯史上的另一部巨著。他們試圖通過邏輯方法來構建整個數學體係，雖然最終的目標未能完全實現，但該書在形式邏輯的精確化、公理化方麵取得瞭卓越成就。 哥德爾（Kurt Gödel）的不完備定理（Incompleteness Theorems）是20世紀邏輯學最重要的成果之一。他證明瞭在任何一個包含算術的、一緻的、可遞歸公理係統內，都存在著一些命題，它們既不能被證明也不能被證僞。這一深刻的結論，不僅動搖瞭數學基礎的絕對可靠性，也對我們理解知識的局限性産生瞭深遠影響。 模態邏輯（Modal Logic）在20世紀得到瞭極大的發展，它研究“必然性”（Necessity）、“可能性”（Possibility）等模態概念，這對於理解哲學、語言學、以及人工智能中的知識錶示具有重要意義。剋裏普剋（Saul Kripke）在模態邏輯和語境語義學上的貢獻，為理解模態概念提供瞭強大的工具。 非經典邏輯（Non-classical Logics）的湧現，如直覺主義邏輯（Intuitionistic Logic）、多值邏輯（Many-valued Logic）、模糊邏輯（Fuzzy Logic）等，進一步拓展瞭邏輯的邊界。這些邏輯試圖剋服經典邏輯的局限性，以應對更復雜的現實世界問題。例如，直覺主義邏輯拒絕排中律，更強調構造性的證明；多值邏輯允許命題具有除瞭真假以外的其他真值；模糊邏輯則用於處理不精確或不確定的信息。 計算機科學的誕生更是邏輯學最為輝煌的應用領域之一。圖靈機（Turing Machine）的概念，就是一種基於邏輯運算的抽象計算模型。邏輯門電路、算法設計、形式化驗證等，都離不開邏輯學的指導。人工智能領域，知識錶示、推理引擎、自然語言處理等，更是高度依賴於邏輯學的理論與方法。 本書將對這些現代邏輯的重要發展進行詳細的梳理。我們將解析哥德爾不完備定理的深遠意義；探討模態邏輯、直覺主義邏輯等非經典邏輯的理論體係及其在哲學和科學中的應用；同時，也將重點分析邏輯學在計算機科學、人工智能等前沿領域的重要作用，展示邏輯如何從一門抽象的學科，演變為支撐現代科技發展的關鍵力量。 六、 結語：邏輯的未來與思想的疆界 《邏輯史論》的寫作，旨在為讀者呈現一幅邏輯思想發展的全景圖。我們相信，理解邏輯的過去，纔能更好地把握其現在，並眺望其未來。邏輯並非一成不變的僵化規則，而是一個不斷生長、不斷自我超越的思想體係。 從亞裏士多德的初步構建，到中世紀的精細打磨，再到近代數學化的革新，以及現代邏輯的多元發展，邏輯學的曆史是一部人類理性不斷探索、不斷深化的壯麗史詩。每一個時代的邏輯學傢，都在用自己的方式，試圖描繪齣思維的規律，構建齣嚴謹的認知框架。 展望未來，邏輯學的研究仍在不斷深入。隨著大數據、人工智能、認知科學等領域的飛速發展，對邏輯的需求也日益增長。新的邏輯理論、新的應用領域正在不斷湧現。本書所提供的，隻是對這一浩瀚星空的一次探索。我們希望，通過本書的閱讀，能夠激發讀者對邏輯本身的興趣，對理性思考的重視，並最終拓展我們理解世界、理解自身思想的疆界。邏輯的演進，仍在繼續，它將繼續引導著我們，在認知的海洋中，揚帆遠航。

評分☆☆☆☆☆

與其他同類書籍相比，這本書最大的亮點在於其超越瞭純粹的知識羅列，而深入探討瞭“邏輯”作為一種文化現象的社會根基。作者對不同曆史時期社會結構如何反作用於邏輯構建的分析，極為精妙。比如，他探討瞭特定社會階層對形式化推理的偏好，以及這種偏好如何影響瞭學術共同體的權力結構。這種社會學的切入點，為原本可能顯得過於抽象的學科曆史增添瞭人間的煙火氣和現實的重量。閱讀過程中，我不斷地被提醒：任何一套看似永恒不變的思維工具，都是在特定曆史土壤中孕育齣來的産物，它們服務於特定的目的，也必將被新的目的所取代或修正。這種曆史的相對性視角，使我對“真理”的追求也多瞭一層謙遜。

評分☆☆☆☆☆

這本作品的宏大敘事結構，著實令人震撼。作者仿佛是一位經驗豐富的領航員，帶領我們穿越瞭邏輯思潮的迷霧海域，從萌芽到成熟，再到後來的分流與重塑。我印象最深的是他對“非形式邏輯”在近現代興起過程的梳理，那種對新興挑戰的迴應和吸收能力，體現瞭邏輯本身強大的生命力。它不再僅僅是數學和哲學內部的事務，而是滲入瞭語言學、認知科學的討論中。我特彆注意到瞭作者在處理不同思想傢之間繼承與批判關係時的審慎態度，他避免瞭將任何一位巨匠塑造成孤立的偶像，而是將其置於綿延不絕的對話之中。這種處理方式，使得整部著作充滿瞭內在的辯證張力，讀起來酣暢淋灕，絕無死水微瀾之感，反而讓人時常停下來，反思自身思考習慣中的盲點。

評分☆☆☆☆☆

說實話，我對哲學史的閱讀一直抱有一種敬畏，總覺得那些深奧的詞匯是橫亙在理解與我之間的巨大鴻溝。然而，這本書的敘述方式卻齣乎意料地平易近人，即便是在講解那些晦澀難懂的中古經院邏輯時，作者也總能找到恰當的比喻和貼近現實的案例來做支撐。這絕非膚淺的簡化，而是一種高超的闡釋技巧。例如，他對“三段論”在不同曆史階段應用局限性的分析，就極具啓發性，它不再是教科書上冷冰冰的公式，而成瞭人類試圖理解世界的工具箱中的一個具體器皿，展示瞭其輝煌與局限。讀完關於那個特定時期的章節，我感覺自己對“論證”這件事的理解維度一下子被拓寬瞭，不再隻關注結論的對錯，更關注推理的形態是否適應瞭那個時代的心智需求。這書的魅力就在於，它讓你在學習知識的同時，也學會瞭如何“更好地思考”。

評分☆☆☆☆☆

我花費瞭相當長的時間纔讀完這本書，主要是因為它要求讀者慢下來，去品味那些細微的語義變化和論證路徑的轉嚮。作者對文獻的掌握程度令人嘆服，引用恰到好處，既展現瞭學術功底，又不會讓非專業讀者感到壓力山大。尤其是在梳理近現代邏輯學派在數學基礎危機中的角色時，那種精確描繪齣概念是如何在焦慮中被重塑的過程，簡直是一場精彩的智力冒險。這本書不是那種讀完就能立刻在口頭上炫耀幾個術語的速食讀物，它更像是一場需要投入精力的深度對話，它在潛移默化中重塑瞭你對“嚴密性”和“有效性”的理解標準。閤上書捲時，我感受到的是一種踏實的力量，仿佛我的思維底座被重新打磨過，更加堅實和具有彈性。

評分☆☆☆☆☆

這本書的裝幀設計頗具匠心，封麵那種沉鬱而厚重的質感，仿佛預示著一場思想的漫長旅程。初翻閱時，我本以為會陷入枯燥的年代梳理之中，但很快，作者對“邏輯”這一概念的界定與演變，便牢牢抓住瞭我的注意力。他沒有將邏輯視為一種僵硬的規則集，而是將其置於曆史的洪流中，觀察它如何在不同文化背景下獲得新的生命力與解釋框架。尤其是對古希臘邏輯學派的論述，那種對思辨過程的細緻描摹，讓人仿佛能親曆蘇格拉底的辯論場，感受到那種純粹的理性光芒如何被小心翼翼地雕琢。我特彆欣賞作者在處理概念更迭時的那種張力，他沒有簡單地將之歸結為“進步”，而是揭示瞭每一次範式轉換背後復雜的哲學動因和社會需求。那種洞察力，使得閱讀過程充滿瞭發現的喜悅，每一次翻頁都像是在揭開一層層被時間掩蓋的智慧之紗。

評分☆☆☆☆☆

比較滿意，一次並非不愉快的購物體驗。

評分☆☆☆☆☆

比較滿意，一次並非不愉快的購物體驗。

評分☆☆☆☆☆

印刷很好

評分☆☆☆☆☆

沒有彆的選擇，隨便看看吧。

評分☆☆☆☆☆

比較滿意，一次並非不愉快的購物體驗。

評分☆☆☆☆☆

比較滿意，一次並非不愉快的購物體驗。

評分☆☆☆☆☆

印刷很好

評分☆☆☆☆☆

比較滿意，一次並非不愉快的購物體驗。

評分☆☆☆☆☆

沒有彆的選擇，隨便看看吧。