| 语义范畴的阶 order of semantic category 塔尔斯基语义理论中的概念。对语义范畴指派的自然数。他认为为区分语义范畴，可给它们以标号，即对每一范畴指派一个具体的自然数。这可以递归地加以确定：(1)个体的名称和个体变元指派自然数1。(2)所含变元最高为n阶，并且至少有一个变元恰为n阶的一切原函项的函子，属于n+1阶表达式，其中n为自然数。由此可知，所有属于同一给定的语义范畴的表达式，都有同样的阶，因此也把它称为那个范畴的阶。但范畴不能由阶确定。每一个大于1的自然数，可以是多个不同范畴的阶。例如：个体类的名称、个体之间的2项、3项、多项关系的名称都是2阶的。 |