| 奎因与量化模态逻辑的发展 |
| |
| 引用本文： | 史璟.奎因与量化模态逻辑的发展[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: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
