| 外延类型 extensional type 语义类型之一。以外延意义划分的语言表达式的类。和语法范畴有一一对应关系，因而也有基本外延类型和导出外延类型。由于名称的外延是实体e，语句的外延是真值t，因此，与基本语法范畴名称N，语句S相应的基本外延类型，我们分别用〈e〉、〈t〉表示。与构造导出语法范畴规则相仿，构造导出外延类型的规则是：如果C1，…，Cn是语法范畴，E1，…，En是与前者相应的外延类型，那么与导出语法范畴C1/C2，…，Cn相应的外延，就是从E2，…，En到E1的一个函项。由规则可知，这个过程是递归的。蒙太古语法还证明了：据此规则对语言表达式作的语法分析和语义(外延意义)分析，是同构的。并且遵循扩充了的弗雷格原理。 |