A-对象在一阶逻辑中的引入及其语义.docVIP

A-对象在一阶逻辑中的引入及其语义 哲学系逻辑学04硕 臧勇一、问题的产生 集合论中，我们熟悉的一个定理是“所有良序集都同构于一个唯一的序数”，我们进行论证，通常是采取这种方式“任取一个良序集，按如下方式构造一个与其同构的序数……”，然后经过一系列的步骤，完成这个论证。 再例如下面这个常见的例子。设想在欧氏几何中我们要证明“所有的三角形其内角和都是180度”，我们会按如下步骤进行：设ABC是一个三角形，然后画出辅助线，并依据平行线公理，证得ABC内角和是180度，然后得出结论“所有三角形其内角和都是180度”。 一般的，在数学论证中，面对一个全称命题，我们经常会采用这种方式展开：要证对所有对象P成立，任取一个对象a，然后经过一段论证，得到Pa，则得出结论对所有对象成立。 这里自然会引发出一系列的问题，比如：这里的ABC是什么？[是否]是某个三角形的专名（proper name）？还是三角形这个类的通名？直观上看来，这个ABC指某个三角形，但又不指一个特定的、带有特殊性质的三角形——这里涉及的是一个“任意的”三角形，否则我们无法从它做出全称概括。那么，这样的任意三角形是什么？它属于三角形的类吗？一般而言，一个与某个类相关的任意对象是什么？ 在对这些问题展开讨论以前，先介绍一个带有A-对象（arbitrary objects）的一阶逻辑系统，以求对问题有进一步的了解