| 形式语言的分类 classification of formal languages 塔尔斯基语义理论中关于对形式语言的分类。认为一个完整逻辑系统的语言，将实际地或潜在地包含可能出现在演绎科学语言中的一切语义范畴。这恰好给提及的语言赋予某种“普遍的”特性。在各种不完整的逻辑系统中，语义范畴的复杂性可以受到它们的数量和阶的限制。据此，他把形式语言分为四类：(1)所有变元属于同一个语义范畴的语言。(2)含有变元的语义范畴的数目大于1但有限的语言。(3)变元属于无限多不同的语义范畴，但是，这些变元的阶(即这些变元所属语义范畴的阶)，并不超过预先给定的自然数的语言。(4)含有任意高阶变元的语言。前三类统称有限阶语言;第4类称为无限阶语言。有限阶语言中，还可以根据其中出现的变元的最高阶，再划分为第1阶、第2阶……等语言。塔尔斯基提出的“针对一个给定的语言，建立一个实质上适当的和形式上正确的关于‘真句子’这个词定义”。在有限阶语言中能够实施，在无限阶语言中不能实施。 |