正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

“人”的培养——现代化进程中中小学德育的世纪走向

德育问题一直是社会广泛关注的问题,德育实效性差的最根本的原因就是德育目标制定得不合理.从这个最根本的原因入手,恰当确定德育的目标,探讨实现德育目标的具体途径,才能有效地解决德育实效性差的问题.     

“走西口”与晋蒙地区社会变迁

清代以来,人地矛盾等引起的晋、陕等地百姓大量涌入归化城土默特、鄂尔多斯、察哈尔等地,使该地区的历史发生了前所未有的变化,促进了农耕与游牧文化的交融。随着“走西口”移民的进程,口外蒙古地区从传统单一的游牧社会演变为旗县双立、农牧并举的多元化社会,并呈现出游牧由南向北收缩,农耕区相应向前推进的态势。该文主要以“走西口”移民产生的历史根源、活动范围、其所带来的社会变迁等几个点作为研究对象,对“走西口”移民活动进行研究。     

谁在冷眼看着你和你的爱情

正可是那晚,我再次接到了沈黛的电话,她的声音充满焦虑和不安:"面朝大海,春暖花开……面朝大海,春暖花开……"反反复复的就是这两句诗。我的头皮开始发麻,感觉头发都竖了起来,我知道怎么回事了——沈黛犯病了。岑宇:冬至那天,我们总算从S市的工地上撤下来。临行前我没告诉苏瑾,想要给她一个惊喜。那晚一上飞机,我就开始酝酿着一场隆重的性事。可飞机刚落地,我却接到了她的电话:"我正在车上,要出差一周……"给她的惊喜和我     

从思想引领到制度领导：中国共产党反贫困的百年探索与治理启示

中国共产党的反贫困思想是中国特色反贫困理论的重要组成部分。在中国贫困治理制度体系中,凝结着中国共产党的反贫困思想,这些思想也是中国贫困治理制度建立与完善的基本价值遵循。从思想引领到制度领导,有效发挥思想引领力与制度领导力在贫困治理中的双重作用,是中国共产党反贫困成功的基本经验。中国共产党反贫困思想制度化不仅对相对贫困治理具有积极意义,对经济社会其他领域的治理也具有重要的启示,即要坚持中国共产党的领导、坚持社会主义制度、坚持以人民为中心的治理理念、坚持不断发展和完善治理制度体系和坚持党政目标的一致性。只有把中国共产党的治国理政思想融入国家治理制度之中,实现思想引领与制度领导的有机统一,才能取得卓越的治理效能。     

浅析服装品牌营销模式与应用

服装企业要获取市场的成功,不仅需要有市场竞争力的产品,有效的营销手段对于品牌的生存发展也起着至关重要的作用。本文从服装品牌营销模式谈起,指出转换经营观念,改善品牌策略,注重品牌与消费者的亲和力培养,形成多种不同的品牌经营模式,是现代服装企业立于不败之地的发展之路。     

梁武帝的心理历程——梁武帝统治心理研究之一

在梁武帝称帝之前,支配他行为的主要是进取心理,这与他的家庭的社会地位有关,也与他在家庭中的地位有关。同时,在与他人的比较和自己的成就中,他还产生出了强烈的自信、自负和骄傲心理。在为帝前期,成就心理造就了他此期的辉煌和急功近利。而他的晚年,则是在满足自我实现需要还是当“好皇帝”之间的矛盾中度过的。     

走出别人的脚印

走出别人的脚印,另辟一条蹊径。18世纪末,欧洲政坛上出现了一位最没有规矩的人物:拿破仑。他从政没有规矩:一个没有贵族血统、没有门第背景的人,却靠娶了一个有钱的寡妇,挤进了法国政坛。他打仗没有规矩:別人都是列     

面向汽车空调系统的自适应模糊PID控制

针对汽车空调系统受行驶速度以及环境温度的影响,车厢内温度变化具有非线性、时变等问题,使得传统的温度调节器难以满足控制要求。因此,在传统PID控制理论的基础上,提出了面向汽车空调系统的模糊PID控制方法。该方法将检测到的温度值变换到相应的论域并转换成合适的语言值,通过建立隶属度函数,在模糊规则下进行模糊推理,从而得到精确的控制量。最后,在汽车空调系统模型上进行了设计仿真和验证,表明了该控制方法具有较好的应用效果。