逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

中国国家治理体系现代化的脉络、逻辑与进路

近代以来,中国国家治理体系变迁的一个基本脉络是:个体—家族统治的衰落,组织管控的兴起和转变,制度调节的作用日益重要;"党治国"的进入和逐渐回归本位,似乎是理解中国国家治理体系变迁的关键线索。现阶段中国国家治理体系的现代化过程中,"抽象的形式化权威"与"具体的实体性权威"的"渐进式替代"需要较长时间。过渡期内,"具体的实体性组织权威"由"总控制者"向"总协调者"的角色转变,有利于"渐进式替代"稳定有序的发展。     

Web服务组合模型的研究

针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。     

吉伯德-萨特思韦特防策略不可能性定理的逻辑初探

自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后，引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而，在国内外文献中，对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此，借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理，并形式化地给出定理的内容和证明，力图把精细的逻辑推理应用于复杂的过程分析中，使防策略投票这一过程形式化、清晰化，以期能指导人们进行合理、有效的决策活动。     

“空间转向”之后“怎么办”

“空间转向”之后的空间叙事学成为了炙手可热的“显学”.但是,当前的空间叙事研究到了一个瓶颈阶段,原因多种.“空间转向”的这股后现代思潮有着不可推卸的责任.“空间转向”的叙事推力功不可没,但后现代历史碎片化、随意切割时间历史的粗暴式学术批评也是不足取的.所以,首先,必须纠正“空间转向”等同于空间叙事研究的偏向.其次,必须区分出“形式化空间叙事”和“内容性空间叙事”,并且分别加以历史化——“空间再转向”,以结束当前空间叙事研究的破碎化、非历史化倾向.     

论法律推理的形式化

法律推理的形式化,作为法理学研究中的一个重要内容,在国内一直饱受质疑.在系统分析国内外法律推理形式化研究不同特点的基础上,探索“形式理性”与“实质理性”相结合的途径,即基于语用推理的视角,从法律规范推理及适用推理两大方向进行面向法律实践的形式化研究.     

英语从句哲学的结构分析及形式化

英语的从句在英语语法体系中占有重要的地位。英语的从句是不是句子?从句与英语句子的区别是什么?从句如何充当语法成分?这些问题都涉及了怎样认识英语的从句。在此就从哲学认识论的角度区分了从句的本质是取消了独立性的句子和功能是在主句中充当成分,并给予哲学分析。进而对英语从句进行形式化的处理。这就把单一的从句问题从两个各自分开的层面来分析,实现对英语从句更加具体和深入的认识。     

浅谈中职体育的教学改革与创新

随着国内高等院校和各类职业教育的不断兴起,中职院校及其生源承受着来自各方面的压力.中职院校学生心智不成熟、学校生源质量差、各方面资金对中职院校投入的缩减、部分教师素质差等原因导致了中职教学体育教学的形式化、单一化等问题.本文通过对中职院校体育教学存在的问题的分析,提出了体育教学改革和创新的措施.希望本研究能够为中职院校体育教育提供参考.