逻辑语形学

---

也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的，只考虑符号的形状和空间排列关系。它要解决的主题是：逻辑形式系统中的一个表达式是按什么规则组成的。它规定用形式化方法构造形式系统的程序。如它提出形式化语言的形成规则，以确定什么样的符号串是合式语句，提出形式化语言的变形规则，以确定什么样的合式语句能推出什么样的合式语句。它还研究形式系统结构的一致性、完全性、独立性等语法特性，并以此作出对形式系统语法功能的评价。