數理哲學譯文集 pdf epub mobi txt 電子書 下載 在線閱讀 2026

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:商務印書館

作者:中國社會科學院哲學研究所邏輯研究室 編

出品人:

頁數:187

译者:

出版時間:1988-9

價格:1.60元

裝幀:平裝

isbn號碼:9787100004725

叢書系列:

圖書標籤:

• 數理邏輯
• 哲學
• 哲學
• 數理邏輯
• 數學哲學
• 邏輯學
• 譯文
• 學術
• 科學
• 思想
• 西方哲學
• 邏輯與數學

數理哲學譯文集 一捲探索邏輯、數學與實在之根基的智識之旅 《數理哲學譯文集》匯集瞭二十世紀以來，特彆是邏輯實證主義、分析哲學興起以來，最具影響力和啓發性的數理哲學核心文獻的精妙譯文。本書並非旨在係統性地建構某一學派的理論大廈，而是通過精選的、立場各異的經典文本，為讀者提供一個多維度的視角，以審視數學的本質、邏輯的界限以及它們與經驗世界關係的深刻哲學睏境。 第一部分：數學的實在論與邏輯主義的危機 本捲的開篇聚焦於邏輯主義運動的遺産及其在麵對新世紀挑戰時的睏境。我們精選瞭伯特蘭·羅素早期關於“數學即邏輯”命題的雄心勃勃的論述，特彆是《數學原理》中的關鍵論證的節選與導讀。這些文本細緻地展示瞭如何嘗試將全部數學知識還原為純粹的邏輯真理，以及為此所付齣的概念代價。 然而，緊隨其後的是哥德爾不完備性定理對邏輯主義基石的緻命一擊的權威闡釋。我們不僅收錄瞭哥德爾原初論文的精煉翻譯，更引入瞭當代對該定理哲學含義的深入解讀。讀者將在此清晰地看到，為什麼這個結果不僅是數學技術上的突破，更是關於“可公理化係統之完備性”的根本哲學斷言。這一部分著重探討瞭：數學對象是否獨立於人類思維而存在？邏輯係統是否能窮盡所有數學真理？ 此外，本部分還收錄瞭對弗雷格（Gottlob Frege）早期邏輯著作的追溯性考察。通過對比羅素對弗雷格“混淆瞭邏輯與心理”這一批判的接受與改造，我們得以洞察分析哲學的初期形態，以及其在麵對集閤論悖論時的自我修正過程。這些早期文本為理解現代數理哲學的起點提供瞭不可或缺的背景。 第二部分：直覺主義與形式主義的對立 在邏輯主義的權威受到挑戰的同時，對數學基礎的探尋轉嚮瞭兩種截然不同的進路：荷蘭的直覺主義和德國的形式主義。 本譯文集深入介紹瞭L. E. J. 布勞威爾（L. E. J. Brouwer）對於“數學直觀”的核心地位的堅持。直覺主義認為數學對象必須能夠被構造齣來，而非僅僅被證明存在。我們收錄瞭布勞威爾關於“排中律的有效性範圍”的著名論斷，以及他對經典邏輯作為數學工具的激進批判。這部分文本迫使讀者重新審視“存在”一詞在數學語境中的確切含義，並思考人類的構造能力與數學真理的邊界之間的關係。 與此相對立的是大衛·希爾伯特（David Hilbert）的綱領性計劃——形式主義。我們將呈現希爾伯特關於“證明論”（Proof Theory）的奠基性論文，其中他試圖將數學視為一個純粹的符號操作遊戲，其有效性依賴於一套可被有限、可靠方法驗證的“一緻性”證明。本部分的精彩之處在於對哥德爾工作如何“解決”（或“終結”）瞭希爾伯特計劃的討論。這不僅是邏輯史上的關鍵轉摺，也是關於“數學確定性”信念的哲學性動搖。 通過並置直覺主義者對直觀的絕對依賴與形式主義者對符號係統的絕對信任，本書引導讀者思考：數學真理是心靈的發現，還是人類心智的創造？ 第三部分：邏輯實證主義與科學哲學中的數理工具 本書的第三部分將焦點從純粹數學基礎轉嚮瞭數理邏輯在科學哲學中的應用與局限。維也納學派（Vienna Circle）是理解這一階段的關鍵。 我們收錄瞭魯道夫·卡爾納普（Rudolf Carnap）關於“邏輯分析”和“確認理論”（Confirmation Theory）的代錶性論述。卡爾納普試圖將科學陳述劃分為“分析判斷”（在邏輯上必然為真）和“綜閤判斷”（可以通過經驗驗證）。數理邏輯和集閤論被視為構建“邏輯句式”和“邏輯真值”的唯一可靠工具。這些譯文詳細闡述瞭他們如何利用邏輯語言來消除形而上學的“僞問題”，並建立一個基於邏輯清晰度和經驗可檢驗性的科學世界觀。 然而，本部分並未止步於對實證主義的單純介紹。它包含瞭對卡爾納普晚期思想的反思，特彆是他對“邏輯本身是否是經驗性的”這一問題的重新審視。我們引入瞭蒯因（W. V. O. Quine）對分析與綜閤區分的著名批判（“兩個教條”），此文從根本上動搖瞭邏輯實證主義關於邏輯真理的地位的看法。蒯因的論證錶明，數學和邏輯的真理並非存在於一個獨立於經驗的“第三領域”，而是內嵌於我們整體的知識結構之中，與經驗科學有著錯綜復雜的相互依賴關係。 第四部分：模態邏輯與當代實在論的辯論 最後，本譯文集觸及瞭當代數理哲學的前沿領域——模態邏輯（Modal Logic）及其在本體論問題上的應用。 我們精選瞭索爾·剋裏普剋（Saul Kripke）關於可能世界語義學的奠基性工作，並探討瞭其哲學意義。模態邏輯，即關於“必然性”和“可能性”的邏輯，為討論數學真理的必然性（“2+2=4必然為真”）提供瞭一個嚴謹的框架。然而，如果可能世界是真實的，那麼數學對象的實在性問題（即它們是否獨立於我們的世界而存在）就再次浮現。 本部分還收錄瞭關於“數學對象是否存在於可能世界中”的哲學辯論摘要。這包括對柏拉圖主義（Platonism）的當代捍衛者和反實在論者之間的交鋒。通過對這些文本的研讀，讀者將有機會評估，在哥德爾、蒯因和剋裏普剋之後，我們是否能更清晰地迴答那個古老的追問：數字和集閤，究竟是什麼？ 總結 《數理哲學譯文集》是一部結構精巧、思想密集的文選。它不提供單一的、包羅萬象的答案，而是通過呈現邏輯主義的雄心、直覺主義的堅守、形式主義的精確以及實證主義的檢驗，為所有對知識、真理和思維結構抱有深刻好奇心的讀者，提供瞭一張通往數理哲學核心辯論場的詳盡地圖。閱讀本書，即是參與一場橫跨百年、關於人類最抽象思維成果之本質的嚴肅對話。

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

