形式化方法

---

现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它们所表示的概念之间的对应是确定的，因此符号公式的结构就反映了它们的意见。把一个理论形式化后，就可以暂时完全撇开原来理论中的概念、命题的意义，而只从语言符号、公式结构(符号组合的形状)方面研究。意义是抽象的，往往不容易精确理解和掌握。而符号和公式是有穷的具体的对象，能够对其作更精确、更严格的研究，从而通过对具体符号的研究把握抽象的东西。