作者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