[請益] 看彭孟堯基礎邏輯第一章的問題

[ChenShiShuen (校長先生)]

之前自修一下彭孟堯的《基礎邏輯》，
只看完第一章，
大略知道形式邏輯和自然語言無法完全相容，
有時從常識想一些形式邏輯的問題時會覺得有點怪怪的，
可能得研讀比較透徹以後才能理解這些不對勁的地方在哪裡。

但目前我才剛開始，所以想請益一下，
在這本書的第一章最後提到對論證有效性的重新定義，是：

    對任何一個論證而言(假設它的所有前提所構成的集合
  並不是內在矛盾的)，如果由它的所有前提以及對於結論
  的否定所共同組成的命題集合在邏輯上是內在矛盾的，
  則該論證是有效的。

對定義，書本又繼續解釋如下:

  在這個定義裡有「假設所有的前提並不是內在矛盾的」
這樣一個但書，這是由於從矛盾的前提可以推導出任何結
論。一個有矛盾前提的論證必然是有效的。
    #################################

我的問題是想不通什麼樣的情形是
「一個有矛盾前提的論證必然是有效的」。
偏偏這裡沒有例子，
不知道瞭解的板友可以幫我舉個例子，或解說一下嗎?
感謝了!





--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.217.41
→ fourchette:你先不要管那麼多 繼續讀下去 書中就有寫了 :)
→ iff:我記得好像是因為 論證有效的定義是
→ iff:前提為真 論證有效 則結論必真
→ iff:有矛盾的前提代表 前提不全部真 可是論證無效是 前提真 結論假
→ iff:當前提有假的情況的時候 就不會發生 前提全部真而結論假的狀況
→ iff:太久沒有復習邏輯了 不知道我的記憶是否正確 請版友確認一下了
推 Yures:樓上的解釋大致上是對的啦～你的問題就算舉實例也很違反直覺
→ Yures:所以就像一樓說的你可以先繼續唸下去，後面會給一些簡單說明
→ Yures:真正要知道為什麼可能要去上一些後設的課程會更清楚！
→ ChenShiShuen:ok 感謝各位的回答
推 ecogame:我在很久很久以前有上過彭老師的基礎哲學,老師人很好 ^^