哲学 >> 河南师范大学学报：哲学社会科学版 >> 2007年34卷6期 >> 摘要

一个严格区分逻辑矛盾与辩证矛盾的辩证逻辑的命题演算系统

免费下载

[全文大小：144 K]

曹飞

中共陕西省委党校哲学部,陕西西安710061

国际标准刊号：ISSN 1000-2359

国内统一刊号：CN 41-1011

摘　　要:

本文在严格区分逻辑矛盾与辩证矛盾的基础上建构了一个辩证逻辑的命题演算系统PC2，证明了PC2的可靠性和完全性，简要地讨论了几个与PC2相关的系统——形式逻辑的命题演算系统PC1、形而上学逻辑的命题演算系统PC3、怀疑论逻辑的命题演算系统PC4，并以此为基础进一步探讨了逻辑矛盾与辩证矛盾以及形式逻辑、辩证逻辑、形而上学逻辑、怀疑论逻辑之间的关系。[著者文摘]

关键词:

逻辑矛盾辩证矛盾辩证逻辑命题演算系统

曹飞(1965一)，男，安徽望江人，中共陕西省委党校哲学部主任、教授、硕士生导师。形式逻辑不矛盾律是形式逻辑的基本规律，辩证矛盾律是辩证逻辑的基本规律。笔者认为，形式逻辑是一般逻辑，辩证逻辑是特殊逻辑，辩证思维既要遵循辩证矛盾律等辩证逻辑的基本规律的要求，也要遵循不矛盾律等形式逻辑的基本规律的要求。鉴于此，本文在严格区分逻辑矛盾与辩证矛盾的基础上构造一个辩证逻辑的命题演算系统，其中形式逻辑不矛盾律和辩证矛盾律都是定理，以此说明形式逻辑与辩证逻辑是完全可以相容的。一、辩证逻辑的命题演算系统PC (一)PC 的语法和语义1．语法初始符号：甲．P，P1，P2，P3，?，P ，?，rn为自然数。乙．广，] ，V．丙．(，)．在陈述形成规则以前，我们先引进一些语法语言的符号并作说明如下：收稿日期：2007—06—20 · 48 · (1)Q、R、S代表任一甲类符号。(2)X、Y、Z代表任一符号序列。(3)A、B、C、D、E代表任一合式公式。(4)语法符号“卜......