蒯因著作集

蒯因著作集

涂纪亮, 陈波, 主编

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

年代:2006

定价:48.0

书籍简介:

本卷包括《蒯因自传》及《数理逻辑》。

书籍目录:

威拉德·范·奥曼·蒯因自传数理逻辑 导言 第一章 句子 1 合取、析取和否定 2 条件句 3 多重复合 4 使用和谈论 5 谈论句子的句子 6 准引语 7 括号与黑点 8 归约为三个初始联结词 9 归约为一个初始联结词 10 重言式 11 某些重言的形式

威拉德·范·奥曼·蒯因自传数理逻辑 导言 第一章 句子 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 算术和、积、幂 …… 第七章 句法 附录 参考文献 人名索引 主题词索引

内容摘要:

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

编辑推荐:


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

书籍规格:

书籍详细信息
书名蒯因著作集站内查询相似图书
9787300077864
如需购买下载《蒯因著作集》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国人民大学出版社
版次1版印次1
定价(元)48.0语种简体中文
尺寸26装帧平装
页数印数

书籍信息归属:

蒯因著作集是中国人民大学出版社于2007.出版的中图分类号为 B712.59-53 的主题关于 蒯因,W.V.O.-文集 的书籍。