量化模态逻辑与本质主义
当量词和模态算子相互作用时，逻辑必须面对对象是否必然拥有某些属性——即本质主义——以及如何解释跨可能世界的量化问题。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
量化模态逻辑将一阶量化与模态算子结合起来；本质主义是这样一种论点：对象必然拥有其某些属性（必然性模态），而与这些属性如何被描述无关。
Scope
本主题涵盖了模态逻辑与量词和同一性的扩展，以及由此产生的形而上学承诺。它涉及巴肯公式及其逆公式、常域语义与变域语义的选择、跨世界同一性与存在问题、奎因对“必然性模态”（de re modality）的反对，以及克里普克对本质主义和刚性指示词的辩护。
Core questions
- 量词和模态算子应如何相互作用，巴肯公式是否有效？
- 个体域在不同世界中应保持固定还是变化？
- 必然性模态是否可理解，或者它是否在奎因的反对下崩溃？
- 对象本质上拥有哪些属性（如果有的话）？
Key concepts
- 巴肯公式及其逆公式
- 常域与变域
- 跨世界同一性
- 刚性指示词
- 必然性模态与偶联性模态
- 本质属性与偶然属性
Key theories
- 本质主义与刚性指示词
- 克里普克认为，专名是刚性指示词，在每个世界中都指向同一对象，这使得必然性模态的主张连贯一致，并支持关于起源和构成的必然真理。
- 奎因对必然性模态的批判
- 奎因认为，在模态语境中进行量化是不可理解的，因为指称相同的术语的替换可能会改变真值，因此本质主义将需要对对象的必然属性和偶然属性进行令人反感的区分。
History
露丝·巴肯·马库斯于1946-1947年开创了量化模态逻辑，证明了关于同一性的结果并引入了巴肯公式。奎因攻击整个事业，认为它致力于一种不可理解的本质主义，但克里普克的《命名与必然性》（1980）通过刚性指示词和同一性的必然性恢复了必然性模态的地位，使本质主义再次受到尊重。
Debates
- 必然性模态是否连贯？
- 将必然属性归因于独立于描述的对象是否可理解，正如克里普克的刚性指示词所暗示的，或者奎因是否正确地认为这种说法预设了一种站不住脚的本质主义。
Key figures
- Ruth Barcan Marcus
- Saul Kripke
- W. V. O. Quine
- Alvin Plantinga
- David Kaplan
Related topics
Seminal works
- barcan1947
- quine1953reference
- kripke1980
Frequently asked questions
- 什么是巴肯公式？
- 巴肯公式指出，如果某物可能是F，那么就存在某物可能是F——将存在量词移到可能性算子之外。它及其逆公式在常域语义下是有效的，但在域跨世界变化时则失效，这就是为什么它们与在每个可能世界中是否存在相同个体的问题相关。