涵义(语言)

涵义(语言):

同“指称”相对。内涵逻辑的基本概念。表达式的指称是表达式的所指对象,表达式的涵义是表达式所表达(意谓)的东西。如:设a、b、c分别为三角形ABC的中线,那么a与b的交点和b与c的交点是重合的。“a与b的交点”与“b与c的交点”指称相同,但它们的涵义不同。对此,通常这样证明:有语句,⑴“a与b的交点是a与b的交点”,⑵“a与b的交点是b与c的交点”。其中,⑴是分析命题,未提供认识信念;⑵是综合命题,是人们经验的总结。⑵所以能比⑴提供更多的知识,就在于表达式除了有其指称之外,还有其涵义,“a与b的交点”有不同于“b与c的交点”的涵义。

为您推荐

模糊逻辑(语言)

模糊逻辑(语言):也译作“弗晰逻辑”。通常指用数理逻辑和模糊集理论及方法研究模糊性对象的逻辑形式及其规律的多值逻辑。它用模糊集表示模糊概念,用单位区间[o,l]中的元或用模糊集合作为含有非确定性概念的模糊命题的真值..

模态命题(语言)

模态命题(语言):含有模态词的命题。狭义指包含“必然”、“可能”这类真值模态词的模态命题,称真值模态命题。如以□或L表示必然模态算子,以◇或M表示可能模态算子,那么真值模态命题的基本形式有:□p或Lp(p是必然的)、□p..

视听法(语言)

视听法(语言):源于直接法的一种第二语言教学方法。其特点是:⑴先教听说后教读写。⑵教室里不使用母语。⑶用配有系列录象的录音对话来显示语言项目。⑷用操练法教基本语法和词汇。视听法于二十世纪五十年代在法国兴起,其..

外延(语言)

名称的提及(语言)

名称的提及(语言):也称“自名用法”。逻辑语义学用语。名称是它所命名的对象的语言表达式。当用名称表示、指称语言表达式之外的事物时,称为名称的使用。当用名称表示、指称语言表达式本身时,称为名称的提及。为了区别这..

时态命题的真值(语言)

时态命题的真值(语言):时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关,因而时态命题的真值,通常是以不带时态算子的原子命题在其他时间点为真作为参考点来确定的。根据这种方法,各种时态命题的真值都可以..

模态逻辑(语言)

模态逻辑(语言):研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题,以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑,它们的形式化的公理系统,分别称为..