重點
- Matteo De Benedetto 與 Matías Osta-Vélez 在 Erkenntnis 發表〈Logic as Normative Modeling〉（2026 年 10 月 20 日線上刊出，開放取用），回應 Gillian Russell 2020 年的〈Logic isn’t normative〉。
- Russell 認為邏輯跟物理一樣只做描述：物理描述質量或熱，邏輯描述真值在論證中怎麼保存；「應該」要靠外部規範才加得上去。
- 作者從「邏輯即模型」的觀點出發，借用科學哲學對規範模型的討論。一個理想化是不是規範性的，要看它在實作中怎麼被辯護和使用；辯護時訴諸「行動者應該怎麼做」的，就是規範性的。
- 套到一階古典邏輯：二值性、緊緻性、結構規則等屬於描述性理想化；必然性、形式性、引入與消去規則、矛盾律與排中律則屬於規範性理想化。
- 作者明說，他們的主張只是存在命題：有些實作把某些邏輯當成規範模型。本文的評論：這比標題弱，跟 Russell 的分歧可能比看起來小。
問題是什麼
邏輯常被當成「正確推理的理論」，因此帶有規範性：你相信 A、也相信 B，卻不接受「A 且 B」，我們會說你不理性。
Gillian Russell（2020）不同意。她認為邏輯跟物理一樣只是描述，作者在註 3 轉引她的話：
“Logic has the same relation to truth as physics has to mass or heat.”
依這個看法，任何「應該」都得另外加上「應該相信真的東西」這類外部規範（§1、§2）。De Benedetto 與 Osta-Vélez 要回答的是：如果把邏輯看成一種科學模型，它還能保有規範性嗎？
針對誰、新在哪裡
- 主要對手：Russell 2020 的描述論（descriptivism）。
- 立足點：「邏輯即模型」觀（logic-as-model, LaM），從 Corcoran（1973）、Shapiro（1998, 2014）到 Glanzberg（2015, 2021）。作者指出 LaM 的盲點：它說明了邏輯的描述面，卻沒有人具體說明邏輯直覺上的規範性怎麼放進模型裡（§2）。
- 新意：把科學哲學裡關於規範模型（normative models，例如決策理論、貝氏主義）的討論搬進邏輯哲學，提出以實作為基礎的判準，並逐項分類一階古典邏輯的理想化假設（§3、§4）。
什麼叫規範模型
科學模型都有理想化（idealization）。依 Weisberg 的分類，有伽利略式（為了計算方便而簡化）、極簡式（只留核心機制）和多模型式（§3）。
作者沿用 Colyvan（2013）的定義：規範模型是含有「規範性理想化」的模型。但他們不採用 Colyvan 對規範性來源的立場，改用實作判準：一個理想化是不是規範性的，看它在相關科學實作裡怎麼被辯護、使用和攻擊。辯護時訴諸要求、義務或理性等「行動者應該怎麼做」的理由，它就是規範性的。所以同一個模型，在不同實作裡可以是描述的，也可以是規範的（§3）。
作者用期望效用理論示範（§3）：
- 完備性與連續性是為了數學方便，屬於伽利略式理想化。
- 獨立性是「夠接近」的簡化，屬於極簡式理想化。
- 遞移性被當成理性要求，靠錢幫浦（money-pump）論證辯護，屬於規範性理想化。
歷史也支持這個判準。1950 年代以前，遞移性只被當成方便的假設；Allais 悖論之後，它才被當成理性的標準。而今天在自動化金融市場的模型裡，期望效用理論仍被當成描述模型使用。
一階古典邏輯的兩種理想化
作者把同一套分析用在一階古典邏輯上（§4）：
- 描述性理想化：二值性（bivalence）、真值函數性、緊緻性與（半）可判定性等後設性質、公式詮釋的唯一與固定，以及結構規則（cut、弱化、收縮、交換）。這些多半是為了方便和好用而採用。
- 規範性理想化：必然性（有效論證的結論必然隨前提而來）、形式性（有效性由形式決定）、連接詞的引入與消去規則，以及矛盾律、排中律等簡單邏輯律。
為什麼後者算規範性的？作者引認知科學（例如 Johnson-Laird 2010、Oaksford 與 Chater 2007）指出，日常推理大多既不必然，也不依形式而有效。所以這些假設不是為了描述得更準或更方便，而是反映正確推理應該是什麼樣子。作者也轉引 MacFarlane：
“…we require logical validity to be formal because we require it to be transparent, and we require it to be transparent because of the reasons and responsibilities to which it gives rise.”
他們也引 Restall（2005），把多結論相繼式解讀成斷說與否認的規範。作者特別說明了主張的範圍：
“What we want to argue for is an existential statement … not a universal one.”
回應 Russell
作者認為描述論只看到邏輯的一種用法（§5）。規範性不在模型的語法或語意裡，也不在目標現象裡，而在語用：
“the normativity of scientific models lies neither in their syntax nor in their semantics, but in their pragmatics, i.e., in the ways in which their idealizations are used and justified within a particular scientific practice.”
這樣就不需要假設有神祕的規範性目標或規範事實。作者列出四個後果（§5）：
- 回應了 Russell 的懷疑。
- 對邏輯後承的前理論概念是規範的還是描述的保持中立，跟 Beall 與 Restall（2005）以及 Sher（1991）都相容。
- 不決定邏輯對一般推理者有沒有規範力，那是 MacFarlane、Field、Steinberger 等人爭論的問題。
- 跟邏輯多元論（logical pluralism）表面上相容：直覺主義和相干邏輯（relevance logic）可以理解成另一套規範模型。例如相干邏輯拒絕爆炸原理和弱化，理由就是規範性的（引 Anderson 與 Belnap 1975）。
作者也舉了一個歷史例子（§5）：Quine（1981）支持二值性，不只是為了簡單，也把它當成科學語言應有的精確性規範。可見同一個理想化，在不同邏輯學家手裡可以有不同地位。
可能的反駁
以下是本文的評論，不是論文的內容：
- 分歧可能比看起來小：作者說主張只是存在命題（§4），比標題弱得多。Russell 那邊可以回應：她本來就承認邏輯會被用在規範性的實作裡，只是規範性來自外部，而這正是她的立場；作者在 §2 轉述 Russell 時也是這樣說的。
- 這算哪一種規範性：判準是「實作中怎麼辯護」，規範性就成了社群的辯護習慣。作者在註 11 說他們要的是「強健規範性」（robust normativity），只是相對於實作。這是否只是社群內部的規範性，兩者之間有張力。
- 分類不太穩定：結構規則被列為描述性，但相干邏輯拒絕弱化的理由正是規範性的，作者自己在 §5 也提到。作者會說這正好支持他們的論點，但讀者可能覺得這讓 §4 的清單不太穩定。
- 還沒處理的部分：全文沒有處理反例外主義（anti-exceptionalism）和溯因方法論，作者在結論列為未來工作（§6）。
參考資料
- De Benedetto, Matteo & Matías Osta-Vélez. 2026. “Logic as Normative Modeling.” Erkenntnis. https://doi.org/10.1007/s10670-026-01162-4
- Russell, G. K. 2020. “Logic isn’t normative.” Inquiry 63(3–4): 371–388.