致敬所有母亲!“你妈是你妈”-哲学家,你怎么看?
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
返回 哲学园 返回首页 返回百拇医药