评分☆☆☆☆☆

我必須承認，剛拿到這本厚厚的譯文集時，內心是有些忐忑的。我對數理哲學的興趣是建立在對經典哲學思辨的興趣之上的，擔心那些符號和公理推演會讓我感到疏離和枯燥。然而，閱讀體驗完全超齣瞭我的預期。這本選集在編排上似乎也經過瞭精心設計，幾篇關於語言學轉嚮的譯文，巧妙地穿插在關於基礎公理化的討論之間，形成瞭一種“剛柔並濟”的閱讀節奏。特彆是其中關於維特根斯坦晚期哲學的片段，那種對日常語言的細緻解剖，那種對“工具性”和“遊戲規則”的洞察，與前麵那些嚴謹的數學基礎討論形成瞭強烈的張力。正是這種張力的存在，使得整本書讀起來充滿瞭一種辯證的美感。它不再是冰冷的邏輯演算，而是富含人類思考的溫度和掙紮。讀完後，我感覺自己對“什麼是清晰的思考”這個問題，有瞭一種更具批判性和層次感的理解，不再是簡單地認為清晰就是精確無誤，而是意識到清晰本身也是一個需要被哲學生産和審視的概念。

评分☆☆☆☆☆

作為一個業餘的邏輯愛好者，我總是在尋找能夠係統梳理現代邏輯發展脈絡的材料，市麵上很多書籍要麼過於偏嚮技術細節，將哲學意涵丟在一邊，要麼又過於浪漫化，對符號係統的嚴謹性避而不談。這本《數理哲學譯文集》卻奇妙地找到瞭那個微妙的平衡點。它沒有迴避那些復雜的邏輯公式，但每一次公式的齣現，都伴隨著對其哲學意圖的詳盡闡釋。例如，關於哥德爾不完備性定理的早期論述，那些德語或英語的原文，往往將“可計算性”與“思維的本質”緊密聯係在一起，而這本譯本成功地捕捉到瞭這種連接。我發現，很多我以前認為理所當然的數學概念，在這些哲學傢的語境中，被賦予瞭全新的、甚至有些顛覆性的意義。這種“再語境化”的過程，極大地拓寬瞭我的視野。它讓我意識到，數理哲學並非是純粹的數學分支，而是人類理性試圖理解自身局限性的一種深刻嘗試。對於想跨界學習的讀者來說，這本書簡直是避開瞭兩極分化的陷阱，提供瞭一個中正平和，但又不失深刻的橋梁。

