※ [本文轉錄自 ntufiction 看板]
作者: stasis (不見誰) 看板: ntufiction
標題: Re: 我要冷靜! :Q
時間: Wed Nov 14 11:23:40 2001
※ 引述《Muscovy (Muscovy)》之銘言：
[deleted]
: 1.) 邏輯發揚於數學.
a:邏輯 b:數學 Fxy:x發揚於y
1.)這句話可以寫成Fab..這只是一個單句,沒有做任何推論.
: 2.) 數學的根本法則是邏輯.
Axy:x的根本法則是y
2.)這句話可以寫成Aba..這只是一個單句,沒有做任何推論.
: 3.) 數學以外的學問, 都有比邏輯更重要的根本法則.
同上,這還是單句,沒有推論.
: 4.) 數學以外, 別的學門引用到邏輯的時候都具有某種數學形式.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^
若 則
懶的寫了,雖然這句有推論..so?
我不知道你後面大約還有一半的東西在寫什麼,
不過大概也沒有多少推論的成分吧,
就算有也推不出你下面"邏輯屬於數學"的結論.
感覺上你應該沒有學過邏輯吧,要不然就只學過語句邏輯,
然後把它套用到該用量限邏輯解決的論証裡.
舉個例好了:
三個單句-1.小明有女友 2.有女友的人很幸福 3.小明很幸福
看起來沒有問題對不對?這三句話的邏輯式是:1)P 2)Q 3)->R,無效論證一個.
我們現在用量限邏輯來看:
Bx:x有女友 Cx:x很幸福 a:小明
有女友的人很幸福可以譯成"若x有女朋友,則x很幸福",也就是:(x)(Bx->Cx)
現在推論長這個樣子:1)(x)(Bx->Cx) 2)Ba 3)->Ca
邏輯本身很嚴謹,只是看用的人嚴不嚴謹罷了,
還有我可以斷言你無法用邏輯去推論出"邏輯屬於數學",反之亦然.
理由你去稍微唸一下量限邏輯就知道了,林照田期中考後會上到,
你可以找個時間去聽看看.
[deleted]
: 其中一個看到「人文社科的邏輯遠比理工科學嚴謹時」...
: 說得很直接...
: 「真值表裡頭, 只要結論是錯的, 那中間不管怎麼推論都是正確的. 」
: 他引用的是邏輯, 而不是歷史... :)
你不應該問他的,他的邏輯也沒學好.
前提為真且結論為假時,論證是"無效"的.
前提為假且結論為假時,無法單由前提和結論的真假來判斷論證的有效與否.
感想:用邏輯論證"邏輯無法論證"的東西挺好笑的..........
--
語言是誤解之源
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 61.216.252.123
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 61.217.2.154