【摘 要】
：
20世纪70年代曾被乔治·布勒斯誉为模态逻辑的黄金年代,因为模态逻辑的三大分支:完全性理论、对应理论和对偶理论等都在这一时期形成,这大致确定了模态逻辑的研究方向.荷兰阿
【机 构】
：
西南大学逻辑与智能研究中心中国社会科学院哲学研究所;
论文部分内容阅读
20世纪70年代曾被乔治·布勒斯誉为模态逻辑的黄金年代,因为模态逻辑的三大分支:完全性理论、对应理论和对偶理论等都在这一时期形成,这大致确定了模态逻辑的研究方向.荷兰阿姆斯特丹大学约翰·范本特姆教授(Johan vanBenthem)是模态逻辑对应理论的主要贡献者之一,他1976年的博士论文《模态对应理论》以及1983年出版的《模态逻辑与经典逻辑》,成为模态对应理论的经典著作.2010年,科学出版社出版了张清宇和刘新文翻译的《模态对应理论》(“逻辑之门——约翰·范本特姆经典著作”·卷Ⅲ),引起了国内学界对模态对应理论的关注和重视.为了能更清楚地了解模态对应理论的过去、现状和未来的发展趋向,我们组织了对范本特姆教授的访谈.
其他文献
新入职辅导员作为高校大学生思想政治教育的新兴骨干力量学,负有在思想、学业、生活、身心健康、职业成长等方面指导学生的职责.因此,高校新入职辅导员能否具有正确的角色定
西部发展落后的主要原因除经济结构、政策、地区差异、人才和技术等原因外,还有一个重要原因就是资金短缺及“造血”功能薄弱,本文就西部地区融资方式进行了分析和阐述。
In
2015年2月,沈阳市东陵区人民检察院接到一封匿名举报信,反映东陵区第三初级中学校长蔡玉军利用职务之便,在书商推销教辅资料过程中,大肆收受回扣。接到举报线索后,东陵区人民
众所周知,供水管网系统是城市重要的基础设施之一,其质量的好坏不仅会直接影响到城市居民的日常生活、企业的工业生产等,更在一定程度上影响市民对供水企业和当地政府的评价.
职业院校是我国培养技能型人才的主要阵地,而技能型人才培养目标的提出,也在职业院校自身发展与现代社会经济发展间建立了紧密的联系.对于中等职业院校计算机专业而言,推动计
当前,若问及亿万中国居民最关心的问题,相信莫过于高涨的物价,尤其当2010年跳跃的物价蔓延到“菜篮子”、延伸至2011年时。后经济危机时代,全球共同陷入增发货币所伴生的流动
主要指标发展情况rn(一)业务总量和业务收入rn全国通信业务总量保持较快增长,上半年累计达到5781.5亿元,比去年同期增长25.1%.其中,电信业务总量5479.1亿元,增长26.2%;邮政业
自我国改革开放以来,市场经济得到了飞速的发展,许多企业得以创立.在企业的发展过程中,企业自身生产的产品质量,是影响企业健康发展的重要因素.保证产品质量,才能形成企业品
通过对河南洛宁龙门店银矿床矿化富集规律研究,开展矿区成矿预测,为进一步指导矿山找矿具有重要的现实意义.
Daisy位于上海虹桥的公寓设计于六年前，直到今天走进去。一切都还像是簇新的，时髦的。经过数年的岁月考验，这套公寓似乎可以继续如此一直光鲜时髦下去。