一个弗协调真值道义逻辑系统
@@善良的撒玛利顿人悖论是真值道义逻辑系统所独有的一种道义逻辑悖论,最早由A.N.Prior于1958年提出。其形式表述为Fα∧□(β→α)→Fβ,其含义是如果α是禁止的,β衍推α,则β也是禁止的,即能衍推禁止行为的行为本身也是禁止的。举例来说,抢劫毫无疑问是禁止的,而帮助一名被抢劫者无疑衍推抢劫发生了,根据上述公式,帮助被抢劫者的行为也是禁止的。这当然是荒谬的。其中所包含的悖论通常称为善良的撒玛利顿人悖论。...
协调、抢劫、人悖论、行为、逻辑系统、逻辑悖论、公式
B0(哲学理论)
2007-07-26(万方平台首次上网日期,不代表论文的发表时间)
共6页
75-80