评分☆☆☆☆☆

這本《數理哲學譯文集》的齣現，簡直是為我這種在數理邏輯和哲學交叉領域摸爬滾打多年的學人，投下瞭一枚重磅炸彈。首先要說的是，譯者團隊的功力著實令人驚嘆。他們顯然不是簡單地將外文詞句對應到中文，而是對背後的哲學語境和數學概念有著深刻的理解。舉個例子，關於羅素的“摹狀理論”那幾篇譯文，那些原本晦澀難懂的邏輯符號和句法結構，經過他們的處理，變得清晰而富有邏輯的張力，仿佛作者本人站在你麵前為你娓娓道來。特彆是處理那些關於“無窮”概念的論辯時，那種細微的語感差異，那種對概念邊界的精準把握，都體現瞭極高的學術水準。我印象最深的是其中一篇關於弗雷格早期著作的評述，譯者在注釋中對康德哲學的影響做瞭詳盡的梳理，這對於我們這些想追溯數理哲學源頭的人來說，無異於指明瞭一條清晰的路徑。這本書的價值，絕不僅僅在於提供瞭一堆翻譯好的文本，更在於它構建瞭一個高質量的學術對話平颱，讓原本分散在不同語種和不同時代的思想，得以在這個集子裏進行有機的碰撞與交流。閱讀過程中，我時常需要停下來，反復咀嚼那些精妙的論證結構，那種智力上的愉悅感，是其他泛泛而談的哲學讀物所無法比擬的。

评分☆☆☆☆☆

我原本對“分析哲學”這個宏大的概念感到有些敬而遠之，總覺得它被包裹在過於嚴苛的符號邏輯外衣之下，讓人難以窺見其內在的思辨火焰。然而，拜讀瞭這本《譯文集》中的幾篇早期文本後，我的看法徹底顛覆瞭。這些譯文展示瞭哲學傢們如何運用數學的嚴密性，去解構傳統形而上學的迷霧。其中有幾篇關於“真值”和“意義”的論述，其論證的精妙和層層遞進的邏輯推演，簡直像是在觀看一場高水平的國際象棋對弈。作者們似乎並不滿足於停留在概念的錶麵，而是執著於挖掘語言的底層結構，試圖找到一種比日常語言更可靠的錶達方式。我尤其欣賞其中收錄的幾篇關於“集閤論悖論”的討論，那些譯文不僅忠實記錄瞭數學傢的睏惑和掙紮，更將這種睏惑轉化為一種深刻的哲學追問：我們對確定性的追求，究竟能走多遠？閱讀這些文字，需要的不僅僅是智力上的投入，更是一種心性的沉潛，去感受那種在邏輯懸崖邊上探尋真理的勇氣和敬畏。它不是快餐式的知識灌輸，而是一場需要耐心的、與大師們並肩思考的智力遠足。

评分☆☆☆☆☆

這本書的裝幀和紙張質量，也透露齣一種對學術嚴肅性的尊重，這在如今快節奏的齣版業中並不多見。但拋開外在的製作不談，其內在的學術視野的開闊性，纔是最令人稱道的。它不僅僅收錄瞭那些“主流”的、耳熟能詳的篇章，更令人驚喜的是，其中穿插瞭幾篇相對“冷門”但極具啓發性的譯文，例如關於“直覺主義邏輯”的早期爭論。這些譯文，為我們理解數理哲學並非鐵闆一塊，而是充滿瞭內部張力和路綫鬥爭提供瞭鮮活的史料。通過這些細微的史料，讀者可以清晰地看到，即便是麵對“2+2=4”這樣的基本命題，不同的思想傢們是如何構建完全不同的論證基礎的。這種對思想多元性的展示，是批判性思維養成的沃土。我個人尤其喜歡其中對“實體”這一概念在現代邏輯中的消解過程的討論，那簡直是揭示瞭現代科學如何通過語言的重構，來重塑我們對世界的本體論理解。這本書，與其說是一本譯文集，不如說是一部濃縮的、充滿思辨張力的思想史畫廊。

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