形式化语言

---

一种添加了解释的演算(参见解释和模式)。

形式化语言的语法部分(逻辑语法)，或演算本身，乃是从纯形式的角度构成的(参见逻辑斯提的方法)。演算一加上语义规则，便成为形式化语言，因为语义规则能赋予演算的正确表达式的各种意义(意义和涵义)。形式化语言除包含纯粹的逻辑公理以外，还可能包含有一些非逻辑性质的论断(例如，某些生物学的规律、算术公理等)；在这种情况下，形式化语言便是演绎地描述有关的内容。形式化语言凭借其演绎手段，使人们能够进行严格的推论，得出非直接包含在通行公理中的、通过演绎推导出的新结论。

可见，在实现了形式化的各门科学学科中，形式化语言乃是推论和证明的工具。由于人们正试图利用电子计算机实现科学推论自动化(参见控制论)，形式化语言的作用更显得巨大。