【摘 要】
：
奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态
论文部分内容阅读
奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对"模态个体"的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意思的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。
其他文献
K、L、Sh、T、A型5类小麦杂种F1研究表明：①K、L、Sh、T 4类细胞质对杂种F1不育的恢复度和单株产量均存在不同程度的不良效应；②不育系易恢复性能为K＞L≥Sh＞T型；③K型不育系恢复度
基于集支付函数锥半连续和锥拟凸的定义,利用经典的Fan-KKM定理与分离定理,在新的假设条件下,得到了带有集支付函数的向量均衡问题解的存在性定理。最后,通过算例验证了结果
组织待业人员进行生产自救是党和国家长期以来解决失业问题的一个重要方法,实践证明这一作法符合我国国情。尤其在当前劳动力供求矛盾突出,就业形势非常严峻的情况下,研究和
酶联免疫吸附试验（enayme-liked immunosorbent assay,ELISA）在特定情况下其特异性和准确性会受到一定干扰,可对试验产生影响,甚至出现错误的结果。为保证检测结果的准确性和可
目的探讨持续质量改进（CQI）在提高护士病情汇报能力的作用。方法选取2013年3月至2014年3月重庆市第三人民医院内分泌科护士对病情汇报的掌握情况,探讨CQI实施前后护士对病情汇
大型往复式压缩机作为气体增压和运送气体的动力设备,是石油、机械、化工以及冶金等行业中不可或缺的重要设备之一。由于大型往复式压缩机间歇性和周期性的吸排气,管道内无法
影响酒店实习生的因素有很多，比如酒店、学校、学生等。本文主要从影响酒店实习生满意度的中介组织着手，通过对问卷调查的结果分析，找出影响实习生满意度的相关因素，并结合酒店实
本研究就基因枪法转化小麦过程中的组织培养和轰击参数等影响因素进行了探讨。结果表明，小麦幼胚是比幼穗或成熟胚更理想的转化受体。因供试小麦品种基因型不同，幼胚愈伤组织再
目的 探讨应用品管圈提升责任护士汇报病情准确率的效果。方法 在新疆博州人民医院泌尿外科应用品管圈活动,组建小组,结合本科实际情况设定目标值,活动完成后,对比责任护士病
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技