《蒯因著作集（第1卷）》

《蒯因著作集（第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 算术和、积、幂……第七章 句法附录参考文献人名索引主题词索引



https://5kep.top/s/VQrrg3bp