逻辑斯提的方法
现代数学和逻辑学中通常使用的构成形式化系统(参见形式化)或各种演算(在逻辑语法中用“语法体系”这个术语)的方法。 这样的一些系统，正如某些符号的形状和序列是从相应表达式的意义中抽象出来的那样，是纯粹形式地构成的。逻辑斯提方法要求：(1)要有系统的原始符号表；(2)确定用哪一种原始符号序列来构成体系的合式公式(缩写为ППф)——这两种规则属于构成规则；(3)确定哪些合式公式属于公理：(4)指出推理规则(或变形规则)，根据这些规则从作为前提的一些相应合式公式直接得出某一个合式公式作为结论。 由一个或多个合式公式组成的有穷序列称为证明，如果序列中的每一合式公式或者是公理，或者是根据推理规则直接从序列中前面的合式公式得出的。系统中获得证明的合式公式称为系统的定理。 有时逻辑斯提方法的概念除了形式系统的构成之外，还包括形式系统的解释(参见逻辑语义学)。系统的这种纯粹形式的构成当然并不意味著绝对忽视内容方面，特别是某一类的逻辑规律。后者在构成演算时无论如何总是要考虑的。 |