形式语义学是什么

问题描述

精选答案

形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。

最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。

普通语义学家们把人类所处的世界分为实物世界和语言世界，并认为随着文化的发展，语言世界将不断扩大。在语言的海洋中，人人都需要有语义学修养，都应当接受语义学训练，掌握“外延法”，用以辨别词语有无确指的对象，是现代西方哲学中以日常语言的作用作为研究对象的一个哲学派别，形成于20世纪30年代的美国。