外延语境
书籍:逻辑百科辞典
与内涵语境相对。在范畴语法中，名称的外延为e(即实体)，语句的外延为t(即真值)。任一派生类型的外延将是从一个类型的外延到另一类型的外延的函项。如不及物动词的外延是从名称的外延到语句的外延的函项，即〈e，t〉，及物动词的外延是从名称的外延到不及物动词的外延的函项，即〈e，〈e，t〉〉，副词的外延是从不及物动词的外延到不及物动词的外延的函项，即〈〈e，t〉，〈e，t〉〉，如此类推。至于表达式的内涵，则是从可能世界到外延的函项。名称的内涵=〈s，e〉，语句的内涵=〈s，t〉，不及物动词的内涵=〈s，〈e，t〉〉，及物动词的内涵=〈s，〈e，〈e，t〉〉〉，副词的内涵=〈s，〈〈e，t〉，〈e，t〉〉〉，如此等等。例如“小王在想象未婚妻”这样的语句，如果确有一个体e是小王的未婚妻，那么这句话提供的就是外延语境，它具有通常意义的外延和内涵。如下图：
如果小王还没有未婚妻，他所想象的仅仅是关于未婚妻的一些属性，那么上述语句所提供的就是内涵语境。