中国德迷联盟 - GerFans.cn

 找回密码
 加入联盟

手机号码,快捷登录

一个看似合理的逻辑推导,比较典型

[复制链接]
truelie 发表于 2014-8-7 10:23:11 | 显示全部楼层 |阅读模式
本帖最后由 truelie 于 2014-8-7 10:48 编辑

(a) 我是好人
(b) a,b中有且只有一句为真

没有任何其他前提设定。

推导过程:
如果b为真,则两句话一真一假,b为真因此a为假。因此我不是好人。
如果b为假,则两句话两真或两假,b已经为假因此a只能为假。因此我不是好人。



这个题似乎在很多地方出现,推导过程看似没问题,我觉得实际是有问题的。
应该算是悖论的一个特殊例子

PS:这并不是一个结论自相矛盾的命题,因此是否属于悖论一定存在争议。大概很多书还把这当作一个正面的例题。

从个人看法来说,虽然没有推出自相矛盾的结论,但仔细看可以看出命题中隐藏了一个否定的自指。
最大的问题在于,由一句话推导出另一句话必定为假,而两句话之间并没有任何设定中的关系。
换句话说,一句话在没有任何前提的情况下得出另一句话(内容随意)必为假,这是不符合逻辑的



补充内容 (2014-8-7 20:51):
a,b只是两句话,并不是条件。没有任何其他前提,就是说对a,b的真假情况没有限定
 楼主| truelie 发表于 2014-8-7 20:51:43 | 显示全部楼层
补充一下,a,b只是两句话,并不是条件。没有任何其他前提,就是说对a,b的真假情况没有限定
威悉河雄鹰 发表于 2014-8-8 13:59:07 | 显示全部楼层
说的没错啊,LZ牛逼啊,这个我还真没想到
我再想想有什么你没想到的
埃尔茨 发表于 2014-8-8 15:30:13 | 显示全部楼层
没有前提,谈不上逻辑啥的
 楼主| truelie 发表于 2014-8-9 11:28:06 | 显示全部楼层
威悉河雄鹰 发表于 2014-8-8 13:59
说的没错啊,LZ牛逼啊,这个我还真没想到
我再想想有什么你没想到的


这个题由来已久了,原题一般是两个盒子上各有一句话,第一句是“XX不在此盒中”,第二句是“两句有且只有一句真话”,然后让你推论XX在哪个盒子。
很多逻辑课老师把这个当作正确的例子来讲,
庄生梦 发表于 2014-8-15 11:44:38 | 显示全部楼层
本帖最后由 庄生梦 于 2014-8-15 12:32 编辑

LZ兄弟喜欢抽象思维,赞。。。

不过我认为这个经典的逻辑学例子其实并没有什么问题,你对其最大的质疑是“一句话在没有任何前提的情况下得出另一句话(内容随意)必为假,这是不符合逻辑的”。你之所以这样想,是因为你已经脱离了形式逻辑的范畴去思考这个问题,实际上已经从形式逻辑进入到认识论的领域中了。。。认识论讨论真假问题,用亚里士多德的话,就是主观与客观如何相符的问题(真理),而形式逻辑讨论的是纯语言与思维形式上的对错问题,以达到形式上的不矛盾为目标,而不是追求思维与存在的一致性。。。因此,从形式逻辑上来看,这ab两句话之间,并不是“没有任何设定中的关系”,而是已经在形式上由第二句话给定了关系,因此从一句推出另一句必定为假,实质上并非是“没有任何前提”的,因此也不是“不符合逻辑(形式逻辑)的”。。。当然,如果超出思维的范围,加入了对象世界,那么就不光是要考虑形式上的不矛盾,还要看你能否为任何事物都加上这样一种给定的前提关系,此时就要问一个问题“为什么ab中有且只有一句为真”,如果一个人坚持b命题的纯形式性(不下实质判断),那他就是拒绝进入认识论的世界,我们讨论真理问题时,就可以不理睬他了。。。而如果他要通过下实质性判断来回答这个问题,那就设定了二者间的关系,给出了前提,因此也就不再是纯形式命题,而是具有了实际内容,即已经过渡到了认识论的领域中。。。在区分形式逻辑与认识论的基础上,我们不必从后者出发来质疑前者中的一些命题,他们自有其存在之基础。。。
lukai 发表于 2014-8-24 15:39:56 | 显示全部楼层
1,a、b看似没有其他条件,其实是隐含了预设条件的,即它们在同一个系统中,并且都是合式公式(即有意义)。
2,形式逻辑并不对应现实,不应和现实混淆。
 楼主| truelie 发表于 2014-8-24 17:41:53 | 显示全部楼层
lukai 发表于 2014-8-24 15:39
1,a、b看似没有其他条件,其实是隐含了预设条件的,即它们在同一个系统中,并且都是合式公式(即有意义) ...


形式逻辑不用对应现实,但是其实质是关注推理有效性。
比如每天太阳从西边出来推出明天太阳从西边出来,这是有效的推理。

但是例如逻辑上的悖论就证明推理并非总是有效的,存在从形式上就自相矛盾的表述。最典型的就是谎者悖论和理发师悖论。
而这样的表述就不能推理出任何有效结论。这里就涉及到怎样的表述(或者说命题)能够进行有效推理?或者说能进行有效推理的表述应符合怎样的原则?

可推出自相矛盾的悖论是明显的反例,但不是所有的反例。有些表述不符合有效推理的原则,但是不像前者明显(不能直接推出自相矛盾)。
此例题中的b命题,就是这种不符合有效推理原则的表述。

并不能因为形式逻辑不同于现实,忽略了其追求有效推理的的本质。

以上只是个人看法,供有兴趣者一起讨论。本人不是逻辑专业,对于命题可否有效推理的原则结论也不甚了解。但认为此题的b项和谎者悖论违反的原则是一样的。

@庄生梦  
铁血战士 发表于 2014-8-24 18:37:57 | 显示全部楼层
你这只是两句空话。没有前提啊
您需要登录后才可以回帖 登录 | 加入联盟

本版积分规则

小黑屋|手机版|Archiver|中国德迷联盟 - GerFans.cn ( 辽ICP备17002255号 )|网站地图

GMT+8, 2024-5-17 10:54 , Processed in 0.028050 second(s), 13 queries , Redis On.

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表