更新时间：2021-12-22 08:48
语义类型(semantic type)指的是按语义关系划分的语言表达式的类。语义类型和语法范畴是有一一对应的关系。而且出于对语言表达式的意义可作外延的意义和内涵的意义两种分析，故语义类型也可分为语义的外延类型和语义的内涵类型。简称外延类型和内涵类型。语义类型与语法范畴相应，每种语义类型都可分为基本类型和导出类型。
与基本语法范畴名称N和语句S相对应的外延类型，分别用（e），（t）表示。e表示实体，是名称的外延。t表示真值，是语句的外延。名称的内涵是个体概念，即从可能世界到实体的函项，用内涵类型（s，e）表示：语句的内涵是命题，即从可能世界到真值的函项。用内涵类型（s，t）表示。根据相应的构成规则，可以构造导出的语义类型。