10.3969/j.issn.1674-8425.2011.03.002
论哥德尔语句的维特根斯坦疑难——未提及自身的算术命题何以谈论自身?
维特根斯坦就哥德尔语句G提出了如下疑难,这个并未提及自身的算术命题何以竟会谈论自身?借助特定元数学关系的计算机可判定性及其特征函数的算术可定义性进行深入分析,即可得出以下结论:G非但没有提及自身,甚至也没有谈论自身,而只不过是涉及了自身--是G的推论在谈论G.
哥德尔语句、维特根斯坦、提及自身、谈论自身、涉及自身
25
B81-05(逻辑学(论理学))
2011-08-05(万方平台首次上网日期,不代表论文的发表时间)
共7页
12-18