作者catso (catso)
看板logic
标题Re: [请益] 有个逻辑宝箱问题
时间Fri Oct 7 02:01:01 2005
可能使我们的术语表有所不同，我重新表述一下。
首先回顾一下Liar Cycle亦即Liar Paradox的复杂形式：
例：The next sentence is false.
The preceding sentence is true.
可表述为以下等价形式：
If this whole sentence is true then the next sentence is false.
If this whole sentence is true then the preceding sentence is true.
因为两句话循环否定自己，而同时又肯定自己，所以不可能从这两句话中判断出谁是liar.
但原po中有另外的命题“黄金在甲箱中”。即在例示的句子的结果子句中（then后）有
加入新的命题P：
If this whole sentence is true then the next sentence is false and P.
If this whole sentence is true then the preceding sentence is true and P.
此时，就不存在悖论了，因为无论“the next sentence is false”被推翻还是P被推翻
都能引起“this whole sentence is true”被推翻。单独推翻P，就不会引起Liar Cycle
这就是为什么此题不存在悖论的原因。
※ 引述《aletheia (HERESY)》之铭言：
: ※ 引述《aletheia (HERESY)》之铭言：
: : 标题: Re: [请益] 有个逻辑宝箱问题
: : 时间: Thu Oct 6 14:20:58 2005
: : → catso:首先要说明的是此题并不涉及liar paradox，为何如下： 10/07 01:14
: : → aletheia:直接用回文的吧 10/07 01:17
: : → catso:在lp中，须单命题或多个命题间有必然自逆现象，注意“必然” 10/07 01:15
: : → catso:而此题中加入了“是否有黄金“这一条件 10/07 01:18
: : → catso:故在命题的逆反中存在析取式(disjunction) 10/07 01:19
: : → catso:所以打破了自逆的必然性，可排除lp的干扰。（结束） 10/07 01:20
: 你讲的是狭义的Liar Paradox
: 通常来说 我们讲Liar paradox的时候
: 包含了明信片悖论 T-shirt悖论 这一类(liar cycle)
: 也就是原po说的宝箱的例子
: 另外 你是大陆同胞吗
: 为什麽好好的句子要写成 "故在命题的逆反中存在析取式...."
: 大多数的板友 包含我自己 都只有粗浅的逻辑背景
: 所以能尽量写简单点就写详细点吧
: liar cycle的出现就是在说
: 主张造成liar paradox的原因是self reference的论点
: 其实是有问题的
: 而问题的解决 目前的一些方式
: 都是藉由超出first-order logic的方式进行
: 像是Tarski在语意上动手脚
: 或是Russell在语法上动手脚把语意悖论(包含Liar)都排除掉
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.240.209.192
※ 编辑: catso 来自: 220.240.209.192 (10/07 02:08)
1F：→ catso:我的编辑是否把你的推文覆盖掉了？ 10/07 02:09
2F：→ catso:另回你问，我是大陆人，在澳洲，做知识表达的研究， 10/07 02:18
3F：→ catso:可以说是逻辑学专业吧。一只想找个有逻辑版的大学生中文bbs 10/07 02:21
4F：→ catso:可能在术语表达上略有不同 10/07 02:23
5F：→ aletheia:我想专业术语用英文来写 大多数板友应该都看的懂的 10/07 02:41
6F：→ aletheia:应该啦 只要不写太多就好 10/07 02:42