作者COCOAII (yaya)
看板W-Philosophy
标题Re: [问题] CI是什麽？道德原则可以是条件句吗？
时间Wed Jan 24 15:59:39 2007
※ 引述《IsaacStein (My Name)》之铭言：
: 0. 如果「保秘防谍」做为手段，并不足以达成「效忠国家」这个目的，
: 那「保秘防谍」就会丧失其应然约束力
: 这是0.，如果把它形式化的话：
: Sx：x是保密防谍的行为
: Lx：x是效忠国家的行为
: Ox：x有应然的约束力
: 0. (x)[(Sx→~Lx)→(Sx→~Ox)]
: 而你认为0.→1.（0.蕴含1.）
: 1. 针对效忠国家这个目的而言，在某些情况下，保密防谍无法达成这目的。
: 而就保密防谍无法达成效忠国家这个目的的情况而言，
: "保密防谍"这令式丧失了应然的拘束力。
: 形式化则是：
: 1. (Ex)(Sx & ~Lx)→(x)(Sx→~Ox)
: 0.＝0'. (x)(Sx→~Lx)→(x)(Sx→~Ox)
这边符号化我也不懂。
「若A不足以完成B」我会简单地符号化为 ~(A->B)，
并且为何要在「(x)[(Sx→~Lx)→(Sx→~Ox)]」的(Sx→~Ox)加上Sx→？
我觉得并不需要。
不过我还没完整地看完讨论串，先提出我的疑问，
我是就一般情况下我会如此符号化。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.108.83
1F：推 realove:因为他们的讨论好像要用到量化词..呵 翻译起来 很昏呀~ 01/24 16:01
2F：推 somedoubt:翻译的一个准则就是要确定原句与翻译後的语句的真值条件 01/24 16:39
3F：→ somedoubt:相同，只要遵照这原则去检验，通常不会犯错。 01/24 16:40