| 奎因与量化模态逻辑的发展 |
| |
| 引用本文： | 史璟. 奎因与量化模态逻辑的发展[J]. 湖南科技大学学报(社会科学版), 2010, 13(5): 35-40 |
| |
| 作者姓名： | 史璟 |
| |
| 作者单位： | 中央财经大学,现代逻辑研究所,北京,100081 |
| |
| 摘 要： | 奎因在20世纪加年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对“模态个体”的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意恩的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。
|
| 关 键 词： | 量化 模态逻辑 谓词抽象 内涵 |
On Quine and the Development of Quantified Modal Logic |
| |
| SHI Jing. On Quine and the Development of Quantified Modal Logic[J]. journal of hunan university of science&technology, 2010, 13(5): 35-40 |
| |
| Authors: | SHI Jing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
