一、这是什么
用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。
二、核心要点
- 用符号代替具体词项，突出推理结构。
- 形式语言消除了自然语言的歧义。
- 形式化是数理逻辑的基本方法。
三、为什么重要
「形式化方法」属于传统形式逻辑导论板块的基础内容。传统形式逻辑以思维形式及其规律为研究对象。它只问推理的形式是否有效，不问前提的内容是否真实，这是它区别于具体科学的关键。
一句话记住它用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。
四、容易踩的坑
- 以为形式化之后就可以完全不管原话的意思。
五、相关联的术语
逻辑变项、逻辑常项、内容真实、形式化方法、同一律。学习本课时，请把「形式化方法」放在这组术语的关系网里理解，而不是孤立记忆。