河南师范大学学报(哲学社会科学版)

2007, No.127(06) 48-51

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

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

曹飞;

摘要(Abstract):

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

关键词(KeyWords): 逻辑矛盾;辩证矛盾;辩证逻辑;命题演算系统

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 曹飞;

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享