语义范畴

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