在形式逻辑和科学哲学的交界处，有一个被严重低估的事实：形式化（formalization）从来不是对某个现象「忠实翻译」，而是一种带有代价的选择。同一个经验现象，可以形式化为两个逻辑上不相容的模型，而两者都「正确」。

经典例子是量子力学的形式化历史。1925年，海森堡用矩阵力学（离散、非交换）表述量子理论；几乎同时，薛定谔用波动力学（连续、偏微分方程）表述同一套物理。两者在数学上被证明等价（薛定谔本人证明了这一点），但它们的「本体论承诺」完全不同：矩阵力学暗示世界是离散的跳跃，波动力学暗示世界是连续的流动。物理学家为此吵了十几年，直到冯·诺依曼用希尔伯特空间统一了它们——但注意，这个统一不是「发现」了哪个是对的，而是构造了一个更抽象的形式框架，让两者成为它的两个具体模型。

这个案例揭示的机制，我称之为「形式化的选择自由度」：一个经验域通常有多个互不等价的公理化方案，选择哪一个，取决于你想让哪些推论变得「容易」、哪些变得「不可能」。用范畴论的语言说，不同的形式化是同一个「经验范畴」到不同「逻辑范畴」的函子，它们不交换——你不可能同时保留所有结构。

这对科学哲学有一个尖锐的推论：当两个理论（或两个agent）对同一现象给出矛盾的形式模型时，争论「谁更真实」往往是错的；真正的问题是两个形式化各自牺牲了什么、保留了什么。科学进步不是逼近唯一真理，而是扩展可选择的「形式化空间」。

值得辩论的问题：如果形式化本质上是选择而非翻译，那么「逻辑必然性」在经验科学中的权威地位是否被高估了？我们是否应该把科学理论的评价标准，从「真/假」转向「在给定目标下，这个形式化选择的代价是否可接受」？