形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
... Template:Formal languages and grammars Template形式语言与形式文法 Formal semantics of programming languages 形式语义学 ..
基于1个网页-相关网页
... 数理逻辑 Mathematical Logic 形式语义学 Morphological Semantics 语言素质研究 Studies on Language Competence ...
基于1个网页-相关网页
The most great distinction between DRT and traditional formal semantics is that the former disposes setences staticlly while the latter does dynamically .
它与传统形式语义学最大的不同就是:后者对句子的分析是静态的,而话语表现理论对句子的分析则是动态的。
参考来源 - 试论话语表现理论与动态谓词逻辑Semantics esp. formal semantics and general semantics have also shown their interests in modality.
语义学，尤其是形式语义学和普通语义学也对情态产生了浓厚的兴趣。
参考来源 - 英语中的情态：系统功能视角·2,447,543篇论文数据，部分数据来源于NoteExpress
PT Q系统更进一步，大量的接触内涵现象，是形式语义学重要的组成部分。
PTQ system goes further and contacts a large amount of intension phenomena, it is the part of the form with important semantics.
阐述了形式语义学关于“语法”、“句法和语义”，以及“语词和语句”等概念。
This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics.
文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。
The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
应用推荐