时态算子(语言)

时态算子(语言):

表示时态词的符号。基本的时态算子有三个:⑴P,代表过去时算子,读作:情况曾是;⑵T,代表现在时算子,读作:情况现在是;⑶F,代表将来时算子,读作:情况将是。其他一些时态逻辑的时态词可由它们通过恰当的定义给出形式的刻画。如“情况曾经总是”,记为P,可缩写为H,代表过去恒常算子;“情况将来总是”,记为F,可缩写为G,代表将来恒常算子。

为您推荐

对比语言学(语言)

对比语言学(语言):比较语言学分支之一。用对比分析的方法,揭示两种或更多的语言的相同点和不同时,以便更精确地描写某种语言的特点。在语言教学和翻译上有重要价值。“对比语言学”这个概念首先由美国语言学家G.L.Trager 1..

时态语句(语言)

时态语句(语言):表示时间上确定的或不确定的语句。时间上确定的语句的特点是,它所表达的命题的真值不依赖于说出它的时间。如“人总是要死的”,这个语句所表达的命题的真假同说出这句话的时间无关。时间上不确定的语句的..

干扰(语言)

干扰(语言):也叫“语言的消极转移”。把一种语言或方言的语言习惯带到另一种语言或方言中去造成的错误。常见的情况是当一个人在学习第二语言时,在发音、语法和词汇上常受到本族语的影响而产生干扰,如汉族人初学英语时,由..

应用语言学(语言)

时态逻辑(语言)

时态逻辑(语言):自然语言逻辑的分支学科。研究含有时态词的命题及其推理的逻辑。是现代逻辑和自然语言相结合的产物。它研究的主要内容是时态命题的特征、时态命题的类型、时态命题的真值、时态命题间的关系及其推理等..

替换框架(语言)①

替换框架(语言):语言教学中使用的表明短语或句子结构的一系列空格,这些空格中可以填充有共同性质的各种词语。如:..

格列林—纳尔逊悖论(语言)

格列林—纳尔逊悖论(语言):语义悖论之一。1908年由格列林与纳尔逊(L.Nelson)共同提出。其内容是:某一事物或某一属性p,如果它本身不属于该事物或不具有该属性,即p不p,则p称为它谓的,否则称为自谓的。把一切它谓的事物或属性..