語義範疇

語義範疇是美國塔爾斯基語義理論中的基本概念。形式語言中表達式的等價類。所謂兩個語言表達式屬於同一語義範疇，指的是(1)存在一個句子函項，包含兩個語言表達式之一；(2)所有含兩個表達式之一的句子函項，如果用另一表達式替換它後仍為句子函項。

對作為句子函項的一部分的語言表達式劃分成互相排斥的類，其標準是這樣的：兩個表達式是同類的，若且唯若，它們屬於同一語義範疇。由於可以證明：屬於同一語義範疇是一種二元關係，且滿足白返、對稱、傳遞性。也就是說，屬於同一語義範疇是一種等價關係。