有一道经典的逻辑题，你大概在中学就见过：「所有 A 都是 B；所有 B 都是 C；所以所有 A 都是 C。」答案清晰，推理无误，课本里的标准答案。
但生活从来不长这个样子。
你在工作里做一个决策，手边有三份数据——它们指向不同方向。你在一段关系里感到不安，却说不清楚是对方的问题还是你自己在投射。你读到一条新闻，正义感告诉你应该愤怒，但另一个声音在说「事情也许没那么简单」。
这些时刻，逻辑没有消失，但逻辑不够用了。
让·皮亚杰（Jean Piaget）是二十世纪最重要的发展心理学家之一。他花了大半辈子观察儿童如何从感知世界走向思考世界，并提出了著名的认知发展四阶段理论。他的最高阶段叫做「形式运思」（formal operational thought）——大约在十一二岁开始出现，标志着一个人能够进行抽象推理、假设检验和系统化思考。
在皮亚杰看来，这就是认知发展的终点。
但后来的研究者发现，这并不是终点。成年人的思考方式，尤其是那些在复杂情境中做出成熟判断的人，似乎在做一些形式运思无法解释的事。他们不是放弃了逻辑，而是在逻辑之上叠加了某种更柔软、更具弹性的东西。
这种思维被称为「后形式思维」（post-formal thought）。
这篇文章想做的事很简单：把这两种思考方式放在一起，用日常生活而非教科书的语言，说清楚它们之间的距离。
形式运思：一台精密的推理机器
先回到皮亚杰。
他对认知发展的划分至今仍然是发展心理学课程的骨架：感知运动阶段（sensorimotor，0–2 岁）、前运思阶段（preoperational，2–7 岁）、具体运思阶段（concrete operational，7–11 岁）、形式运思阶段（formal operational，11 岁以后）。每个阶段代表一种质的飞跃——不是「想得更多」，而是「想的方式变了」。
形式运思阶段的核心能力是：脱离具体经验，进行纯抽象的推理。
一个处于具体运思阶段的孩子可以理解「如果你把水从矮杯子倒进高杯子，水量没有变」——但他需要看见杯子、碰到水、亲眼验证。而形式运思的青少年可以在脑子里操作这件事，甚至可以推导他从未经历过的情境：「如果重力消失了，水会怎么样？」
这意味着几件重要的事：
第一，假设性思维（hypothetical-deductive reasoning）。形式运思者可以提出假设，然后系统地检验。「如果 X 为真，那么 Y 应该发生。Y 没有发生，所以 X 可能不为真。」这是科学思维的基础。
第二，命题逻辑。他们能够操作抽象命题之间的关系——与、或、非、如果……那么……——而不需要这些命题指向任何具体的物件。
第三，系统化组合。面对一个多变量问题，形式运思者会尝试穷举所有可能的组合，逐一排除。皮亚杰做过一个经典实验：给青少年几种化学液体，问哪些组合会产生特定颜色。形式运思者会系统地尝试每一种组合，而具体运思的孩子只会随机混合。
这些能力在学校教育中被大量训练和奖赏。数学证明、物理推导、辩论赛、标准化考试——它们考察的核心几乎都是形式运思。一个在这些领域表现出色的学生，通常被认为「很聪明」。
这也是为什么很多人在离开学校之后，会隐约感到一种错位：明明逻辑能力没有退步，但面对真实世界的问题，却常常觉得「想不清楚」。
不是你退步了。是问题变了。
逻辑的天花板
形式运思有一个隐含的前提：问题有结构，变量可控，答案可判定。
高中物理题是形式运思的天堂。摩擦力、重力、加速度——所有变量都被标注在题目里，你只需要找到正确的公式，代入正确的数字，得到那个唯一正确的答案。如果你的答案和标准答案不同，你就是错了。
但成年生活几乎从来不提供这样的条件。
你在考虑要不要接受一份新工作。薪水更高，但通勤时间翻倍。团队氛围未知。你的伴侣觉得搬家会影响孩子的学校，你的父母觉得「稳定最重要」，你自己隐约觉得如果不走就会后悔——但你不确定那是直觉还是焦虑。没有公式可以代入。变量之间互相纠缠。你甚至无法确定自己真正想要什么。
这时候，形式运思会怎么做？它会试图把问题简化成可计算的形式。列一个利弊清单：优点三条、缺点三条。给每个因素打分。加权平均。得到一个「理性最优解」。
这不是不对。但它遗漏了太多。
它遗漏了你做利弊清单时，手不自觉地在「留下来」那一栏写得更详细——那不是理性分析，那是情感信号。它遗漏了你父母说「稳定最重要」背后的恐惧——那个恐惧有它自己的历史，跟你的处境未必有关。它遗漏了你说「如果不走会后悔」时，那个「后悔」到底长什么样——它是丧失机会的焦虑，还是对当下生活的不满在借这件事找出口？
形式运思不处理这些。它的工作是在「给定条件」之内求解。但成年生活最困难的部分，往往是：条件本身是不给定的，甚至是矛盾的。
皮亚杰本人没有详细讨论这个问题。他在 1980 年去世时，形式运思仍然是他体系的顶点。但他的后继者们开始注意到：有些成年人在面对复杂问题时，展现出一种不同的思维品质。这种品质不是「更强的逻辑」，而是一种对逻辑本身的超越和包含。
