逻辑演算与形式化方法

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

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

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

Web服务组合模型的研究

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

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

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

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

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

论法律推理的形式化

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

国有企业治理悖论

公司治理的基本制度就是委托代理制 ,而委托代理制的深层次问题就是在所有权与经营权分离的条件下权利的配置问题。国有企业公司化改造的法人治理结构形同虚设 ,收效甚微 ,是因为政府与企业之间关系刚性的存在 ,导致政府与企业的异质性博弈 ,结果引起国有企业治理的形式化。对于同质性博弈而言 ,博弈本身就是一种约束 ,而对于异质性博弈来说 ,则会导致效率损耗。在政府与企业之间进行异质性博弈时 ,双方处于一种非均势的博弈态势 ,博弈的结果取决于对方的异质强制力。异质性博弈表现出较多的不稳定性 ,而且在双方强制力支配下形成的异质性博弈往往是效率较低的。改革以来 ,我国国有企业制度变迁进度缓慢 ,并发生大面积亏损 ,从根本上看 ,就是由于政府和企业的关系刚性引发异质性博弈而造成的     

现代逻辑对文学的渗透

文学研究中的形式化方法是几乎一切追求“科学性”的文学理论的理想，但是从新批评到结构主义，形式分析各派都没有达到接近形式化的高度。当前，由于发展第五代计算机的需要，在阅读分析中引人了现代逻辑和形式语言学，极大地推动了文学研究中的符号化、计算化和公理化方法的发展，这样就使得建立一个文论的形式系统可能性和意义都大大增加了。这是当代文本理论发展的重要契机，应予以高度重视。