自然语言逻辑的分支学科。研究含有时态词的命题及其推理的逻辑。是现代逻辑和自然语言相结合的产物。它研究的主要内容是时态命题的特征、时态命题的类型、时态命题的真值、时态命题间的关系及其推理等。运用时态逻辑，有助于精确刻画自然语言中一些时态语句的语义。如“所有人都曾经是小孩”，可以作两种时态刻画：⑴所有人都曾有一个时候是小孩，记作(x)PA(x)；⑵有一个时候，所有人都是小孩，记作p((x)A(x))。作这样处理后，很容易看出⑴是真的、⑵是假的。
格列林—纳尔逊悖论(语言)：语义悖论之一。1908年由格列林与纳尔逊(L．Nelson)共同提出。其内容是：某一事物或某一属性p，如果它本身不属于该事物或不具有该属性，即p不p，则p称为它谓的，否则称为自谓的。把一切它谓的事物或属性..
模糊语言算子(语言)：也叫“模糊语言限制词”。加在语词上表示语义模糊化或模糊程度的算子。如H为语言算子，作为运算对象的中心词为，M为模糊语言的语义，则H对的模糊语义运算结果为M(H)。模糊语言算子的种类有：⑴集中化算子，..
句型操练(语言)：也叫“结构操练”、“替换操练”。在语言教学中为练习某种句子结构采用填充法和替换框架而进行的训练。这种训练要求学生根据类推的原理模仿一种结构或把一种结构变成另一种结构。句型操练一般由两部分..
厄勒克特拉悖论(语言)：逻辑史上最早的内涵悖论。由古希腊斯多葛学派提出。其基本内容是：厄勒克特拉有位哥哥奥列斯特回家了，尽管厄勒克特拉知道奥列斯特是她的哥哥，但是她并不认识在她面前的这个男人。于是可构成如下推理..