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