作者xin1028 ()
看板logic
标题[请益] 演绎论证中的真确性
时间Sun Feb 8 17:51:00 2015
目前在自学彭孟尧老师的基础逻辑
在第一章习题中有点问题，故来请教版上各位先进!
判断下列各题的说法是否正确
Q1.如果一个论证的所有前提和它的结论是一致的，则该论证是有效的。(答案:否)
我的想法:
"前提与结论是一致的"与前提、结论的真假值无关，只与命题是否为内在矛盾有关。
而有效的论证，即代表不可能出现前提皆真而结论为假的状况。
但其中的"结论为假"并不代表结论是"内在矛盾的"
即，一个"前提皆真而结论为假"的论证，只要为假的结论不是内在矛盾，
则此论证虽是无效的，但仍可视为一致。 (不知这样的想法是否正确?)
Q2.一个演绎论证的所有前提实际上为真，且结论实际上为真，则它是真确的。(答案:否)
我的想法:
一个论证是真确的，即代表:(1)该论证是有效的，且(2)该论证的所有前提皆真
因此，我认为
"所有前提实际上为真"-->符合(2)
"所有前提实际上为真，且结论实际上为真"-->符合(1)"有效的"的定义
所以我觉得这题答案应该是正确的...orz
以上，感谢各位版友的解惑~!!
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.133.230.62
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/logic/M.1423389063.A.A65.html
1F：推 azurviolet: 针对Q2的理解可以把「实际上」当成是真值表的某一列 02/08 23:31
2F：→ azurviolet: 有效的定义是：没有情形使得前提为真，结论为假。 02/08 23:32
3F：→ azurviolet: 所以Q2的前件并没有办法让你知道它是有效的，也就不会 02/08 23:34
4F：→ azurviolet: 是真确的。举个例来说： 草是绿的，所以天是蓝的。 02/08 23:35
5F：→ azurviolet: 前提结论都在实际上为真，但此论证无效 02/08 23:38
6F：推 rossignols: 关於Q1，你可以先用这种方式理解什麽是一致：一组语句 02/09 02:24
7F：→ rossignols: 是一致的，若且唯若，你帮他们画真值表後，至少有一行 02/09 02:25
8F：→ rossignols: 所有句子会全部为真。一个"前提皆真而结论为假"的论 02/09 02:26
9F：→ rossignols: 证，就算为假的结论不是内在矛盾，这个论证还是有可 02/09 02:26
10F：→ rossignols: 能不一致。例如，前提是P，结论是非P。 02/09 02:27
11F：→ xin1028: 感谢两位版友解惑！！！ 02/12 21:08