奎因与量化模态逻辑的发展

摘要：

奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来.逻辑学家尝试了各种解决方案.由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战.另一方面,人们从哲学上提出各种不同的对"模态个体"的说明.我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展.最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意思的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释.

关键词：量化、模态逻辑、谓词抽象、内涵

所属期刊栏目：13

分类号：B815.1(逻辑学(论理学))

在线出版日期：2010-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：35-40