这是一个在哲学、逻辑学和认知科学中都至关重要的概念。形式的思维是一种关注思维结构、形式和规则，而忽略其具体内容的思维方式。 它关心的是“如何推理”，而不是“推理的是什么”。
为了更好地理解,我们可以从以下几个层面来剖析它：
核心定义：抽象与结构
形式的思维的核心在于抽象，它从具体的、个别的思想或命题中，抽取出其共同的逻辑结构。
- 思维中具体的、有意义的部分。
- 形式: 思维的骨架、结构和规则，与具体内容无关。
一个经典的例子：
考虑下面两个命题：
-
所有的人都是会死的。
-
苏格拉底是人。 上看，我们在讨论生物学和哲学，但如果用形式的思维来分析，我们会把它们抽象成下面的逻辑形式：
-
所有 M 都是 P。
-
S 是 M。
（图片来源网络，侵删）
我们只关心这个形式是否能保证一个有效的结论： S 是 P。
这个结论“苏格拉底是会死的”之所以是必然的，不是因为“苏格拉底”或“会死”这些具体内容，而是因为这个推理的形式是有效的，无论我们把 S、M、P 替换成什么，只要符合这个形式，结论就必然正确。
- 所有猫都是哺乳动物。
- 加菲猫是猫。
- 加菲猫是哺乳动物。
形式的思维让我们能够识别出,这些表面上完全不同的推理，其内在的逻辑结构是完全相同的。
形式的思维的主要特征
- 关注结构而非内容: 如上所述，它剥离了具体的信息，专注于论证的骨架。
- 符号化: 为了精确地研究形式，思想家们会使用一套人工的、无歧义的符号系统，这就像数学使用 , , , 一样，逻辑学也使用符号，
- (全称量词，表示“所有”)
- (存在量词，表示“存在”)
- (蕴含，表示“....”)
- (合取，表示“)
- (析取，表示“或者”) 这种符号化确保了推理过程的清晰和无误。
- 规则驱动: 形式的思维遵循一套明确的、固定的规则，这些规则决定了什么样的操作是允许的，什么样的推理是有效的，在命题逻辑中，我们有“肯定前件式”（Modus Ponens）这样的规则：
- P 为真，Q 为真。
- P 为真。
- Q 为真。 这个规则是普适的，不依赖于 P 和 Q 的具体含义。
- 追求普遍性与必然性: 形式的思维的最终目标是建立具有普遍适用性的、必然为真的知识体系，只要前提为真，且形式有效，那么结论就必然为真，这为知识提供了一个稳固的基础。
形式思维的典范领域
- 传统逻辑: 由亚里士多德创立，主要研究主谓结构的命题及其推理，如三段论，这是形式思维的最早源头。
- 符号逻辑: 又称现代逻辑，由弗雷格、罗素等人发展，它使用更强大的数学化工具，处理更复杂的逻辑关系，是计算机科学和数学基础的语言。
- 数学: 整个数学大厦可以说就是建立在形式的思维之上的，公理系统（如欧几里得几何）就是最典型的例子：从少数几条不证自明的公理（形式的前提）出发，通过严格的逻辑推理（形式规则），推导出整个庞大的理论体系（形式的结论）。
- 计算机科学:
- 编程: 编程语言本质上就是一种形式语言，代码的语法、编译器的逻辑、算法的设计，都严格遵循形式的规则。
- 人工智能: 知识表示、专家系统、自动定理证明等领域，都依赖于将人类的知识和推理过程形式化，让机器能够理解和执行。
- 电路设计: 数字电路中的逻辑门（与门、或门、非门）直接实现了布尔代数这种形式逻辑系统。
形式思维的局限性与互补的思维模式
尽管形式思维非常强大,但它并非万能的，它有明显的局限性，需要其他思维方式来补充。
-
缺乏语义和意义: 形式的思维处理的是符号和规则，但它不关心这些符号“意味着什么”，一个逻辑上完美的系统，如果其公理和前提是荒谬的，那么它推导出的结论也毫无意义。
- 所有鱼都会飞。
- 鲸鱼是鱼。
- 鲸鱼会飞。 这个推理在形式上是有效的，但前提是假的，结论是荒谬的，形式的思维无法判断前提的真假，那属于经验科学和哲学的范畴。
-
无法处理模糊性、歧义性和语境: 人类自然语言充满了模糊性（如“高”、“大”）、歧义性和对语境的依赖，而形式的思维追求的是绝对的精确和无歧义，很难直接应用于日常交流。“我看见了一个带眼镜的人”这句话，形式逻辑很难处理“人”和“眼镜”之间的复杂关系（眼镜是戴在脸上的，而不是拿着的）。
-
无法创造新知识（从无到有）: 形式的思维是一种“保真”的推理，它只能从已知的前提中推导出结论，但它本身不能产生新的前提或公理，科学发现中的直觉、想象、类比、归纳等非形式思维过程，在提出新假设方面扮演着更重要的角色。
与形式思维互补的思维方式包括：
- 辩证思维: 关注矛盾、发展和变化，强调事物的联系和运动，而非静态的结构。
- 直觉思维: 基于经验和感觉的、非逻辑的、快速的判断。
- 系统思维: 将事物看作一个相互关联的整体，关注反馈回路和涌现特性。
- 批判性思维: 不仅关注推理形式，更关注前提的真实性、证据的充分性、论证的力度和隐含的假设。
形式的思维是人类理性的一大飞跃，它为我们提供了清晰、精确、无懈可击的推理工具。 它是构建科学大厦、发展现代技术（尤其是计算机）的基石。
它也像一把锋利的手术刀,适合在特定的、结构化的领域进行精确操作，但无法用来烹饪一桌包含情感、文化和创意的盛宴，一个完整的、强大的思维者，必须能够灵活地在形式的思维和其他非形式的思维模式之间切换，知道何时该使用严谨的逻辑，何时该拥抱模糊的直觉，何时该进行系统的整体观察。
形式的思维的价值不在于它能解决所有问题,而在于它为我们提供了一个评判思维是否清晰、推理是否可靠的客观标准。
