※ 引述《chanlder0419 (錢德李)》之銘言：
: 我之前看一本邏輯的書，
: 裡面開宗明義就說這本書並不是教你說話技巧，
: 也沒有辦法幫助你變成社交達人，
: 後來裡面講一堆有的沒有的非形式謬誤，
: 三段式演繹法之類的，很難，
: 看都看不懂，
: 有沒有邏輯很難的八卦？
來稍微聊一下最正式邏輯好了
一般來講說 我會叫他數理邏輯 以表示它有嚴謹的定義
因為它和數學，資工相當密切 所以在台灣通常是這兩個系開的
不過在美國 有可能是哲學系開的 因為他們認為這是各種學科的基礎
在學的過程中 有時難感覺這他跟我們平常講的邏輯有什麼幫助
一開始會講一些一階羅輯 這含有我們常講的若a則b 則 非b則非a
它好像一直在講歸類 或說明怎樣兩個東西會是等價的
而不是我們平常用的 (非形式羅輯)
再來會講 二階羅輯 也就是開始有 對於所有 存在 這種東西
講完這個 就會提到有名的 哥德爾不完備定理
也就是
"任何相容的形式系統，只要蘊涵皮亞諾算術公理，它就不能用於證明它本身的相容性"
簡單講 就是一個羅輯系統夠強 到可以描述平常的數學運算
那它就是有沒辦法 解釋他自己能描述的東西
舉例來說 有名的理髮師悖論(from wiki)
小城裡的理髮師說：他要為城裡所有不為自己刮臉的人刮臉，而且只為那些不為自
己刮臉的人刮臉
那他要給自己刮臉嗎？
講完哥德爾不完備定理 會開始講一些特殊用途的邏輯系統
如時序邏輯等等
結語
學完數理羅輯 (如果你真有學懂)
對自己的 平常思考的用詞會有很大的改變
因為我們平常講話的用詞常常是模糊
但如果我們要一個百分之百的推論
這些模糊的存在會增加推論的困難
我個人是真得變蠻多的
我很喜歡一句話 "羅輯有用 是因為他的結論是真的 "
所以有當有人說 別那麼理性 我都會很想笑
當我們理性的去推論 只是讓我們得到資訊更多
好比當你聽到一個直角三角形 因為羅輯 我們可以知道 a^2 + b^2 = c^2
你要怎麼用這個資訊 那才是感性的事
理性和感性是先後關係
不是相反的
大概這樣吧 不對的請指教