形式语义学是一门广泛的语言学理论,旨在研究语言的功能及其与现实的关系。语言学家仔细定义每一句话的真值条件,即句子必须是事实的情况,然后将句子转录成数学方程,形式语义学是一种广泛的语言理论,用于研究语言的功能及其...
形式语义学是一门广泛的语言学理论,旨在研究语言的功能及其与现实的关系。语言学家仔细定义每一句话的真值条件,即句子必须是事实的情况,然后将句子转录成数学方程,形式语义学是一种广泛的语言理论,用于研究语言的功能及其与现实的关系。形式语义学最早由美国哲学家和数学家理查德·蒙塔格在20世纪60年代提出,他的具体版本是蒙太古语法。从那时起,这一理论在许多方面得到了发展,包括20世纪70年代叶霍斯华·巴尔·希勒(Yehoshua Bar Hillel)首创的范畴语法和90年代玛丽·达尔林普(Mary Dalrymple)出版的《胶水语义学》(Glue semantics)。语义学是对单词和短语背后的意义的研究。另一种类型是,语篇表征理论是荷兰语言学家汉斯·坎普在1981年提出的。这种特殊的语言理论有时被称为形式语义学。话语表征理论试图分析整个话语或对话,而不是孤立的句子,形式语义学的所有分支都关注语言与现实之间的关系,换句话说,它们的目标是找到所说的和所存在的联系。单词被称为能指,而事物本身被称为指称,或者,在话语表征理论中,话语指涉,在“狗吠叫”这句话中,“狗”是一个能指,而实际的狗是一个话语指涉一个陈述可能有一个以上的真理条件,或者说是为真的要求。这些真理条件往往导致蕴涵,这是一个句子的真理要求另一个句子为真时所使用的术语。换句话说,在一个隐含的情况下,如果A句是真的,那么B句也必须是真的。为了确定一个陈述的真实性条件,语言学家必须寻找任何存在的量词。量词是一个词,它表示涉及多少事物,例如每一个,每一个,任何,在形式语义学中,最常用于分析语言的数学类型是lambda演算。单词可以被识别为不同的变量并放在一个等式中;在语篇表示理论中,这些方程被称为话语表征结构。虽然形式语义学主要是一种语言学理论,但它是一个多学科的领域。语言学家、哲学家、逻辑学家,数学家和程序员都参与其中,分析和创建编程语言,甚至研究人工智能,都可能涉及形式语义
-
发表于 2020-09-03 09:11
- 阅读 ( 1063 )
- 分类:社会民生