形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。为什么需要形式语义研究：帮助理解语言；支持语言标准化；指导语言设计；帮助编写编译器和语言系统；支持程序验证和软件可靠性；有助于软件规范化。