看板
[ logic ]
討論串[請益] 矛盾
共 12 篇文章
內容預覽:
: 或許爭議比較不大, 但它並無法用來證明 (R v ~R) 會成立,. : 因為它只能用來證明某個東西「不成立」, 而無法證明某個東西「會成立」。. : 而要能夠證明 (R v ~R)的, 通常是另外一個看起來類似, 但不太一樣的思考過程,. : 即: 「主張P的否定會導出矛盾, 我們便會說P是成
(還有848個字)
內容預覽:
Compatibilist應該會持反對看法吧 他們認為是自由意志和決定論是共容的. 恩 這邊我不熟. 這是反對排中律後可能的結果,. 以一種方式來說，這是對於直覺主義相對古典上在真的理解上有出入導致。. 對直覺主義者來說，every (mathematical) assertion is the a
(還有682個字)