作者darkgam (拓斗)
看板W-Philosophy
标题[讨论] 关於逻辑的一些想法
时间Thu Oct 19 01:22:33 2006
因为回答s兄的问题
可以跟大家一起讨论一下 献丑了
--
逻辑是一种关於有效性(validity) 的研究
经过许多前人的努力 我们找出一些使得论证有效的形式(form)
而藉此可以区分出什麽论证是 有效/无效 ; 好/坏
就像一个标准一样!
但是很遗憾的……我们只能得到
若符合逻辑形式，则为有效论证( P --> Q ;逻辑语言)以及
若为无效论证，则不符合逻辑形式(-Q-->-P)
至於那些不符合逻辑形式，但却有效的论证 还是存在的! 看得出来吗?
这边指的是：符合逻辑形式，是，论证有效的充分条件(有了就够了)
论证有效，是，符合逻辑形式的必要条件(没有它不行!)
虽然有限，但至少逻辑的功用还是很大的…
比如说你可以检验自己的话符不符合逻辑，如果是的话，至少它是一个有效的论证
--
今天星期日！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.126.128.27
1F：→ kuopohung:你如何能证明 P --> Q == ~Q --> ~P ??? 10/19 04:07
2F：→ kuopohung:用逻辑吗???这好像是定义耶...... 10/19 04:09
3F：→ kuopohung:若没有任何东西可以证明那是对的,那他只不过是形上学的 10/19 04:09
4F：→ kuopohung:一支罢了...... 10/19 04:10
5F：推 A1Yoshi:....两者的真值表长的一样，不是吗？-.- 10/19 05:46
6F：→ aletheia:严格来说 逻辑不区分论证的好坏 起码在初阶逻辑里办不到 10/19 07:34
7F：推 Wissen:p→q等值於~q→~p，这是质位互换律。 10/19 18:06
8F：推 soleboy:感谢darkgem前辈的指导~ 我会多学学逻辑的~^^ 10/19 22:55
9F：推 kuopohung:我知阿,不过那也是定义 10/19 23:42
10F：→ aletheia:(P --> Q) <--> (~Q --> ~P) 为什麽不能证 明明可以 10/20 01:49
11F：推 kuopohung:怎麽证?? 10/20 18:55
12F：→ kuopohung:又是套套逻辑吗??? 10/20 18:56