蒯因著作集(第1卷) 在线电子书 图书标签: 分析哲学 蒯因 哲学 逻辑学 数理逻辑 Quine 数学 W.V.Quine
发表于2024-11-21
蒯因著作集(第1卷) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
我还是觉得奎因写的最好的是信念之网,真之追求,从刺激到科学......太....包罗万象而且洞察力十足了。
评分价格略贵。
评分读了1年了,依然没看完,晦涩难读,不看了。
评分读过自传,作品部分还要细细品读
评分读过自传,作品部分还要细细品读
内容提要
本卷包括两部论著:《威拉德·范·奥曼·蒯因自传》(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 下载 txt下载 epub 下载 mobi 下载 2024