维特根斯坦：“不被任何人理解是非常痛苦的。”
1、关于理发师悖论
在一个村子里有一位理发师，这位理发师声称：“给而且只给那些不给自己理发的人理发”。现在问理发师是否要给自己理发。如果理发师不给自己理发，那么根据定义，他要给自己理发；如果理发师给自己理发，那么根据定义，他不能给自己理发。这就是著名的“理发师悖论”。
当前主流的解悖方案是蒯因的方案。蒯因的论证过程：假设村子里有如此一位理发师。如果他要给自己理发，根据他的规则，他不给自己理发。如果他不给自己理发，根据他的规则，他要给自己理发。矛盾。因此假设不成立，如此一位理发师不存在。
这个论证过程是错误的，因为矛盾并不是来源于理发师存在这个前提。其实，理发师给出的规则对于“理发师要不要给自己理发” 没有定义，只是给出了一个矛盾式。如果认为存在定义，就会产生矛盾。这才是矛盾的根源。所以，矛盾说明的是理发师并没有为“是否给自己理发”给出规则。如何解决呢？很简单，关于“理发师是否给自己理发”，理发师可以再制定一个新规则。
2、维氏对于数学基础：数学家更多是在发明
从罗素时代至今，很多学者会认为数学家的工作是在发现真理。但在维氏看来，数学家的工作更多的是在发明。
维特根斯坦反复强调：“数学家不是发现者，而是发明者。”，又说“数学家一直在发明新的描述形式。有的人受实际需要的刺激，另一些人出自审美需要，还有些人以其他种种方式。”
数学家的工作与纯逻辑家的工作不同，他们并不只是进行分析与推理，更重要的是进行综合与创造，欧氏几何与非欧氏几何的公理都是综合与创造。当数学家在概念框架内推演定理，他们是在进行分析与推理，这时候比较接近于“发现”。当数学家在给出定义、公理与概念框架的时候，他们是在综合与创造，这时候比较适用于“发明”。
所谓的发现观，就是数学理论本来就在那里，就像是客观真理或者上帝旨意，而数学家发现了它。所谓的发明观，就是数学理论本来是没有的，数学家发明了它构造了它甚至可以改变它。
3、关于罗素悖论
理发师悖论可以表达成集合论的形式，就是罗素悖论。
R={x | x不属于x }，然后现在问R是否属于R。如果R不属于R，那么根据定义，R属于R；如果R属于R，那么根据定义，R不属于R。
基于这两种不同的数学哲学基础，面对悖论问题时，可以得出很不相同的分析方式和解决方式。一百年前出现罗素悖论的时候，数学家们普通接受“发现”的数学哲学观点，当数学出现悖论的时候，就觉得天塌下来了：我的上帝，是不是客观真理出问题了，或者上帝旨意出问题了？如果是以维氏“发明”的数学哲学观点，就觉得没有什么大不了的，根本不是客观真理出问题了，而是数学家主观观念出问题了。数学家构造的规则矛盾了，在矛盾的地方再构造一个新规则就是了。
举个例子，就像一开始根据乘法来定义除法a/b=c iff a=b*c，就会得出0/0=2=3这样的矛盾。怎么解决这里的矛盾呢？难道要取消所有的除法？当然不是了，只需要在矛盾的地方重新定义一下：0不能作除数。瞧，问题就解决了。
那么，具体到罗素悖论，如何分析和解决呢？很简单，R是数学家发明构造的，数学家给出的规则对于“R是否属于R” 给出了一个矛盾式的规则，相当于没有定义。没有定义起码有三种可能性：缺少定义，重言定义，矛盾定义。例如对于变量x没有任何定义，这是缺少定义；对于x定义为x，这是重言定义；对于x定义为（x=0 if x=1 and x=1 if x=0），这是矛盾定义。这三种定义，都没有给出正确的定义。
那么，如何解决罗素悖论呢？很简单，对于“R是否属于R”此处进行重新定义，属于不属于都可以，或者说此处没有意义也可以。数学家构造的理论出现矛盾了，就像人们讲话出现了矛盾了一样，解决的方法很简单：“对不起，我没有注意到这里有矛盾，我重新说明一下，此处应该是如此如此。。。”
如果你认为数学家是在发现客观真理，那么你就不会接受维氏的分析和解决。如果你认为数学家是在发明主观理论，那么维氏的分析和解决再清楚再简单再合理不过了。
爱因斯坦说：“我们面对的重大问题无法在我们制造出这些问题的思考层次上解决。”
有时候，数学的问题，应该在数学之外得到解决。
进一步参阅：
1、庄朝晖，基于对角线引理和维特根斯坦思想对于悖论的分析，第六届全国分析哲学学术研讨会，山西大学，中国，2010年8月（入选《中国分析哲学 2010》，中国现代外国哲学学会分析哲学专业委员会编，浙江大学出版社，2011年10月，67页-76页）
2、 庄朝晖，关于对角线方法和停机问题的评论，第五届两岸逻辑教学与研究学术会议，重庆西南大学，2012年4月.
3、庄朝晖，基于直觉主义对哥德尔不完全性定理的评论，《厦门大学学报（哲社版）》，第2期，2008（并以此文获得首届洪谦哲学论文奖）
网友评论