直觉主义集合论的主要特征-学术交流.PDFVIP

　 　 ２０１７年８ 月　 　 　 　 　 　 　 　 　 学　 术　 交　 流　 　 　 　 　 　 　 　 　 　 　 Ａｕｇ．，２０１７ 总第２８１期　 第８期　 　 　 　 　 　 　 　 Ａｃａｄｅｍｉｃ Ｅｘｃｈａｎｇｅ　 　 　 　 　 　 　 　 　 　 Ｓｅｒｉａｌ Ｎｏ．２８１　 Ｎｏ．８ 　 外国哲学研究 直觉主义集合论的主要特征 韦雷雷 （南开大学 哲学院，天津 ３００３５０） ［摘　 要］直觉主义集合论建立在直觉主义而不是经典逻辑之上，因此表现了一种基于直觉主 义逻辑的、在其中编码和研究数学的自然环境。 作为直觉主义集合论中的典型代表，直觉主义策 － － 梅洛 弗兰克尔集合论是建立在直觉主义逻辑上的策梅洛 弗兰克尔形式的公理化集合论，它基于 仅以二元谓词符号“属于”作为其非逻辑符号的一阶语言，在带等词加上二元谓词符号“属于”的 直觉主义一阶逻辑基础上公式化。 因为对于直觉主义逻辑的承诺和对经典传统的背离，直觉主义 集合论在集合论的性质、公理准则的选取和公理系统的建构上有其独特性。 而为了更加深入精确 地研究直觉主义集合论，需要用到大量的证明论和语义学技术。 － ［关键词］直觉主义集合论；策梅洛 弗兰克尔；ＩＺＦ；公理；证明论；语义学 － － － ［中图分类号］Ｂ８１５．９　 ［文献标志码］Ａ　 ［文章编号］１０００ ８２８４（２０１７）０８ ００６１ ０８ － 直觉主义策梅洛 弗兰克尔集合论（记作ＩＺＦ。 以下皆称ＩＺＦ）是建立在直觉主义（ｉｎｔｕｉｔｉｏｎｉｓｍ）逻辑 － － 上的策梅洛 弗兰克尔（Ｚｅｒｍｅｌｏ Ｆｒａｅｎｋｅｌ，二人提出的著名的“ＺＦ真理系统”通称ＺＦ）形式的公理化集 合论。 ＩＺＦ提出于２０世纪７０ 年代，它代表了一种在直觉主义逻辑的基础上对数学编码的形式背景。 － 它在策梅洛 弗兰克尔集合论的标准一阶语言的基础上公式化，没有直接使用固有的建构主义观念。 在直觉主义ＺＦ 的工作中，我们可在一定程度上依赖于我们对ＺＦ及其启发的熟悉。 虽然与经典主义集合论相似，但是被定义为“直觉主义的集合论”的概念大大地区别于经典传统的 概念。 用于它们之间并且获得相应元数学结果的技术也由于它们对于直觉主义逻辑的承诺而背离了经 典传统。 实际上，正如在直觉主义的设置中所常见的，大量语义的和证明论的方法可以用于直觉主义集 合论的研究。 　 　 一、直觉主义集合论的实质 ＩＺＦ是基于直觉主义而不是基于经典逻辑的，因此表现了一种基于直觉主义逻辑的、在其中编码和 研究数学的自然环境。 直觉主义ＺＦ与经典ＺＦ集合论基于同样的仅以二元谓词符号“属于”（∈）作为 其非逻辑符号的一阶语言。 即是说，它是在带等词（ｅｑｕａｌｉｔｙ）加上二元谓词符号“∈”的直觉主义一阶逻 辑基础上公式化的。 因此，我们可以利用集合论语言的朴素性和我们对它的熟悉。 直觉主义ＺＦ是与 经典传统相容的，在这个意义上它们的所有定理都是“经典真”的。 实际上，我们需要研究的ＩＺＦ，它通 － － ［收稿日期］２０１７ ０５ １０ － ［作者简介］韦雷雷（１９８７ ），男，山东东营人，博士研究生，从事现代逻辑研究。 ·６１· 过排中律的简单添加产生了全经典ＺＦ（ｆｕｌｌ ｃｌａｓｓｉｃａｌ ＺＦ）。 （一）公理化自由度 － 经典策梅洛 弗兰克尔集合论是基于带等词的经典一阶谓词逻辑的。 此外，逻辑准则是公理和描 述设置理论编码的概念的格（ｓｃｈｅｍａｔａ）。 这些准则可分为三种。 第一种，使我们能够由给定的集合构 成新的集合的准则。 例