逻辑演算与形式化方法

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

现代逻辑对文学的渗透

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

Specialization and the Survival of Self‐Help Organizations

This article examines the survival rates of 589 self‐help organizations in order to understand how self‐help niches, organizations specializing in biomedical, human services, and behavioral health, differentially impact longevity. Drawing on a study of the self‐help movement, we examine how the various mechanisms by which specialization impacts self‐help movement organizations' chances of survival. Extending the concepts of embeddedness, countervailing powers, and organizational specialization to self‐help organizations, we investigate how formal structures and professional alliances differentially promote longevity. Results show how formalization enhances self‐help organizations' longevity, and serves as a mechanism by which specialization impacts organizational viability. While formalization has a robust and beneficial impact on longevity, some professional linkages are negatively associated with survival and others are positively associated with it.     

再谈辩证逻辑

苏联逻辑学界曾认为“形式逻辑辩证化”是错误的,这个说法不能成立。辩证逻辑原是范畴体系,否认辩证逻辑是哲学,辩证逻辑就将失去最后的立足点。“马克思主义的科学逻辑学”这种说法慎提为要。类的包含于关系的传递性是思维形式barbara的抽象内容。辩证逻辑要真正成为逻辑,必须形式化,而形式化必须遵守形式化的“游戏规则”。     

试论企业管理的规范与创新

管理规范化是提高企业管理水平的基础环节,是管理科学化的必然要求。管理创新是企业创新的组织保证,是管理实现个性化的主要手段。管理规范化与管理创新既有对立性,又有统一性。不同类型的企业及企业的不同时期对管理规范和管理创新应有所侧重,企业组织设计时,应寻求管理规范与管理创新的有机融合。     

过程工业故障诊断知识描述及形式化

本文根据智能工程技术，在开发过程工业集成化智能诊断软件系统的实践中，通过对过程工业故障诊断共性的分析，提出了过程工业故障诊断知识描述及形式化，研究了化工过程故障诊断浅知识模型和深知识模型的集成机制，以化工过程为例，用ＩＩＦＤＳ提供的面向对象知识表达方法，实现了一个诊断系统。     

论90年代文学审美意识走向

90年代以来,文学审美经历了政治群体意识向自由个体意识的激变并形成了三个生成点:追求一种以零度情感为特征的叙事策略,使审美形式化;以苟安的众生相描绘为特点的审美庸俗化;颓废美成为作家价值失范、精神虚无中的无奈追求。这三种审美趋势反映在作品中则呈露出大面积的审美感性泛化趋势,要不要重返理性王国应成为90年代以来文学面临的重要问题。     

Biased networks and social structure theorems

It is shown that the part of Peter Blau's theory of social structure bearing on heterogeneity can be imbedded within the framework of biased networks, thereby clarifying conceptual aspects of the theory as well as providing a mathematical proof of the most central heterogeneity theorem for a class of networks. The key step is the postulation of a mathematical concept of salience, called an ‘inbreeding bias’ in prior work, which corresponds to Blau's fundamental axiom. In addition, there are derivations and discussions bearing on related topics in the analysis of social structure.     

作为认知信念的辩证法

辩证法有本体论、认识论和辩论方法三个层面的原初语义。揭示和反映认识对象相反相成的矛盾属性是辩证法的精神所在,体现辩证精神的思维即辩证思维。学界试图刻画辩证思维结构而建构辩证逻辑的形式系统,但其公认度较低。这既有逻辑思想和技术不成熟的原因,也有辩证法理论不精细的原因。现在的辩证法理论及其理念,可以为人们把握事物发展状况提供认知信念,但不具有精确地演算和预测事态变化的功能。     

传统逻辑直言命题推理的扩充

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。