统(张清宇)doc - 社科网.pdfVIP

一阶逻辑的一个表列系统 张清宇 (中国社会科学院哲学所， 北京 100732) 摘要： 本文把系统Z的括号记法推广到一阶情形，建立了一阶逻辑的一个表列系统。 关键词： 括号记法；一阶逻辑；表列系统 中图分类号：B81文献标识码：A 在本文中，我们的形式对象语言 L 是一个任意固定的一阶语言。我们的论述将从它的 初始符号开始。 1 初始符号 一阶语言L 的初始符号划分成下述四类: （1）可数无穷多个 （个体）变项： v ，v ，v ，…，v ，…； 1 2 3 n 这里所表明的次序叫做它们的字母表顺序。 （2）对各个自然数 n，有一组 n元函项符。这些组相互不相交，而且有些组或所有组 还可以是空的。0元函项符叫做 （个体）常项。 （3）对各个正自然数n，有一组n元谓词符。这些组互不相交，但至少有一组不空。 （4）逗号、分号和左右方括号： ， ； [ 。 ] 可以指定一个具体的二元谓词符为等号；在此情形下，L也将被称为带等词的语言。 我们规定，当L至少有一个并非常项的函项符时，L一定是带等词的语言。函项符和谓词符 统称外逻辑符 （extraLogicaL symboLs ），等号和其它初始符统称逻辑符。 等号 “＝”和变项符等应看作句法常项 （syntactic constant ），属于元语言。“＝”不应 被看作L中的等号，而是表示L中的等号的句法常项。同样，“v”是表示L的第一个变项 1 （按字母表次序来看）的句法常项。初始符号也许根本就没有什么书写形式。 注意 “＝”和 “=”之间的区别，前者是元语言中等号的名字，而后者则对象语言中的 等号，当然二者都在元语言中。 两个不同的一阶语言在逻辑符方面的差异是非本质的，因而假定所有一阶语言都拥有同 样的逻辑符将不失一般性。对于带等词的语言，不妨假定它们都拥有同样的等号。 2 符 符就是由初始符号组成的有穷序列。对我们有意义的有两类符：项和公式 （简称式）。 项是根据下述两个规则构造起来的符： 1 （1）（个体）变项都是项； （2）若是n元函项符并且t，t，…，t都是项，则符tt…t亦是项。 1 2 n 1 2 n 在项tt…t中，t、t、…、t依次被称为它的第一个变目、第二个变目、…、第 n个变 1 2 n 1 2 n 目。当n=0时，规则 （2）表明 （个体）常项亦都是项。 项t的复杂度degt是指t中出现的函项符的总数。 公式是根据下述两个规则构造起来的符： （1）若P是n元谓词符并且t，t，…，t都是项，则符Ptt…t是公式；这样的公 1 2 n 1 2 n 式被称为原子公式 （简称原子式）；当P是等号= 时，原子公式= tt也叫作等式，可按通常 1 2 方式记为t= t，t为它的左侧，t为它的右侧； 1 2 1 2 （2）若x，x，…，x 是任意m个不相同的 （个体）变项并且 ， ，…， 是任意 0 1 m-1 0 1 n-1 n个公式，则符[x，x，…，x ； ， ，…， ]亦是公式；这样的公式叫作特称析舍式 0