| 语义范畴 semantic category 塔尔斯基语义理论中的基本概念。形式语言中表达式的等价类。所谓两个语言表达式属于同一语义范畴，指的是(1)存在一个句子函项，包含两个语言表达式之一;(2)所有含两个表达式之一的句子函项，如果用另一表达式替换它后仍为句子函项。对作为句子函项的一部分的语言表达式划分成互相排斥的类，其标准是这样的：两个表达式是同类的，当且仅当，它们属于同一语义范畴。由于可以证明：属于同一语义范畴是一种二元关系，且满足自返、对称、传递性。也就是说，属于同一语义范畴是一种等价关系。由于具有等价关系的语言表达式属于等价类，因此，两个语言表达式属于同一语义范畴，实际上就是指它们属于同一等价类。通常称这样划分出的等价类为语义范畴。不同的等价类相应于不同的语义范畴。 |