[摘要]“王文”认为,逻辑定理是通过严格的证明得到的,逻辑不会出错。实际是:逻辑运用的是演绎证明方式,而要保证演绎证明的结论(逻辑中的定理)正确,作为演绎证明的前提必须真实,但任何演绎逻辑系统都没有也根本不可能解决其总前提的真实性问题;真值表以及同一律、矛盾律、排中律是演绎逻辑系统的总前提,但它们在该系统中是未经过证明的;实践是检验真理的唯一标准,辩证法自创立以来,已是为全人类的实践证明了的颠扑不破的真理。
[关键词]逻辑 演绎证明 归纳证明 实践证明
〔中图分类号〕B812;B811〔文献标识码〕A〔文章编号〕1000-7326 (2010) 10-0012-06
作者简介马佩,河南大学人文社科研究中心教授(河南开封,475001)