[论文解读] Ideas and Results in Model Theory: Reference, Realism, Structure and Categoricity

Tim Button, Sean Walsh|arXiv (Cornell University)|Jan 2, 2015

Philosophy and Theoretical Science参考文献 130被引用 7

一句话总结

本文綜述了模型論在哲學上的重要性，聚焦於數學中的指謂、實在論與結構主義。文章檢視了分類性定理、Löwenheim-Skolem 定理以及二階邏輯之爭等關鍵結果，釐清它們在數學真理與本體論基礎性辯論中的角色。

ABSTRACT

The topics of reference, realism, and structure have been discussed extensively in the philosophy of mathematics of the last decades. There have been some parallel discussions in certain parts of philosophy of science and metaphysics. The technical apparatus which serves as the formal backdrop to these discussions is model theory, a branch of mathematical logic, and the key results in model theory which have been thought to be of primary philosophical significance are the famous categoricity theorems of Dedekind and Zermelo. The aim of this paper is to survey this recent literature, using basic ideas and results from model theory to aid in organizing the discussion. Some of the specific topics covered are: Putnam's permutation argument and the just more theory manoeuvre; the Newman objection and notions of conservation; the import of the L\owenheim-Skolem theorems; the invocation of second-order logic in debates about realism and reference; the distinctive challenges posed by quasi-categoricity results in set theory, the structuralism of Shapiro and Parsons, and the aims and goals of recent work on uncountable categoricity.

研究动机与目标

• 釐清模型論結果在數學指謂與實在論辯論中的哲學含義。
• 分析分類性定理（Dedekind、Zermelo）在理解數學結構方面的基礎性意義。
• 探討 Putnam 的置換論證與 Newman 反對意見等挑戰，並在結構主義與保守性語境中加以檢視。
• 評估二階邏輯與不可數分類性在數學實在論與本體論承諾辯論中的角色。
• 繪製近期關於不可數分類性與擬分類性在集合論中研究之目標與概念目標。

提出的方法

• 使用基本的模型論概念——如結構、滿足關係與基本等價——作為哲學分析的形式框架。
• 應用 L"owenheim-Skolem 定理，檢視一階邏輯在捕捉分類性數學理論時的限制。
• 透過模型論不變性與「只是更多理論」策略的視角，分析 Putnam 的置換論證。
• 透過檢視結構可從其關係模式重構的條件，評估 Newman 反對意見。
• 檢視二階邏輯在確保分類性方面的能力及其對數學對象實在論的影響。
• 調查集合論中擬分類性結果，以評估數學理論的結構主義詮釋。

实验结果

研究问题

• RQ1 模型論中的分類性定理在多大程度上支持或挑戰數學實在論？
• RQ2 L"owenheim-Skolem 定理對數學理論中指謂概念具有何種哲學意義？
• RQ3 Putnam 的置換論證與「只是更多理論」策略如何動搖或重塑數學對象的結構主義觀點？
• RQ4 二階邏輯與不可數分類性在本體論承諾與實在論辯論中發揮何種作用？
• RQ5 集合論中的擬分類性結果對數學理論的結構主義與實在論詮釋構成了哪些挑戰？

主要发现

• Dedekind 與 Zermelo 的分類性定理為某些數學結構在同構意義下唯一確定的觀念提供了強而有力的形式支持。
• L"owenheim-Skolem 定理揭示了一階邏輯在捕捉分類性數學理論時的根本限制，挑戰了基於唯一指謂的實在論觀點。
• Putnam 的置換論證表明，一階理論無法唯一確立指謂，進而引發「只是更多理論」作為實在論的防衛策略。
• Newman 反對意見指出，任何一組關係皆可重構為某種結構，從而動搖了僅憑結構即可確立本體論承諾的觀點。
• 二階邏輯使較強理論中的分類性成為可能，為實在論提供了一條形式路徑，確保關鍵數學理論具有唯一模型。
• 集合論中的擬分類性結果顯示，儘管完全分類性不成立，但結構特徵仍以與結構主義與實在論詮釋相關的方式約束模型。