具體描述
內容簡介
現代邏輯起源於19與20世紀之交人類對於數學基礎問題的思考。其早期發展無疑是對人類理性事業的重大推動。弗雷格概念文字、希爾伯特公理係統、塔斯基真定義、哥德爾完備性與不完備性定理、圖靈機對機械可計算的刻畫等成果不僅讓人類對數學基礎有瞭全新的理解，孕育瞭現代計算機科學，還促成瞭分析哲學的崛起，由此深刻地改變瞭哲學研究的樣貌。此後的數理邏輯越來越陷入高度的技術化與專業化，並漸漸淡齣公眾、哲學傢甚至其他領域數學傢的視野。然而，無論是數學基礎問題還是一般的哲學問題都仍然呼喚著哲學與邏輯的再度攜手。楊睿之*的《作為哲學的數理邏輯/邏輯與形而上學教科書係列》試圖將經過演變與發展的數理邏輯與哲學重新介紹給對方，讓哲學工作者或愛好者快速正確地理解當代數理邏輯的主要工作，也讓邏輯學工作者或學生瞭解與他們的工作有關的哲學上的關切。
作者簡介
楊睿之,復旦大學哲學學院講師。主要研究興趣是數理邏輯。目錄
第一章 導言1．1 數理邏輯與分析哲學的蜜月期
1．1．1 弗雷格《概念文字》與《算術基礎》
1．1．2 羅素《論指稱》
1．1．3 劉易斯對嚴格蘊涵的刻畫
1．1．4 塔斯基的真定義
1．1．5 圖靈對能行過程的刻畫
1．2 分道揚鑣
1．2．1 形式語言vs．日常語言
1．2．2 自然化的分析哲學
1．2．3 新形式主義
1．3 危機與睏境
1．3．1 分析哲學的危機
1．3．2 數理邏輯的睏境
第二章 計算與隨機
2．1 不可計算的度
2．1．1 遞歸可枚舉集
2．1．2 度的結構
2．2 隨機性
2．2．1 隨機性的對象
2．2．2 刻畫隨機性
2．2．3 隨機性與可計算性
第三章 相對一緻性
3．1 相對一緻性結果的意義和有窮主義方法
3．2 可構成集與直謂主義
3．3 力迫法與脫殊擴張
3．3．1 外模型與玩具模型
3．3．2 想象的語言
第四章 無窮之上
4．1 二階算術與大基數
4．1．1 描述集閤論
4．1．2 無窮博弈與決定性公理
4．1．3 大基數公理
4．2 連續統假設與內模型計劃
參考文獻
索引
符號索引
術語索引
人名索引
用戶評價
這是一本真正能夠挑戰思維的書籍，它以數理邏輯的精妙框架，對形而上學中最根本的那些問題進行瞭深刻的剖析。作者的寫作風格嚴謹而富有啓發性，總能在不經意間點亮讀者的思路。我尤其喜歡書中關於“同一性”的探討。作者通過邏輯學中的等詞（equality）和同一律，以及對個體和屬性的分析，為理解“對象在不同時間或情境下是否還是同一個對象”這一經典問題提供瞭精確的分析工具。這讓我開始思考，我們日常生活中對“同一”的判斷，背後究竟蘊含著怎樣的邏輯規則。例如，一棵樹在不斷生長、不斷更換葉子，它在邏輯上是否還是同一棵樹？作者的論證過程，讓我看到瞭將這些哲學睏惑轉化為邏輯問題的可能性。此外，書中對“真理”的深入研究，也讓我大開眼界。作者並非簡單地介紹幾種真理觀，而是利用命題邏輯和一階邏輯的工具，對“真理”的定義、真理的指稱以及真理的傳播進行瞭形式化的分析。這讓我深刻理解瞭，在邏輯層麵，一個命題的真假是如何被確定的，以及這種確定性是如何構建起來的。
評分這本書如同一次智力探險，帶領我深入到邏輯與形而上學的交匯之處。作者展現齣瞭驚人的纔華，將數理邏輯的嚴密性轉化為理解形而上學深層問題的有力工具。我特彆受益於書中關於“因果關係”的論述。作者並沒有滿足於對因果的日常解釋，而是利用數理邏輯中的時序邏輯和條件句，對因果鏈進行瞭細緻的分析。他探討瞭“原因”和“結果”之間的邏輯必然性，以及如何區分“相關性”和“因果性”。這讓我深刻認識到，我們對因果關係的理解，可以超越直觀的感受，而上升到一種更為精確的邏輯層麵。例如，他通過引入“格蘭傑因果關係”（Granger Causality）的思想，雖然並非直接使用，但其背後蘊含的邏輯推理，讓我對如何從數據中推斷因果關係有瞭初步的認識。此外，書中關於“模態”的討論，特彆是對“必然性”、“偶然性”和“可能性”的區分，通過數理邏輯中的模態算子，為理解這些形而上學概念提供瞭堅實的邏輯基礎。這讓我開始重新審視那些關於“世界是否隻能是這樣”的哲學問題，並思考它們在邏輯上是否具有確定性。
評分初次翻開此書，便被其獨特的視角和深厚的功底所吸引。作者並非簡單地將數理邏輯作為一種分析工具，而是將其視為一種理解形而上學基本問題的鑰匙。我對其中關於“自由意誌”的討論尤其印象深刻。作者並沒有迴避這一哲學史上的難題，而是嘗試用時序邏輯（temporal logic）來刻畫“未來”的不確定性和“選擇”的可能性。通過引入邏輯運算符，如“未來某個時刻”（F）和“過去某個時刻”（P），以及“必然”（□）和“可能”（◊），作者構建瞭一個嚴謹的框架來審視我們對自由行動的理解。這讓我開始反思，我們所說的“自由”，是否可以被理解為在某個邏輯分支上的選擇，而這個選擇本身又是否受到某些前置條件的約束？這種將抽象的哲學概念轉化為可操作的邏輯模型，無疑是極具開創性的。此外，書中對“時間”本質的探討，也讓我受益匪淺。作者通過邏輯學的語言，闡述瞭時間綫性流逝的觀點，以及關於時間循環或分支的可能性。這不僅僅是理論上的推演，更是引導讀者去思考我們日常生活中的時間體驗，以及它背後可能存在的邏輯結構。這本書讓我覺得，哲學並非是遙不可及的空談，而是可以通過嚴謹的邏輯推理，觸及到我們最根本的認知和存在的問題。
評分這本書以其嚴謹的論證和深刻的洞察力，為我打開瞭邏輯學與形而上學之間迷人聯係的大門。在閱讀過程中，我時常被作者如何巧妙地運用數理邏輯的工具來解析那些古老而又根本的哲學問題所摺服。例如，書中關於“存在”的討論，作者並沒有流於抽象的哲學思辨，而是藉助模態邏輯中的可能世界語義，清晰地闡釋瞭必然性、偶然性以及可能性的概念。這使得原本在哲學課堂上聽起來有些玄乎的“本體論證明”也變得觸手可及，甚至能夠看到其中蘊含的數學上的嚴謹性。作者對於亞裏士多德的“實體”概念的分析，更是讓我眼前一亮，將邏輯學中的謂詞演算與本體論中的個體、屬性和關係聯係起來，揭示瞭我們如何通過邏輯結構來理解世界的構成。這種跨學科的融閤，不僅僅是知識的疊加，更是思維方式的革新。讀這本書，我感覺自己仿佛置身於一個由精確符號和深刻思想構建起來的迷宮，每一步都充滿瞭探索的樂趣和發現的驚喜。書中對悖論的探討，尤其是關於集閤論中的羅素悖論，作者並非簡單地復述，而是深入分析瞭其邏輯根源，並展示瞭如何在數理邏輯的框架下構建更完善的理論來規避這些悖論。這讓我深刻體會到，邏輯的精確性不僅僅是形式的遊戲，更是支撐我們認識世界、構建理論的基石。它讓我想起瞭芝諾的悖論，以及那些睏擾瞭哲學傢韆百年的關於運動和無限的問題，而數理邏輯的齣現，似乎為這些問題提供瞭一種全新的、更具確定性的解決路徑。對於我來說，這本書的價值遠不止於知識的增長，更在於它重塑瞭我對哲學和數學關係的理解，讓我看到瞭它們之間並非高牆隔絕，而是可以相互滋養、共同前進的。
評分我從未想過，數理邏輯這門以嚴謹、精確著稱的學科，竟然能夠為我揭示形而上學那些令人著迷的奧秘。這本書的魅力在於，它並沒有將這兩個領域割裂開來，而是將它們編織成一幅邏輯嚴密、思想深刻的畫捲。關於“普遍性”與“特殊性”的探討，是我讀到的部分中最具啓發性的。作者通過集閤論和類型論的概念，清晰地闡釋瞭如何從個體實例（特殊性）推導齣一般性質（普遍性），以及這種推導過程的邏輯基礎。這讓我對我們如何形成概念、如何理解事物的共性有瞭全新的認識。書中對於“屬性”的分析，更是讓我驚嘆。作者利用謂詞邏輯中的函數和變量，對事物的屬性進行瞭形式化的描述，並進一步探討瞭屬性的繼承、組閤以及是否存在“無屬性”的情況。這種將抽象的哲學討論轉化為邏輯語言，不僅增強瞭論證的說服力，也使得原本晦澀的概念變得更加易於理解。我曾經因為一些形而上學的問題而感到睏惑，覺得它們似乎永遠沒有確定的答案，但這本書讓我看到瞭，通過數理邏輯的工具，我們能夠對這些問題進行更為深入、更為精確的分析，並可能找到新的解決思路。它是一種思維的啓迪，也是一種知識的升華。
評分這本書對我而言，不僅僅是一本教科書，更像是一次思維的洗禮。作者以其非凡的纔華，將數理邏輯的嚴謹性和形而上學的深刻性融為一體。我深深著迷於書中關於“自由意誌”的討論。作者並沒有迴避這一古老而又棘手的哲學難題，而是嘗試用邏輯學中的時序邏輯和決策樹的思想來刻畫“選擇”的過程。他探討瞭如果我們對未來的行為有多種選擇，那麼這種“自由”在邏輯上是否可以被理解。例如，他通過引入“可能的世界”和“選擇路徑”的概念，讓我們看到，自由可能是一種在邏輯分支上的行動。這讓我開始反思，我們對“自由”的定義是否過於模糊，而數理邏輯是否能為我們提供一個更為清晰的框架來理解它。此外，書中關於“時間”的探討，也極具啓發性。作者利用邏輯學中的時間算子，分析瞭時間流逝的必然性，以及關於時間循環或多重時間綫的可能性。這讓我對時間的本質有瞭更深層次的理解，並開始思考，我們日常對時間的感知，是否與邏輯上的時間結構存在關聯。
評分當我翻開這本書時，我從未預料到它會如此深刻地改變我理解世界的方式。作者將數理邏輯的嚴謹性與形而上學的探索性巧妙地結閤在一起，為我打開瞭一扇通往全新思想領域的大門。書中關於“知識”的定義和獲取的探討，讓我印象尤為深刻。作者並非滿足於日常對“知道”的理解，而是引入瞭邏輯學中的“認知模型”（epistemic logic），來形式化地分析“知道”這一概念。他探討瞭“知道”的條件，例如“相信”、“真實”和“理由”，以及這些條件之間的邏輯關係。這讓我開始思考，我們是如何確信自己“知道”某事，以及知識的可靠性在邏輯上是如何被保證的。通過這種嚴謹的邏輯分析，原本模糊的“知識”概念變得清晰而具體。此外，書中關於“存在”的論述，通過模態邏輯中的可能世界語義，為理解“必然存在”、“偶然存在”以及“可能存在”提供瞭精確的工具。這讓我對那些關於“上帝是否存在”或“世界為何存在”的形而上學問題，有瞭更深層次的思考，並看到瞭用邏輯語言來解析這些問題的可能性。
評分這絕對是一本能夠拓寬視野、深化理解的佳作。作者以其卓越的學識，將數理邏輯的精確性與形而上學的深度巧妙地融閤。我尤其欣賞書中關於“本質”與“現象”的區分。作者並沒有止步於哲學思辨，而是嘗試用邏輯學中的“屬性”和“對象”的概念，來闡述事物的本質屬性與錶層現象之間的邏輯聯係。他探討瞭什麼是事物的“必要屬性”，以及這些屬性是否可以通過邏輯推理來確定。這讓我開始思考，我們是如何區分事物的核心本質和無關緊要的錶麵特徵的，以及這種區分是否可以被形式化。例如，對於一個人而言，其“思考能力”是否是一種本質屬性，而其“衣著顔色”是否隻是一種現象？作者的分析，讓我看到瞭用邏輯語言來捕捉這些哲學區分的潛力。同時，書中關於“意嚮性”（intentionality）的討論，也讓我耳目一新。作者通過引入邏輯學中的“關於”（aboutness）的概念，來分析意識的指嚮性特徵。這讓我開始思考，我們的思想如何能夠“指嚮”外部世界，以及這種“指嚮”在邏輯上是如何實現的。
評分一本讓我沉浸其中，久久不能自拔的書。作者以其卓越的洞察力，將數理邏輯的嚴謹性與形而上學的深邃性完美結閤。我尤其喜歡書中關於“真理”的討論。作者並沒有僅僅停留在日常語言中對“真”的理解，而是藉助數理邏輯中的真值函數、命題演算和一階邏輯，對“真理”進行瞭更為嚴格的定義和分析。他探討瞭不同類型的真理，例如邏輯真理和經驗真理，以及它們之間的區彆與聯係。這讓我開始思考，我們是如何判斷一個命題為真的，以及在不同的邏輯體係下，“真”的概念是否會發生變化。更令我著迷的是，作者在探討“可能世界”時，如何運用邏輯學中的模態算子來描述不同世界的可能性和必然性。這使得我們能夠以一種更為係統和精確的方式來理解那些關於“可能性”和“必然性”的哲學命題。例如，我們如何區分“我今天可能會下雨”和“水是H2O”這兩種不同程度的必然性？通過數理邏輯的語言，這些問題似乎有瞭更為清晰的解答。這本書不僅僅是在傳授知識，更是在引導讀者進行一種全新的哲學思考方式。
評分這絕對是一本讓我耳目一新的著作。我一直對形而上學中的那些宏大議題抱有興趣，但常常覺得它們過於飄渺，缺乏堅實的論證基礎。而這本書，它就像一座燈塔，照亮瞭我對這些問題的探索之路。作者以數理邏輯為劍，以形而上學的深邃為靶，進行瞭一場場精彩絕倫的“思想搏擊”。書中對“同一性”的分析，通過同一律、同一性原理以及數理邏輯中的等詞（equality）和標識符（identifier）的概念，將一個看似簡單卻又無比復雜的問題解剖得淋灕盡緻。讀到這裏，我聯想到瞭古希臘哲學傢關於“忒修斯之船”的著名思想實驗，而作者運用數理邏輯的分析，使得這種抽象的睏境有瞭具體的、可以操作的理解框架。它讓我們看到，我們在日常生活中對“同一”的判斷，背後隱藏著多麼復雜的邏輯結構。更讓我驚喜的是，作者在討論“因果性”時，引入瞭模態邏輯中的條件句和邏輯蘊涵，從而對“如果A發生，那麼B就發生”這種因果判斷進行瞭更為精密的刻畫。這讓我意識到，我們對因果關係的理解，可以超越簡單的“先發生後發生”，而上升到一種邏輯必然性的層麵。這種深入的哲學分析，結閤瞭數理邏輯的強大工具，讓原本難以捉摸的概念變得清晰而有力。我特彆欣賞作者在處理一些經典哲學難題時所展現齣的那種細緻入微、步步為營的風格，仿佛一位經驗豐富的偵探，在搜集證據，推理真相。
評分商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！商品不錯！
評分相當專業
評分很滿意這次購物
評分入門有點難，需要靜下心來看，書的質量不錯。
評分寫得太繁瑣瞭，滿書的公式，差評
評分不錯的書，快遞也很快，不錯的一次購物
評分很滿意這次購物
評分邏輯與形而上學教科書係列第三本，其實是作者博士論文的改寫，基本思想沒有超齣博士論文，不過還是可以看看。
評分物流不錯，書也很好，贊個~
相關圖書
![實用翻譯教程（第三版） [Translation a Practical Course] pdf epub mobi 電子書 下載](https://pic.qciss.net/12022626/57bea10fNfa8defe9.jpg)
![項目經理實戰手冊 [Project Manager Practical Manual] pdf epub mobi 電子書 下載](https://pic.qciss.net/12240954/5a2154e5N32ce5b5e.jpg)
![[正版二手] 南京大學 物理化學 傅獻彩 第五版第5版 上下冊 一套2本 pdf epub mobi 電子書 下載](https://pic.qciss.net/25594096959/5a8d87cbNe1c651a1.jpg)
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.cndgn.com All Rights Reserved. 新城书站 版權所有