語義類型

語義類型(semantic type)指的是按語義關係劃分的語言表達式的類。語義類型和語法範疇是有一一對應的關係。而且出於對語言表達式的意義可作外延的意義和內涵的意義兩種分析，故語義類型也可分為語義的外延類型和語義的內涵類型。簡稱外延類型和內涵類型。語義類型與語法範疇相應，每種語義類型都可分為基本類型和導出類型。

與基本語法範疇名稱N和語句S相對應的外延類型，分別用（e），（t）表示。e表示實體，是名稱的外延。t表示真值，是語句的外延。名稱的內涵是個體概念，即從可能世界到實體的函項，用內涵類型（s，e）表示：語句的內涵是命題，即從可能世界到真值的函項。用內涵類型（s，t）表示。根據相應的構成規則，可以構造導出的語義類型。