中国社会科学院研究生院学报
中國社會科學院研究生院學報
중국사회과학원연구생원학보
Academic Journal Graduate School Chinese Academy of Social Sciences
2013年
4期
110~113
,共null页
形式语义 戴维森纲领 蒙太格语法 真值条件
形式語義 戴維森綱領 矇太格語法 真值條件
형식어의 대유삼강령 몽태격어법 진치조건
formal semantics; Davidsonian Program; Montague Grammar; truth conditions
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。蒙太格语法将自然语言的语义表征为模型论语义解释,由于后者具有可判定性,也就使得自然语言的逻辑语义关系具有了可计算性。
語義的形式化是自然語言語義計算的必要條件,其基礎是戴維森真值條件語義學和矇太格的模型論語義學。戴維森的目標是用真值條件來構建自然語言的語義理論,這種理論曾受到過很多質疑,但是在矇太格語法那裏,戴維森的設想得以部分地實現。矇太格語法將自然語言的語義錶徵為模型論語義解釋,由于後者具有可判定性,也就使得自然語言的邏輯語義關繫具有瞭可計算性。
어의적형식화시자연어언어의계산적필요조건,기기출시대유삼진치조건어의학화몽태격적모형론어의학。대유삼적목표시용진치조건래구건자연어언적어의이론,저충이론증수도과흔다질의,단시재몽태격어법나리,대유삼적설상득이부분지실현。몽태격어법장자연어언적어의표정위모형론어의해석,유우후자구유가판정성,야취사득자연어언적라집어의관계구유료가계산성。
Semantic Formalization of natural language (NL) which is a necessary step for the semantic computation of NL is based on Davidson's truth-conditional semantics and Montague's model-theoretic se- mantics. Davidson's aim is to construct a semantic theory for NL by means of truth conditions, which used to be doubted by many scholars. However, Davidsonian Program is partially realized in Montague Grammar with which the semantics of NL is represented as its model-theoretic interpretations. Since the model- theoretic interpretations are decidable, it is possible to compute the logic relations between the different sentences of NL.