关于真，证伪，艺术定义，老鼠和大象

1

在实验科学上，一个真命题，是指一个逻辑上可证伪，又至今尚未被证伪的命题。

在逻辑上或数学上，一个真命题，是指一个不可被证伪的命题。

在艺术中， 真，是指作者或(和)读者在一个时刻(自)以为 真实。

艺术中的真，既无实验科学上的可证伪性(用哥德尔定理可以证明：不存在100%精确
的测谎仪)，也无逻辑上的不可证伪。进而应当完全被艺术理论忽略。

2

哥德尔(参见附)定理：

　　“任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概
念，就可以在其中构造在体系中既不能证明也不能证伪的命题。” (为师母已呆跟
贴而选。)

3

“艺术的现代定义是：在(感者)感官可接受的空间里，用在给定的时间里(感者)可
感的形式去引起(感者)非理性的感受。”

这里，按照常识，我们排除了直接生理感受的活动， 如吃喝拉撒，打与被打，性活
动等。吸毒可与烟酒类似归于此列。

然而灰色领域的“行为艺术”对以上的例外有所挑战。(艺术)演员痛打观众，强迫
观众吃巨辣食品，或与观众强行做爱，有理由被认为是行为艺术。

这里不清晰而需要探讨的是宗教活动。鉴于宗教的敏感性，不建议在BBS讨论。

4

与一堵墙，一颗树等等相比，显然大象与老鼠的共性更大。

日本财务大臣说：“我做财务大臣不是用财务知识，而是用常识。”

5

谢谢色书生等引起的新一轮讨论。

-----------------------------------------------------------

附：

生于捷克的布尔诺，卒于美国普林斯顿。早年在维也纳大学攻读修读理论物理、基
础数学，后来又转研数理逻辑、集合论。但1940年代中就将注意力投放在哲学上，
并参加哲学小组活动。1930年获博士学位。其博士论文证明了「狭谓词演算的有效
公式皆可证」。之后在维也纳大学工作。1938年到美国普林斯顿高等研究院任职，
1948年加入美国籍。1953年成为该所教授。哥德尔发展了冯诺伊曼和伯奈斯等人的
工作，其主要贡献在逻辑学和数学基础方面。在20世纪初，他证明了形式数论（即
算术逻辑）系统的「不完全性定理」：即使把初等数论形式化之后，在这个形式的
演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无
法证明它为假。这一着名结果发表在1931年的论文中。他还致力于连续统假设的研
究，在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了
（广义）连续统假设的相容性定理，并于1940年发表。他的工作对公理集合论有重
要影响，而且直接导致了集合和序数上的递归论的产生。此外，哥德尔还从事哲学
问题的研究。他热衷于用数理逻辑的方法来分析哲学问题，认为健全的哲学思想和
成功的科学研究密切相关。他在1967年致中国数学家王浩的信中，自称为「客观主
义」，并说他的客观主义观点对于他的逻辑研究来说是根本的。1951年获爱因斯坦
勋章。哥德尔一生发表论著不多。他发表于1931年的论文《〈数学原理〉（指怀德
海和罗素所着的书）及有关系统中的形式不可判定命题》是20世纪在逻辑学和数学
基础方面最重要的文献之一。

性格

　　哥德尔是个要求严格的人。因此，他很多的想法在生前都没有正式发表甚至记
录，要逝世后从其手稿找出。

　　他不喜欢谈论自己或受到注目。哥德尔曾要求王浩在死后才可以发表一篇有关
他的传记。他在学术研究之外的东西，都不公开发表意见。

　　他亦讨厌旅行。

　　他自幼多病，而且从小便患了疑病症。他还患过抑郁症。后来他在普林斯顿的
医院绝食而死，因为他认为那些食物有毒。

社交

　　哥德尔的妻子原本在夜总会工作，还已婚。他们的婚姻遭到哥德尔家人反对，
但有情人终成眷属，在1938年9月20日结婚。他们没有小孩。

　　他和家人感情不坏，哥德尔去了美国后还常常跟他们书信，之后接他们到美国。
但其家人似乎对他了解不深：读大学时，哥德尔的兄长研习医学，从其他人口中才
知道他在数学方面颇有名气。

　　在普林斯顿时，哥德尔和爱因斯坦成了很好的朋友。后人常将他们比较。哥德
尔和爱因斯坦都在自己的范畴有极为重大的贡献，很聪明，有好奇心，直率。但爱
因斯坦性格开朗外向，这点和哥德尔大相径庭。爱因斯坦的死对哥德尔的情绪有很
大打击。