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