蒯因著作集（第1卷） 豆 8.7分

资源最后更新于 2020-08-19 15:49:51

作者：蒯因 (W. V. Quine)

译者：涂纪亮

出版社：中国人民大学出版社

出版日期：2007-01

ISBN：9787300077864

文件格式： pdf

标签： 分析哲学 蒯因 哲学 逻辑学 数理逻辑 Quine 数学 W.V.Quine

简介· · · · · ·

内容提要

本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统，结构简明、特性奇异。

目录

威拉德·范·奥曼·蒯因自传

数理逻辑

导言

第一章 句子

1 合取、析取和否定

2 条件句

3 多重复合

4 使用和谈论

5 谈论句子的句子

6 准引语

7 括号与黑点

8 归约为三个初始联结词

9 归约为一个初始联结词

10 重言式

11 某些重言的形式

第二章 量化

12 量词

13 公式

14 约束、自由、闭包

15 量化的公理

16 定理

17 ...