时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法，各种时态命题的真值都可以定义。如，过去时命题的真值可定义为：过去时命题Pp相对于一个时间点t来说是真的，当且仅当，p相对于一个在t以前的时间点来说是真的。如“中国曾进行‘文化大革命’”这一命题，相对于一个时间点t(假定1988年)来说为真，当且仅当，“中国进行‘文化大革命’”对于一个在t之前的一个时间点(如1968年)来说是真的。
模态逻辑(语言)：研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为..
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..
内涵同构(语言)：表达式之间的一种内涵关系。两个表达式是内涵同构的，(即内涵具有相同结构)，当且仅当，它们是由对应的具有相同内涵的成分表达式，按同一方式建立起来的。如：“2 5”和“Ⅱ加V”，这两个表达式是内涵同构的。因为..
信念句(语言)：包含“相信”、“似相信”等信念词的复合句。如：“达尔文相信物种是进化的。”如以B为信念词，a为相念主体，p为信念子句，则信念句的一般形式可记为：Bap，读作a相信p。由于一个命题是否被相信与这个命题事实上的真..
外延论题(语言)：复合句中部分表达式的置换原理。一个语句或命题，当它包含的一个表达式，由另一个具有同样指称而不同涵义的表达式替换时，其真值不变。如，在⑴“鲁迅是中国人”中用“《阿Q正传》的作者”去替换“鲁迅”，得到..