致敬所有母亲!“你妈是你妈”-哲学家,你怎么看?
2015/5/10 哲学园

     哲学园原创,作者iwish

     欢迎转发朋友圈

     公众号及媒体转载无需联系小编

     但请注明“来源公众号:哲学园”

     哲学园IWISH/文

     如何证明“你妈是你妈”?对于哲学家来说,是一个有趣并且值得探究的问题。

     哲学家首先会想到,这个陈述符合同一律形式,即 A=A,意思就是:A是A,“你妈”当然是“你妈”啦!同一律包含三个同一:概念自身同一,对象同一,判断同一。同一律、矛盾律、排中律并称逻辑思维三大基本规律,后来,德国的莱布尼兹又提出了一条充足理由律。

     对于这个命题,哲学家是不会去证明它的。但哲学家也不会拒绝出境游要求的母子关系证明,因为,出入境部门并不会说:你要证明:你妈是你妈,而是说:你必须提供“XXX人是你妈”的证明材料。这个要求,对于仅仅为出国旅行提供一个紧急联系人来说,可能过分了些。但在某些情形下,这个要求是必不可少的。比如,你已移民加拿大,你正在按照亲属移民的政策办理你母亲的移民,按照规定,加拿大移民局要求你出具亲属关系证明,这时,你必须提供经公证的亲属关系证明。

     现实中证明“XXX人是你妈”可以有很多方法,比如提供出生证明,户口本,DNA检测等等。

     哲学家不需要这些,哲学家会玩一个文字游戏,他会吧“XXX人”换一个说法,变成“生你的女人”。这样

     “XXX人是你妈”

     就转变为

     “生你的女人是你妈”

     哲学家把这样的语句命名为“重言式语句”。

     这样的语句还有:

     所有单身汉都是未婚男人;

     所有的三角形都有三条边,等等。

     文字游戏玩到这里,当然会引起很多人吐槽:这些2B哲学家真是无聊,不 zuo si 不行啊!但哲学家就是这么2,他们还要玩得更high。一个叫塔尔斯基的老兄就是其中的一位大high家。他提出一种玩法叫

     “T-语句”

     是这样说的:

     “雪是白的”为真,当且仅当雪是白的

     也就是:

     “XXX是你妈”是真的,当且仅当XXX是你妈!

     这是玩得啥?尼玛想用个引号玩我!

     你以为你去了引号我就认不出你啦!

     嘘...嘘...

     塔尔斯基要你保持沉默,他叫你去看看他的葵花宝典《形式化语言中真这个概念》。

     逻辑学家和哲学家就玩这些玩出了名堂,我们现在用的电脑,我们使用的程序,都是建立在这些逻辑理论基础之上的。哥德尔、塔尔斯基他们对数理逻辑的贡献为我们今天的计算理论奠定了基础,所以不要小瞧这些哲学家无聊的玩法哦!

    http://www.duyihua.cn
返回 哲学园 返回首页 返回百拇医药