逻辑演算与形式化方法

逻辑演算与形式化方法

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

作 者： 孙明湘 李霞飞   作者单位： 中南大学政治学与行政管理学院,湖南,长沙,410083  刊 名： 中南大学学报(社会科学版)  英文刊名： JOURNAL OF CENTRAL SOUTH UNIVERSITY(SOCIAL SCIENCE)  年，卷(期)： 2003 9(1)  分类号： B813 O141  关键词： 逻辑演算   形式化   形式系统   解释  

【逻辑演算与形式化方法】相关文章：

关于辩证逻辑形式化问题04-28

水库调洪演算方法比较与改进04-29

飞机结构试验载荷演算方法研究04-27

相对论的产生与形式化方法04-29

联合演算何以可能04-29

浅谈逻辑陷阱及其应对方法04-27

试探论辩中“问”与“答”的逻辑方法04-27

走出形式化的困境04-29

为什么实验方法和逻辑方法对科学特别重要?04-29

科学逻辑方法在创造思维活动中的运用04-28