[摘要]“王文”認為，邏輯定理是通過嚴格的證明得到的，邏輯不會出錯。實際是:邏輯運用的是演繹證明方式，而要保證演繹證明的結論(邏輯中的定理)正確，作為演繹證明的前提必須真實，但任何演繹邏輯系統都沒有也根本不可能解決其總前提的真實性問題;真值表以及同一律、矛盾律、排中律是演繹邏輯系統的總前提，但它們在該系統中是未經過證明的;實踐是檢驗真理的唯一標準，辯證法自創立以來，已是為全人類的實踐證明了的顛撲不破的真理。
[關鍵詞]邏輯 演繹證明 歸納證明 實踐證明
〔中圖分類號〕B812;B811〔文獻標識碼〕A〔文章編號〕1000-7326 (2010) 10-0012-06
作者簡介馬佩，河南大學人文社科研究中心教授(河南開封，475001)
