看板
[ logic ]
討論串[請益] 矛盾
共 12 篇文章
內容預覽:
Compatibilist應該會持反對看法吧 他們認為是自由意志和決定論是共容的. 恩 這邊我不熟. 這是反對排中律後可能的結果,. 以一種方式來說，這是對於直覺主義相對古典上在真的理解上有出入導致。. 對直覺主義者來說，every (mathematical) assertion is the a
(還有682個字)
內容預覽:
: 或許爭議比較不大, 但它並無法用來證明 (R v ~R) 會成立,. : 因為它只能用來證明某個東西「不成立」, 而無法證明某個東西「會成立」。. : 而要能夠證明 (R v ~R)的, 通常是另外一個看起來類似, 但不太一樣的思考過程,. : 即: 「主張P的否定會導出矛盾, 我們便會說P是成
(還有848個字)
內容預覽:
你說對了 直覺邏輯是屬於非古典邏輯的一支. 如果你說的形式邏輯指的是古典邏輯的話. 通常來說以Searle板友那樣的提問會在語句邏輯或述詞邏輯裡面處理. 不過你有兩個誤會 一個比較小. 提到直覺主義是說明(口Rv口~R)不成立. 另一個問題比較大一點 我自己認為這是你的主要問題也是這串討論的主軸.
(還有511個字)
內容預覽:
先感謝你願意播冗跟我討論這個哲學問題。你這篇回答讓知道那個直覺主義的問題之所在，我目前還沒有辦法很清楚地論證，但我初步的構想是直覺主義似乎渾淆了兩個不同範疇的概念，也就是句子能否證明真假以及它跟其他對象具有什麼關聯，似乎是兩件事，直覺主義把這兩件事混在一起了。. 像是「有第一因的存在」這個陳述當然有
(還有528個字)
內容預覽:
為何我拿了沒有真假可言的語句作例子呢?. 假設p表示「任何大於2的偶數皆為兩個質數的和。」,. 這個命題是有真假可言的: p為真, 若且惟若, 任何大於2的偶數皆為兩個質數的和。. 但是p目前沒有被證出來, 它的反命題~p, 也就是「存在一大於2的偶數不是兩個質數和」也沒有被證出來, 因此如果我們用
(還有1326個字)