论文部分内容阅读
文章认为,蕴涵关系＂P→Q＂基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以使我们对反证法有新的认识.实际上,由于＂已知事实＂的被忽略,反证法的两种常见模式——＂~P→P,所以P＂与＂~P→Q,~P→~Q,所以P＂——都是存在问题的;为此,在所谓的标准模式中,笔者特别强调了＂已知事实＂的重要性.最后,通过梳理哥德尔不完全性定理的整个证明过程,发现了三个导致其证明无效的重要因素：（1）根据＂定理Ⅴ＂推导的式（15）（16）有误,并且两式的＂或＂关系,被