霍布斯式新闻推理的逻辑、运用及其规制

新闻推理是记者针对特定新闻对象的一种逻辑思维反映活动。从对知觉推理、用语词进行推理、缺损推理到实践推理的方式都有其哲学的规制;而直接指认和联合确认的可靠性法则就是新闻推理结论有效性和正确性的基本依据。霍布斯推理即计算的逻辑思想对于上述新闻判断推理的具体内容和逻辑形式关系的建构有相当的指导意义。     

跆拳道概念的逻辑分析

跆拳道概念是研究跆拳道理论和实践的基础,跆拳道概念及相关术语的规范与丰富对研究跆拳道理论与实践具有重要的学术意义,同时也能继续促进跆拳道项目的发展。本文采用文献资料法、逻辑分析法对跆拳道概念认识进行了辨析,论述了跆拳道的溯源发展,分析了目前跆拳道概念存在的问题,并用逻辑学中的“属加种差”定义法对跆拳道的概念进行了重新界定。     

论佛教逻辑的起源

佛教逻辑也称为因明学,是印度逻辑和中国逻辑的重要组成部分.佛教逻辑的产生与古印度的激烈论辩风气紧密相关,与古因明家的学术探索相互促成,正理派的逻辑研究更是功不可没,这三方面的融合便促使佛教逻辑的诞生.     

The Message Design Logics of Organizational Change

This study investigated the influence of context in the production of messages by stakeholders about organizational change. We analyzed messages produced in response to hypothetical organizational change scenarios. The message production task was implemented within a 2×2 experimental design (N = 1,205) fielded at three different organizations. We included multiple replications for each manipulation, and multilevel structural equation modeling allowed for analysis across scenario replications. Results indicated that perceptions of change and context do influence message design mediated by intensity of beliefs about a change. The study extends message design logics theory and contributes to a conceptualization of stakeholder interaction during organizational change as a problem of communication design.     

描述逻辑VL的保守扩充

保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。     

本体模块化:特征、描述与方法

近年来,本体模块化研究受到研究者的普遍关注.本文全面综述了本体模块化研究的最新进展,包括本体模块化特征、形式化描述语言及构建与选取方法.在形式化描述方面,主要研究成果有分布式描述逻辑、ε-连接及基于包的描述逻辑,比较分析了它们的特点和关联,讨论了有待进一步解决的问题.在构建和选取方面,介绍了模块化设计模式、模块化划分与抽取方法的最新研究成果.     

卡诺图在软件复杂分支条件简化中的应用

举例介绍了一种使用卡诺图对多变量多分支条件的复杂逻辑式同时进行简化,有效解决多分支条件等效简化、验证多分支条件间是否相互交叉或覆盖全面的方法。结合if-else语句特点,还能更大程度地简化分支条件。     

新闻推理与论证的语用逻辑研究

抽离语用属性、高度形式化的新闻推理与论证的分析及其评价方式已不能准确刻画、涵盖新闻报道中大量运用的、真实的推理与论证模式。当下非形式逻辑理论正在扩充和修改新闻推理与论证的既有形式化内涵,在并不排斥形式逻辑理性的前提下,致力于发现、分析和发展传受双方在日常新闻报道中所运用的论证标准、程序和模式。这些新闻推理与论证逻辑的语用价值走向对于新闻思维的具体内容和逻辑形式关系的建构有相当的现实意义。     

浅析普通逻辑教学方法

本文对教师在普通逻辑课的教学过程中，如何提高教学效果，激发学生的学习兴趣，使学生更好地掌握逻辑的规则和方法，简述了自己积累的经验和行之有效的方法。     

组合范畴语法与范畴类型逻辑的分析与比较

范畴语法的最早形式是 AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。