※ 引述《nidor (awful)》之銘言：
: ※ 引述《MathTurtle (恩典)》之銘言：
: : 認為科學追求真理的人可以這樣回應:
: : 「你誤會了什麼叫真理。真理與解釋是兩回事。
: : 科學可以謙卑地接受自己的理論可能為假, 可能不被未來的科學社群接受,
: : 但這不表示科學不能宣稱自己在追求與發現真理。
: : 科學追求真理, 提出理論與假設, 並用實驗或其餘觀察方式加以證實或證偽,
: : 但科學理論可能為真, 可能為假, 追求真理與避免虛假, 這是科學的目標,
: : 如果無真偽可言, 只是以解釋為目的, 我們甚至沒有一個共同的架構可以
: : 「談」是否科學理論在什麼條件下驗證了真, 在什麼條件下失敗了。
: : 就是因為科學追求真理, 這才使得科學可以謙卑地接受自己理論有被否證的可能」。
: 我看不出來爲什麼當科學提出一個假設，卻不可以被檢驗其真偽。
: "小叮噹來自24世紀"可以被判定真偽，卻不一定需要小叮噹確切存在的真理。
你舉的例子是假命題, 小叮噹來自24世紀為假,
因此不需要關於小叮噹的真理,
但對於為真的命題, 我們便需要有相應的真理或事實,
如果真理不存在, 那麼不真也不存在,
你所謂的「檢驗其真偽」是什麼意思呢?
我認為, 只有當真理存在時, 你才可以檢驗命題是否為真,
因為如果可以檢驗一個命題是否為真,
就表示這個命題或者為真或者為假,
若這命題為真, 則我們就有真理,
若這命題為假, 則其否命題為真理,
無論何種情形, 都有真理存在,
因此如果可以檢驗一個命題為真或為假,
表示有真理存在。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 131.111.224.87