• <noscript id="ecgc0"><kbd id="ecgc0"></kbd></noscript>
    <menu id="ecgc0"></menu>
  • <tt id="ecgc0"></tt>

    什么是形式語義學(What Formal Semantics)?

    形式語義學是一門廣泛的語言學理論,旨在研究語言的功能及其與現實的關系。語言學家仔細定義每一句話的真值條件,即句子必須是事實的情況,然后將句子轉錄成數學方程,形式語義學是一種廣泛的語言理論,用于研究語言的功能及其...
    形式語義學是一門廣泛的語言學理論,旨在研究語言的功能及其與現實的關系。語言學家仔細定義每一句話的真值條件,即句子必須是事實的情況,然后將句子轉錄成數學方程,形式語義學是一種廣泛的語言理論,用于研究語言的功能及其與現實的關系。形式語義學最早由美國哲學家和數學家理查德·蒙塔格在20世紀60年代提出,他的具體版本是蒙太古語法。從那時起,這一理論在許多方面得到了發展,包括20世紀70年代葉霍斯華·巴爾·希勒(Yehoshua Bar Hillel)首創的范疇語法和90年代瑪麗·達爾林普(Mary Dalrymple)出版的《膠水語義學》(Glue semantics)。語義學是對單詞和短語背后的意義的研究。另一種類型是,語篇表征理論是荷蘭語言學家漢斯·坎普在1981年提出的。這種特殊的語言理論有時被稱為形式語義學。話語表征理論試圖分析整個話語或對話,而不是孤立的句子,形式語義學的所有分支都關注語言與現實之間的關系,換句話說,它們的目標是找到所說的和所存在的聯系。單詞被稱為能指,而事物本身被稱為指稱,或者,在話語表征理論中,話語指涉,在“狗吠叫”這句話中,“狗”是一個能指,而實際的狗是一個話語指涉一個陳述可能有一個以上的真理條件,或者說是為真的要求。這些真理條件往往導致蘊涵,這是一個句子的真理要求另一個句子為真時所使用的術語。換句話說,在一個隱含的情況下,如果A句是真的,那么B句也必須是真的。為了確定一個陳述的真實性條件,語言學家必須尋找任何存在的量詞。量詞是一個詞,它表示涉及多少事物,例如每一個,每一個,任何,在形式語義學中,最常用于分析語言的數學類型是lambda演算。單詞可以被識別為不同的變量并放在一個等式中;在語篇表示理論中,這些方程被稱為話語表征結構。雖然形式語義學主要是一種語言學理論,但它是一個多學科的領域。語言學家、哲學家、邏輯學家,數學家和程序員都參與其中,分析和創建編程語言,甚至研究人工智能,都可能涉及形式語義
    • 發表于 2020-09-03 09:11
    • 閱讀 ( 936 )
    • 分類:社會民生

    你可能感興趣的文章

    相關問題

    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 問答工具
  • <noscript id="ecgc0"><kbd id="ecgc0"></kbd></noscript>
    <menu id="ecgc0"></menu>
  • <tt id="ecgc0"></tt>
    久久久久精品国产麻豆