複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/語義類型/8143766
複製
複製成功

語義類型

鎖定
語義類型(semantic type)指的是按語義關係劃分的語言表達式的類。語義類型和語法範疇是有一一對應的關係。而且出於對語言表達式的意義可作外延的意義和內涵的意義兩種分析，故語義類型也可分為語義的外延類型和語義的內涵類型。簡稱外延類型和內涵類型。語義類型與語法範疇相應，每種語義類型都可分為基本類型和導出類型。 [1] 
中文名
語義類型
外文名
semantic type
與基本語法範疇名稱N和語句S相對應的外延類型，分別用（e），（t）表示。e表示實體，是名稱的外延。t表示真值，是語句的外延。名稱的內涵是個體概念，即從可能世界到實體的函項，用內涵類型（s，e）表示：語句的內涵是命題，即從可能世界到真值的函項。用內涵類型（s，t）表示。根據相應的構成規則，可以構造導出的語義類型。
參考資料
  • 1.    金炳華．哲學大辭典：上海辭書出版社，2007