简介:古典命题逻辑的函数完备性定理是说,每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此,我们可以说古典命题逻辑就是真值函数的逻辑。但是,对于作为现代逻辑的主要研究对象的一阶逻辑,我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准,即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”,这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后,我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。