一个命题逻辑的反驳演算系统

发布时间：2017-09-25 01:05

  本文关键词：一个命题逻辑的反驳演算系统

  更多相关文章： 命题逻辑 逻辑有效式 维茨 矛盾式 现代逻辑 当且仅当 公式集 证明系统 智力活动 公理系统

【摘要】：正论证过程包括相互联系的两个方面:证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程,反驳是论证主体对所反对的观点进行归谬的过程;证明是求得真知的过程,反驳是揭露谬误的过程;证明所依据的是逻辑有效式,反驳所依据的是逻辑矛盾式。自现代逻辑产生以来,人们发现、建构了许多证明系统,但是对于反驳的研究,相比较而言,则显得非常匮乏。卢卡西维茨曾经指出:"关于断定一个命题和排斥一个命题这两种智力活动,现代形式逻辑只就第一种加以考虑。弗莱格把
【作者单位】： 中国社会科学院哲学所;
【关键词】： 命题逻辑;逻辑有效式;维茨;矛盾式;现代逻辑;当且仅当;公式集;证明系统;智力活动;公理系统;
【分类号】：B812.22
【正文快照】： 论证过程包括相互联系的两个方面:证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程,反驳是论证主体对所反对的观点进行归谬的过程;证明是求得真知的过程,反驳是揭露谬误的过程;证明所依据的是逻辑有效式,反驳所依据的是逻辑矛盾式。自现代逻辑产生以来,人们发现、建

【参考文献】

中国期刊全文数据库 前1条

1 刘新文;;命题逻辑的证伪系统[J];湖南科技大学学报(社会科学版);2011年03期

【共引文献】

中国期刊全文数据库 前10条

1 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期

2 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期

3 杜国平;王洪光;李娜;朱梧i，

本文编号：914474