蒯因著作集

集合论及其逻辑（修订版） 引言 第一篇 基本原理 第一章 逻辑 第二章 真实类 第三章 类的类 第四章 自然数 第五章 迭代与算术 第二篇 较高形式的数 第六章 实数 第七章 次序与序数 第八章 超穷递归 第九章 基数 第十章 选择公理 第三篇 公理系统

集合论及其逻辑（修订版） 引言 第一篇 基本原理 第一章 逻辑 第二章 真实类 第三章 类的类 第四章 自然数 第五章 迭代与算术 第二篇 较高形式的数 第六章 实数 第七章 次序与序数 第八章 超穷递归 第九章 基数 第十章 选择公理 第三篇 公理系统 第十一章 罗素的类型论 第十二章 一般变元与策梅洛 第十三章 分层与终极类 第十四章 冯·诺伊曼的系统及其他 五个公理系统一览 编号公式表 参考文献 索引逻辑哲学（第2版） 第一章 真义与真假 第二章 语法 第三章 真假 第四章 逻辑真理 第五章 逻辑领域 第六章 异常逻辑 第七章 逻辑真理的根基 选修读物 索引

本卷包括两部论著：《集合论及其逻辑》（1963）和《逻辑哲学》（1970）。前者是一部关于抽象集合论及其各种公理方法系统化的导引性著作。作者从一种对无穷类的存在无所示意的形式系统开始，在需要假定无穷类时，他容许这些假定只作为特别定理的明说的假设。在带有总结性的最后几章中，他描述了罗素的类型论、策梅洛系统、冯·诺尹曼系统和他本人的两个系统，以及当时的某些发展，还探索了这些系统之间的逻辑联系。在后者中，作者把逻辑说成是真与文法这两个因素的合成物，但是他反对把逻辑真视为因文法或语言而真。他提供了一种一般的文法理论，讨论了逻辑的疆界和可能的扩育，论证了逻辑并不仅仅是言辞的事情。

本卷包括两部论著：《集合论及其逻辑》（1963）和《逻辑哲学》（1970）。前者是一部关于抽象集合论及其各种公理方法系统化的导引性著作。作者从一种对无穷类的存在无所示意的形式系统开始，在需要假定无穷类时，他容许这些假定只作为特别定理的明说的假设。在带有总结性的最后几章中，他描述了罗素的类型论、策梅洛系统、冯·诺尹曼系统和他本人的两个系统，以及当时的某些发展，还探索了这些系统之间的逻辑联系。在后者中，作者把逻辑说成是真与文法这两个因素的合成物，但是他反对把逻辑真视为因文法或语言而真。他提供了一种一般的文法理论，讨论了逻辑的疆界和可能的扩育，论证了逻辑并不仅仅是言辞的事情。