【摘 要】
：
奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态
论文部分内容阅读
奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对"模态个体"的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意思的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。
其他文献
K、L、Sh、T、A型5类小麦杂种F1研究表明：①K、L、Sh、T 4类细胞质对杂种F1不育的恢复度和单株产量均存在不同程度的不良效应；②不育系易恢复性能为K＞L≥Sh＞T型；③K型不育系恢复度
目的探讨持续质量改进（CQI）在提高护士病情汇报能力的作用。方法选取2013年3月至2014年3月重庆市第三人民医院内分泌科护士对病情汇报的掌握情况,探讨CQI实施前后护士对病情汇
大型往复式压缩机作为气体增压和运送气体的动力设备,是石油、机械、化工以及冶金等行业中不可或缺的重要设备之一。由于大型往复式压缩机间歇性和周期性的吸排气,管道内无法
影响酒店实习生的因素有很多，比如酒店、学校、学生等。本文主要从影响酒店实习生满意度的中介组织着手，通过对问卷调查的结果分析，找出影响实习生满意度的相关因素，并结合酒店实
目的 探讨应用品管圈提升责任护士汇报病情准确率的效果。方法 在新疆博州人民医院泌尿外科应用品管圈活动,组建小组,结合本科实际情况设定目标值,活动完成后,对比责任护士病
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技