作者ChenShiShuen (校長先生)
看板logic
標題[請益] 看彭孟堯基礎邏輯第一章的問題
時間Tue Oct 5 23:54:06 2010
之前自修一下彭孟堯的《基礎邏輯》，
只看完第一章，
大略知道形式邏輯和自然語言無法完全相容，
有時從常識想一些形式邏輯的問題時會覺得有點怪怪的，
可能得研讀比較透徹以後才能理解這些不對勁的地方在哪裡。
但目前我才剛開始，所以想請益一下，
在這本書的第一章最後提到對論證有效性的重新定義，是：
對任何一個論證而言(假設它的所有前提所構成的集合
並不是內在矛盾的)，如果由它的所有前提以及對於結論
的否定所共同組成的命題集合在邏輯上是內在矛盾的，
則該論證是有效的。
對定義，書本又繼續解釋如下:
在這個定義裡有「假設所有的前提並不是內在矛盾的」
這樣一個但書，這是由於從矛盾的前提可以推導出任何結
論。一個有矛盾前提的論證必然是有效的。
#################################
我的問題是想不通什麼樣的情形是
「一個有矛盾前提的論證必然是有效的」。
偏偏這裡沒有例子，
不知道瞭解的板友可以幫我舉個例子，或解說一下嗎?
感謝了!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.217.41
1F：→ fourchette:你先不要管那麼多 繼續讀下去 書中就有寫了 :) 10/06 16:23
2F：→ iff:我記得好像是因為 論證有效的定義是 10/07 00:19
3F：→ iff:前提為真 論證有效 則結論必真 10/07 00:20
4F：→ iff:有矛盾的前提代表 前提不全部真 可是論證無效是 前提真 結論假 10/07 00:23
5F：→ iff:當前提有假的情況的時候 就不會發生 前提全部真而結論假的狀況 10/07 00:26
6F：→ iff:太久沒有復習邏輯了 不知道我的記憶是否正確 請版友確認一下了 10/07 00:28
7F：推 Yures:樓上的解釋大致上是對的啦～你的問題就算舉實例也很違反直覺 10/09 01:29
8F：→ Yures:所以就像一樓說的你可以先繼續唸下去，後面會給一些簡單說明 10/09 01:30
9F：→ Yures:真正要知道為什麼可能要去上一些後設的課程會更清楚！ 10/09 01:31
10F：→ ChenShiShuen:ok 感謝各位的回答 10/09 20:10
11F：推 ecogame:我在很久很久以前有上過彭老師的基礎哲學,老師人很好 ^^ 10/11 20:36