略谈陈慕泽对王宪钧等的两点批评
陈慕泽先生在《全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题》一文中,对王宪钧的《数理逻辑引论》、张尚水的《数理逻辑导引》和周礼全的《模态逻辑引论》中关于形式化公理系统的设置提出两点批评.本文简要地分析这两个批评,指出陈先生的第一个批评是一种误解,而第二个批评是恰当的,在简要地分析有前提的演绎与推理规则两个概念的基础上,尝试在不改变王先生等关于形式化公理系统设置的前提下,重新定义有前提的演绎这个概念.
2015-03-04(万方平台首次上网日期,不代表论文的发表时间)
共8页
245-252