大拱桥--暨南大学学生门户 » 图书馆 » 其他 » 蒯因著作集
名称 蒯因著作集
索引号 B712.59/20076
分类号 B712.59
B712.59(其他)
B712.5(二十世纪哲学)
B712(美国哲学)
B7(美洲哲学)
B(哲学、宗教)
作者 奎因、涂纪亮、陈波、
出版社 北京 : 中国人民大学出版社, 2007
ISBN 978-7-300-07786-4
页数 6册 ; 23cm
价格 1
标签 分析哲学、蒯因、哲学、逻辑学、数理逻辑、quine、w.v.quine、数学、
简介
注解 本书第6卷末尾附有蒯因的全部论著目录 并列题名取自封面 责任者规范汉译姓: 奎因 有书目和索引 第1卷, 威拉德·范·奥曼·蒯因自传 / 涂纪亮译. 数理逻辑 / 孔红等译 ; 第2卷, 逻辑方法(第四版) / 余俊伟, 刘奋荣译. 本体论的相对性及其他论文 / 贾可春译 ; 第3卷, 集合论及其逻辑 / 宋文淦译. 逻辑哲学 / 宋文淦译 ; 第4卷, 从逻辑的观点看 / 陈启伟译. 语词和对象 / 陈启伟译. 指称之根 / 李国山译 ; 第5卷, 悖论的方式及其他论文(修订及扩充版) / 叶闯等译. 信念之网 / 翟玉章译 ; 第6卷, 理论和事物 / 涂纪亮译. 一些离奇的想法 / 涂纪亮译. 真之追求 / 王路译. 从刺激到科学 / 陈波, 夏国军译
书籍简介

内容提要
本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（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 算术和、积、幂
……
第七章 句法
附录
参考文献
人名索引
主题词索引