作者copular (睡中乾坤)
看板logic
标题Re: [请益] 以逻辑学解释问题
时间Sun Dec 25 23:02:05 2005
※ 引述《redmilk (not important)》之铭言:
: ※ 引述《copular (睡中乾坤)》之铭言:
: : 爱丽丝的意思应该是「我说的就是我心里所想的」和
: : 「我心里所想的就是我说的」是一样的
: : 在逻辑语义(也就是真值语义)上确实是一样的:
: : Ex(S(x)^T(x))
: : S(x):我心理想x
: : T(x):我说x
: 我觉得是推论的顺序不同的缘故
: 爱丽思说的是 T(x) -> S(x)
: 这不能反推
: 意思是 虽然她说的是她心里想的 但她心里想的不一定是她说的
: T(x) -> S(x) 等同於 ( not T(x) ) or S(x)
: 这很有趣 因为这T(x)和S(x)有交集
: 甚至两者的交集大到"看起来"两者一样
「我说的就是我心里所想的」这句话是有歧义的
我从前後文来看觉得比较像是Ex(S(x)^T(x))
但你觉得是Ax(T(x)->S(x))
所以有两种可能
爱丽丝的意思是Ex(S(x)^T(x)) <-> Ex(T(x)^S(x))
但其他角色故意曲解成Ax(T(x)->S(x)) <-> Ax(T(x)->S(x))
并照样造句凸显其荒谬
另一种可能是爱丽丝真地犯了这个逻辑谬误
其它角色在提醒她
不过这个章节在我印象中
那些角色都是极尽kuso之能事
好像第一种可能性比较大
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.58.34.176