论奎因的逻辑论题
作者: 马明辉 [1]
关键词: 奎因 塔尔斯基 逻辑真句子 集合论 逻辑概念 模态逻辑
摘要：奎因通过定义逻辑真句子为他的逻辑论题辩护，即逻辑等于带等词的一阶逻辑，我们称之为奎因论题。奎因早期没有否认集合论属于逻辑，尽管他已经认识到集合论与逻辑之间相互区别的重要性。奎因后期在《逻辑哲学》中明确说集合论不属于逻辑。逻辑真句子的基础是逻辑概念和非逻辑概念的划分。塔尔斯基式的逻辑概念标准可以为奎因论题提供一种根本性的辩护。奎因批评模态逻辑。说它没有明确的语义。即使量化模态逻辑有了可能世界语义学，奎因论题仍然可以通过说明模态词不是逻辑词而得到辩护。