| 语义类型 semantic type 按语义关系划分的语言表达式的类。和语法范畴有一一对应关系。由于对语言表达式的意义可作外延的意义和内涵的意义两种分析，故语义类型也可分为语义的外延类型和语义的内涵类型。简称外延类型和内涵类型。与语法范畴相应，每种语义类型都可分为基本类型和导出类型。与基本语法范畴名称N和语句S相对应的外延类型，分别用〈e〉，〈t〉表示，e表示实体，是名称的外延。t表示真值，是语句的外延。名称的内涵是个体概念，即从可能世界到实体的函项，用内涵类型〈s，e〉表示;语句的内涵是命题，即从可能世界到真值的函项，用内涵类型〈s，t〉表示。根据相应的构成规则，可以构造导出的语义类型。 |