R.斯穆里安的四个哥德尔式论证的无效性.pdfVIP

中国科技论文在线 R.斯穆里安的四个哥德尔式论证的无效性 杨六省* （陕西省长安师范学校，西安 710100 ） 5 摘要：目的讨论“不可证明的真语句”是否真的存在。方法 以一条叫做逻辑先后律的思 维原则为工具，对R.斯穆里安的四个哥德尔式的论证进行剖析。结果发现 不可判断语句， 由于违反逻辑先后律，故不真；论证中，或由于前提不真，或由于排中律的不当应用等，从 而使得四个推理形式均无效。结论 “不可证明的真语句”的任何存在性证明都是非可靠推 理，是不能被接受的；不管是无限集还是有限集，排中律均并非恒有效。 10 关键词：证明论；不可判断语句；逻辑先后律；排中律 中图分类号：014 文献标识码：A Unavailability of Raymond Smullyans Four Godel-type argument 15 YANG Liusheng (Shanxi Changan Normal School, Xi’an 710100) Abstract: Objective To discuss if “true but unprovable statement”really exists. Methods Analyze Raymond Smullyan’s four Gödel-type argument by taking the pinciples of thinking called Law of Logic Order as tools. Results The results show that the undecidable sentence is not true because 20 it violates the Law of Logic order; in justification, the four forms of inference are all invalid either because of false premise or because of improper use of Law of Excluded Middle. Conclusion All existence proofs of “true but unprovable statement” are of non-reliable inferences that are not acceptable; either for the infinite set or for the finite set, Law of Excluded Middle is not always effective. 25 Keywords: Proof theory; undecidable sentence; Law of Logic Order; Law of excluded middle 0 引言 哥德尔不完全性定理，早已为学界所普遍接受。由于这是一个基础命题，理应存在能为 普通读者所理解的通俗的表述形式。事实上，世界著名数学家、逻辑学家和哲学家雷蒙德·斯 30 穆里安(Raymond Smullyan)在他的许多通俗读物中，对哥德尔证明所涉及的思想，有着很多 有趣的表述。本文所列举的四个哥德尔证明的通俗版本，是出自 R.斯穆里安的《哥德尔的 不完全性定理》一文。哥德尔定理的核心思想，用通俗的话说就是