也称“自名用法”。逻辑语义学用语。名称是它所命名的对象的语言表达式。当用名称表示、指称语言表达式之外的事物时，称为名称的使用。当用名称表示、指称语言表达式本身时，称为名称的提及。为了区别这两种用法，当一个名称被提及时，一般要加引号。如：⑴上海是一个城市。⑵上海是两个字。⑶“上海”是一个城市。⑷“上海”是两个字。其中，⑴和⑵中的“上海”这个名称是被使用，⑶和⑷中的“上海”是被提及。由此很容易辨别，⑴和⑷是正确使用“上海”的真句子。而⑵和⑶是使用不当的假句子。
时态命题的真值(语言)：时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法，各种时态命题的真值都可以..
模态逻辑(语言)：研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为..
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..
时态命题(语言)：由时态语句表达的命题。简单时态命题的构成方式是：时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词，因此现在时算子(T)可省去。这样，时态命题的基本形式有四种：⑴过去时命题Pp，读作“情..
信念句(语言)：包含“相信”、“似相信”等信念词的复合句。如：“达尔文相信物种是进化的。”如以B为信念词，a为相念主体，p为信念子句，则信念句的一般形式可记为：Bap，读作a相信p。由于一个命题是否被相信与这个命题事实上的真..