逻辑语法
(1)确定某种演算表达式的构造和变形的规则系统；(2)元逻辑的一部分，研究未加解释的各种演算之结构和性质。 从语法上研究逻辑演算时所提出的主要问题是无矛盾性问题(参见公理理论的无矛盾性)、完备性问题(参见公理理论的完备性)、独立性问题(参见公理系统的独立性)、可解性问题(参见判定(可解性)问题)和可证明性问题。可证明性问题在于找到一种算法，来为任何一个待证明的(即从公理导出的)命题构成对它的证明。 所以，逻辑语法包含著证明理论。 逻辑语法这一概念是维特根斯坦于1919年提出的。 卡尔纳普在《语言的逻辑语法》(1934年)一书中对逻辑语法的问题和概念作了系统的叙述，书中特别指出，对自然科学某些部分形式化语言所作的语法研究是卓有成效的(参见形式化语言)。 |