塔斯基对于“真理”的定义及其意义(1)(4)
2016-03-02 01:00
导读：3.定义的构造 一个语言系统可以包括无穷多个语句，为了使“实质充分”的条件得以实现，就必须提供一个方法使得我们可以从简单的有限的语句构造出无
3.定义的构造
一个语言系统可以包括无穷多个语句，为了使“实质充分”的条件得以实现，就必须提供一个方法使得我们可以从简单的有限的语句构造出无穷多个语句。但塔斯基发现：从那些带量词的形式化语言的形式构造的角度看来，复合语句一般不是由简单语句（不包含自由变项的语句函项）复合而成，而是由简单的语句函项（其中包含自由变项）复合而成。[xiv]比如在塔斯基用来作为构造真理定义的一个具体例子的类演算（thecalculusofclasses）中，某一个复合语句如∩1(i1,1 ∩1∪2i2,1)（意思是“对于任何类a，a
