「形式化方法」最容易和「逻辑学的研究对象」混在一起。两者同属传统形式逻辑导论，但关注点不同。
对照表
| 对比项 | 形式化方法 | 逻辑学的研究对象 |
|---|---|---|
| 核心含义 | 用人工符号把自然语言中的推理结构翻译出来，以便精确检验其有效性。 | 逻辑学以思维形式及其规律为研究对象，考察推理形式的有效性。 |
| 第一个要点 | 用符号代替具体词项，突出推理结构。 | 思维形式是抽去具体内容之后留下的结构。 |
| 常见错误 | 以为形式化之后就可以完全不管原话的意思。 | 以为逻辑学要为每一个具体论断判定真假。 |
一句话区分
记忆锚点看到问题在问「形式化方法」，找的是：用符号代替具体词项，突出推理结构。；问的是「逻辑学的研究对象」，找的是：思维形式是抽去具体内容之后留下的结构。。
易错的组合
- 把 形式化方法 的判断标准套到 逻辑学的研究对象 上；
- 认为两者是包含关系，实际上它们考察的维度并不重合；
- 在传统形式逻辑导论的综合题中只写结论不写依据，导致踩错知识点。