①同“内涵”相对。概念的基本逻辑特征之一。具有概念所反映的特有属性的那些对象。是概念的量的方面，指概念所反映的对象范围。如：“太阳系的行星”的外延是水星、金星、地球、火星、木星、上星、天王星、海王星、冥王星等。有些概念是反映对象之间的关系的，如“大于”等。它们的外延是由两个或两个以上对象按一定次序组成的，一般叫做有序n元组。就自然数而言，“大于”的外延，包括(2，1)，(3，2)这样一些二元组。②逻辑语义学概念。它不仅用于概念或词项，也用于语句。如称语句的外延是真值。
时态命题的真值(语言)：时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法，各种时态命题的真值都可以..
模态逻辑(语言)：研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为..
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..
时态命题(语言)：由时态语句表达的命题。简单时态命题的构成方式是：时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词，因此现在时算子(T)可省去。这样，时态命题的基本形式有四种：⑴过去时命题Pp，读作“情..
信念句(语言)：包含“相信”、“似相信”等信念词的复合句。如：“达尔文相信物种是进化的。”如以B为信念词，a为相念主体，p为信念子句，则信念句的一般形式可记为：Bap，读作a相信p。由于一个命题是否被相信与这个命题事实上的真..