含有模态词的命题。狭义指包含“必然”、“可能”这类真值模态词的模态命题，称真值模态命题。如以□或L表示必然模态算子，以◇或M表示可能模态算子，那么真值模态命题的基本形式有：□p或Lp(p是必然的)、□p或Lp(p不是必然的)、◇p或Mp(p是可能的)、◇p或Mp(p不是可能的)。除真值模态命题以外，还有包含“应当”、“允许”、“禁止”、“相信”、“知道”、“曾是”、“将是”等模态词的广义模态命题，如道义命题(必须p、允许p、禁止p等)、信念命题(相信p等)、知道命题(知道p等)和时态命题(曾是p、将是p等)。
视听法(语言)：源于直接法的一种第二语言教学方法。其特点是：⑴先教听说后教读写。⑵教室里不使用母语。⑶用配有系列录象的录音对话来显示语言项目。⑷用操练法教基本语法和词汇。视听法于二十世纪五十年代在法国兴起，其..
外延(语言)：①同“内涵”相对。概念的基本逻辑特征之一。具有概念所反映的特有属性的那些对象。是概念的量的方面，指概念所反映的对象范围。如：“太阳系的行星”的外延是水星、金星、地球、火星、木星、上星、天王星、海..
名称的提及(语言)：也称“自名用法”。逻辑语义学用语。名称是它所命名的对象的语言表达式。当用名称表示、指称语言表达式之外的事物时，称为名称的使用。当用名称表示、指称语言表达式本身时，称为名称的提及。为了区别这..
模态逻辑(语言)：研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为..
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..