圖書標籤: 分析哲學 蒯因 哲學 邏輯學 數理邏輯 Quine 數學 W.V.Quine
发表于2024-12-22
蒯因著作集(第1捲) pdf epub mobi txt 電子書 下載 2024
內容提要
本捲包括兩部論著:《威拉德·範·奧曼·蒯因自傳》(1986)和《數理邏輯》(1940)。前者是蒯因為“在世哲學傢文庫”《蒯因哲學》捲所寫的簡明自傳;後者是蒯因的一部重要的邏輯著作,在其中,他仍然堅持邏輯主義綱領,試圖從邏輯中推導齣數學,把先前在《數理邏輯的新基礎》(1937)一文中提齣的NF係統,修改為ML係統,這是一個把命題邏輯、量化理論和集閤論集為一身的係統,結構簡明、特性奇異。
目錄
威拉德·範·奧曼·蒯因自傳
數理邏輯
導言
第一章 句子
1 閤取、析取和否定
2 條件句
3 多重復閤
4 使用和談論
5 談論句子的句子
6 準引語
7 括號與黑點
8 歸約為三個初始聯結詞
9 歸約為一個初始聯結詞
10 重言式
11 某些重言的形式
第二章 量化
12 量詞
13 公式
14 約束、自由、閉包
15 量化的公理
16 定理
17 元定理
18 等值代換
19 存在量詞
20 量詞的分配
21 字母變體
第三章 項
22 類和分子
23 邏輯公式
24 抽離
25 等同
26 再論抽離
27 摹狀詞和名字
第四章 關於類的進一步理論
28 層次
29 更進一步的從屬關係公理
30 等同可代入性
31 變元的代入
32 進一步的結果
33 邏輯積、和、補
34 包含
35 單類
第五章 關係
36 對和關係
37 關係的抽離
38 逆、象、關係積
39 祖先
40 函數
41 函數的抽離
42 作為關係的等同和從屬
第六章 數
43 零、一、後繼
44 自然數
45 可數集閤
46 有窮的和無窮的
47 關係的冪
48 算術和、積、冪
……
第七章 句法
附錄
參考文獻
人名索引
主題詞索引
老實說我沒讀懂
評分看瞭個自傳
評分價格略貴。
評分復興形而上學
評分老實說我沒讀懂
“membership”翻译为“成员(关系)”或较“成员资格”为佳 p16“空抽象”或应改为“空洞的抽象”(vacuous abstraction) p17“虚拟类”或应与p30(第九节)“类和关系的实质理论”(virtual:拟真、模拟)统一,p42“我利用了类和关系的虚拟理论(参见上面第九节)····...
評分“membership”翻译为“成员(关系)”或较“成员资格”为佳 p16“空抽象”或应改为“空洞的抽象”(vacuous abstraction) p17“虚拟类”或应与p30(第九节)“类和关系的实质理论”(virtual:拟真、模拟)统一,p42“我利用了类和关系的虚拟理论(参见上面第九节)····...
評分“membership”翻译为“成员(关系)”或较“成员资格”为佳 p16“空抽象”或应改为“空洞的抽象”(vacuous abstraction) p17“虚拟类”或应与p30(第九节)“类和关系的实质理论”(virtual:拟真、模拟)统一,p42“我利用了类和关系的虚拟理论(参见上面第九节)····...
評分“membership”翻译为“成员(关系)”或较“成员资格”为佳 p16“空抽象”或应改为“空洞的抽象”(vacuous abstraction) p17“虚拟类”或应与p30(第九节)“类和关系的实质理论”(virtual:拟真、模拟)统一,p42“我利用了类和关系的虚拟理论(参见上面第九节)····...
評分“membership”翻译为“成员(关系)”或较“成员资格”为佳 p16“空抽象”或应改为“空洞的抽象”(vacuous abstraction) p17“虚拟类”或应与p30(第九节)“类和关系的实质理论”(virtual:拟真、模拟)统一,p42“我利用了类和关系的虚拟理论(参见上面第九节)····...
蒯因著作集(第1捲) pdf epub mobi txt 電子書 下載 2024