作者luciferii (路西瓜)
看板W-Philosophy
標題Re: [討論] 廢死與國家戰爭權
時間Fri May 28 17:01:44 2010
※ 引述《MathTurtle (恩典)》之銘言：
: 這樣有點怪。
: 這樣的意思是: 必然地所有案件都是誤判, 因此任何案件都不能判死。
: 但似乎沒有誤判論會同意這麼強的前提,
: □Vx(Mx)要求每一個案件都是誤判, 且要求無論任何情況每一個案件都是誤判,
: 也就是說, 你這裡的前提須要, 根本就不可能存在沒有誤判的案例,
: 但這似乎不會有人相信, 連誤判論者也不太會用這麼強的前提。
中午急著出門，把M看錯了
我指的 M 是 x可能會有誤判
: 誤判論者只需要 □Ex(Mx), 即必然地存在著誤判的案例,
: 也就是說, 無論司法再怎麼改善, 至少都還會有一件(雖然我們不知道是哪一件)誤判。
一樣套用你的定義，x表會被判死刑的案子
現況是
□Ex(Mx) -> Vx(NDx)
但
□Ey(~My)
y的集合Y，是X的子集
則我們令 Y=X 時，即，將可判死的集合限縮到 Y時
□Vy(~My)
這就讓
□Ex(Mx) 不成立。
因此
「無論司法再怎麼改善, 至少都還會有一件(雖然我們不知道是哪一件)誤判。」
這句話並不成立。
這是回歸我第一篇文所提出的問題。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.4.43
※ 編輯: luciferii 來自: 59.121.4.43 (05/28 17:14)