作者evildragon (邪龙之凤黑暗之心)
看板Logic
标题Re: 请问各位大大
时间Wed May 28 00:00:07 2003
※ 引述《aletheia (HERESY)》之铭言:
: ※ 引述《evildragon (邪龙之凤黑暗之心)》之铭言:
: : 嗯 "我说过p" 整体被才是被看作是命题吧
: : 如果"我说过p"是一个命题 它才可以有真假ㄚ
: p未尝不能当做一proposition?
: 我说:"我刚刚吃了东西."
: 我刚刚吃了东西岂不是一proposition?
: : (命题 proposition)
: : 我印象中三断论证的逻辑式是
: : if p then q
: : p
: : q
: : 第二行的意思 其时就是 p is true 才可以推出第三行的 q is true
: 不对喔 第二行的意思不是p is true...
: 你讲的是sound 中文好像翻健全的(?)
: 有效论证要求的只有不可能前提全真而结论为假 健全的论证要求的更高
: 有效且前提全真
: 逻辑通常不讨论健全的论证 要确定前提全为真 已经超出逻辑系统的范围
: 若p为假, q为真仍可能成立
: 例:
: 若断头则死
: 没有断头
: 死(这是有可能的)
所以断头是死的充份条件不是吗? @@
if 断头 then 死 (断头和死是描述命题 也就是 断头了(T or F) 还有 死了(T of F)
断头 (T)
死 (T)
我大概是这样解读的
: : 还是说哲学语言使用的时候比较不严谨 就直接缩了 数学不行 我也不知道
: 哲学和数学都蛮开放的 只要你提出合理的解释就可以了...
--
※ 发信站: 批踢踢实业坊(ptt.csie.ntu.edu.tw)
◆ From: 210.85.88.246