论文部分内容阅读
Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
Bull定理一个证明的注记
【摘 要】
：
Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
【机 构】
：
中国人民大学哲学院
【出 处】
：
逻辑学研究
【发表日期】
：
2011年4期
【基金项目】
：
国家社会科学基金项目“模态逻辑中的典范问题研究”（编号08CZX020）, 中国人民大学科学研究基金项目10XNL012,中国人民大学哲学院985工程三期建设项目的资助
其他文献
西安至宝鸡客运专线常兴渭河特大桥采用2 000 t下行式架桥机节段拼装48 m简支箱梁施工技术。文中介绍了箱梁节段预制、架桥机整跨拼装等施工工序,重点探讨了梁段精确定位、预
介绍了国际四大疏浚公司向海洋工程领域拓展现状,通过具体工程阐述了疏浚行业在海工领域的应用及其对施工工艺和设备的特殊要求。结合国内实际情况对疏浚行业向海洋工程延伸
农民专业合作社是汇集生产要素、推动产业发展、带动农民增收的重要平台，是农发资金支持农业产业发展的重要载体。四川省乐山市及所属县两级农发办本着“扶持农民专业合作组织
腹腔镜胆囊切除术６例并发症原因分析空军西安医院外二科彭立勋，邓明福．张康太腹腔镜胆囊切除术（ＬａｐａｒｏｓｃｏｐｉｃＣｈｏｌｅｃｙｓｔｅｃｔｏｍｙ，ＬＣ）主要并发症是胆道损伤、出血、胆漏与腹腔感染￣［１，２］。发生率１．６～６％￣［３，４］１９９３年...
中国传统数学在中国古代逻辑特别是墨家逻辑的影响下，形成了自己的推理体系，即：以“以类合类”为基本方法，以“类”和“分类”为核心成分，以“推类”为主导推理形式。正是由于这一
通过从几个角度比较试验区灌注桩的静载试验结果，分析了灌注桩经后压浆处理承载力提高的幅度以及影响承载力的因素。分析了后压浆处理灌注桩承载机理。对试验桩的测试龄期及荷
单称命题观念的可理解性和合法性是当代弗雷格主义语义学与罗素主义语义学争论的焦点问题。在模态结构下,单称命题观念与一系列强有力的基本假设相冲突。普兰廷加等人发展了
<正>2015年10月22–23日,"首届中荷语用论辩学学术研讨会"(The First Sino-Dutch Conference on Pragma-Dialectics)在浙江大学召开。此次会议由浙江大学语言与认知研究中心(
本文指出了von Fintel（2001）和Gillies（2007）中对反事实条件句序列处理中的两个问题，尤其是反事实条件句与事实句的相互作用问题。然后，我们在动态语义框架中对反事实条件句给出了