也称“自名用法”。逻辑语义学用语。名称是它所命名的对象的语言表达式。当用名称表示、指称语言表达式之外的事物时，称为名称的使用。当用名称表示、指称语言表达式本身时，称为名称的提及。为了区别这两种用法，当一个名称被提及时，一般要加引号。如：⑴上海是一个城市。⑵上海是两个字。⑶“上海”是一个城市。⑷“上海”是两个字。其中，⑴和⑵中的“上海”这个名称是被使用，⑶和⑷中的“上海”是被提及。由此很容易辨别，⑴和⑷是正确使用“上海”的真句子。而⑵和⑶是使用不当的假句子。
[圣经]基督的名称：《旧约》中称呼弥赛亚的名称有许多,如“以马内利”、“先知”、“主”、“牧人”等。《新约》中名称也不一,如“耶稣”、“以马内利”、“基督”、“大卫之子”、“上帝之子”、“道”、“人子”、“..
名称的提及(语言)：也称“自名用法”。逻辑语义学用语。名称是它所命名的对象的语言表达式。当用名称表示、指称语言表达式之外的事物时，称为名称的使用。当用名称表示、指称语言表达式本身时，称为名称的提及。为了区别这..
时态命题的真值(语言)：时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法，各种时态命题的真值都可以..
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..
内涵同构(语言)：表达式之间的一种内涵关系。两个表达式是内涵同构的，(即内涵具有相同结构)，当且仅当，它们是由对应的具有相同内涵的成分表达式，按同一方式建立起来的。如：“2 5”和“Ⅱ加V”，这两个表达式是内涵同构的。因为..