什么是形式语义学(What Formal Semantics)?

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

你可能感兴趣的文章

相关问题

0 条评论

请先 登录 后评论
admin
admin

0 篇文章

作家榜 »

  1. xiaonan123 189 文章
  2. 汤依妹儿 97 文章
  3. luogf229 46 文章
  4. jy02406749 45 文章
  5. 小凡 34 文章
  6. Daisy萌 32 文章
  7. 我的QQ3117863681 24 文章
  8. 华志健 23 文章

推荐文章

联系我们:uytrv@hotmail.com 问答工具