邏輯學的發展檢視原始碼討論檢視歷史

原圖鏈接來自 豆瓣網 的圖片

《邏輯學的發展》，闡述古典形式邏輯和數理邏輯發展及其哲學問題的西方邏輯史著作。英國邏輯學家威·涅爾教授和他的夫人瑪·涅爾合著。1962年牛津大學克拉敦出版社出版。中譯本1985年商務印書館出版，張家龍、洪漢鼎譯。

內容簡介

全書約70萬字，正文分12章，前有序言，後附有參考書目，中譯本加了漢譯名詞索引和譯者後記。序言主要說明本書寫作的主旨、動機和經過，強調本書是要敘述邏輯學的發生和發展，而不是企圖記載以往學者關於邏輯學說過的所有內容。第1章發端。提出邏輯學從古希臘哲學家開始討論有效推理規則時產生。從而考察了當時甚至更早的幾何學證明、論辯的論證、形而上學的論證、論辯術和詭辯術為邏輯學產生提供的前提條件和要求。進而指出柏拉圖是第一個邏輯哲學家，介紹了他探究的三個邏輯哲學問題。第2章亞里士多德的《工具論》。概述了《工具論》的一般內容，具體闡述了《範疇篇》的學說及其邏輯後果、《論辯篇》的內容特點、亞里士多德關於意義和真值的理論、一般陳述句的四種形式和三段論學說、亞里士多德的模態邏輯和《分析篇》中的非三段論邏輯。最後考察了亞里士多德開創的學派及其後繼者德奧弗拉斯特所做的貢獻。第3章麥加拉學派和斯多噶學派。考察了麥加拉學派的哲學和斯多哥學派邏輯的起源、兩派的模態理論、斯多哥學派關於意義和真值的理論及其推理圖式體系，介紹了當時菲羅與其老師等人關於條件句性質的爭論。第4章羅馬和中世紀的邏輯。分羅馬、中世紀前後期，考察了西塞羅、鮑依修斯、阿爾琴、阿伯拉爾、奧卡姆等邏輯學家的貢獻，着重闡述了中世紀對詞項特性和推理理論的發展。第5章文藝復興以後的邏輯。首先分析了人文主義和自然科學的興起對於邏輯學發展的影響；然後重點考察了萊布尼茲的新邏輯思想及其包含的被包含演算，還考察了不同趨向的從薩克里到漢密爾頓的邏輯探索；最後評述了受萊布尼茲影響的鮑爾察諾的科學論和受經驗派影響的穆勒邏輯體系。第6章數學抽象。首先考察了幾何、數、函數等數學和公理學發展對於邏輯學的影響；然後介紹了布爾代數及其以後的發展；最後評述了德·摩根和皮爾斯的關係理論對於邏輯學發展的重大貢獻。第7章數、集合和數列。首先概述了弗雷格和他同時代人邏輯思想的共同特徵；然後具體評述了康托爾的集合論；繼而介紹了弗雷格對其前輩邏輯思想的評價和本人做出的自然數定義；最後介紹了狄德金和皮亞諾對數列處理的不同方法。第8章弗雷格的一般邏輯。闡述了弗雷格代表作《概念文字》、《論意義和所指》、《算術的基本規律》的邏輯理論，概括並高度評價了弗雷格在發展數理邏輯方面所取得的重大成就。第9章弗雷格以後的形式發展。首先介紹了數理邏輯的各種符號系統；然後討論了邏輯系統的表述方法，公理和規則系統及自然推理系統；繼而討論了現代模態邏輯系統；最後簡述了各種非正統邏輯系統。第10章弗雷格以後的邏輯哲學。分別討論了現代邏輯的表達式、指示詞、真值、摹狀詞理論、內涵性、同一、函項、類、必然性和語言等的邏輯哲學問題。第11章弗雷格以後的數理哲學。首先介紹了集合論的悖論；然後討論了不同數理哲學流派為解決悖論所提出的不同方案，具體評述了羅素的邏輯類型論、布勞維爾的直覺主義和希爾伯特的元數學綱領。第12章演繹系統理論。首先介紹了初等邏輯的元理論和一般邏輯的元理論；然後重點討論了形式算術系統的不可完全性和判定問題；最後闡述了邏輯在科學中的地位。

本書是當代幾部有影響的西方邏輯史著作之一。作者若干獨到見解，頗具啟發性。但其表現出的西歐中心論和輕視歸納的傾向是不可取的。

工具書的特點

1、從編輯目的而言，它主要供查考、檢索而非通讀。

2、從編排方法而言，工具書總是按某種特定體例編排，以體現其工具書性，易檢性。

3、從內容而言，廣泛吸收已有研究成果，所提供的知識、信息比較成熟可靠，敘述簡明扼要，概括性強。

視頻

邏輯學的發展 相關視頻

科學技術的進步促進邏輯學的發展 邏輯學1為什麼要學習邏輯學