书籍介绍
内容提要
本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（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 算术和、积、幂
……
第七章 句法
附录
参考文献
人名索引
主题词索引
用户评论
老实说我没读懂
复兴形而上学
读了1年了，依然没看完，晦涩难读，不看了。
我还是觉得奎因写的最好的是信念之网，真之追求，从刺激到科学......太....包罗万象而且洞察力十足了。
看了个自传
奎因解释一个人的本体论的承诺怎样用语言来明晰地表达出来。他的解释是：所需要的是典型的符号，它是清楚、准确和不含糊的。这样一种符号就是具有同一性的一级谓词演算。典型的符号有二个目的。第一个是：它能简化理论。它使一个人能多次重复少量的结构，而其效果与较少次数地重复大量结构相同。使用大量结构允许使用心理上较简单的结构，但不是理论上较简单的结构；而这正是所需要的。典型的符号的第二个目的是清晰。 在典型的符号里不得有含糊或模棱两可的实体。一切意义都应是明白无误的。 奎因的哲学解释的概念本身是重要的，与其他传统的分析概念相比，它在历史上也是重要的。哲学解释的目的并不是将人们在使用有问题的概念时所隐蔽的或含蓄的意思揭发或明确起来；它也不是要成为有问题的概念的同义词。
看不进去教材来看这个，蒯因说话更清楚、事无巨细，还有幽默感，就是读到量化定理证明的地方，数理逻辑由考试改成论文结课了…
哪都去过+精力无穷
读了自传
Z-Library