※ 引述《chanlder0419 (钱德李)》之铭言：
: 我之前看一本逻辑的书，
: 里面开宗明义就说这本书并不是教你说话技巧，
: 也没有办法帮助你变成社交达人，
: 后来里面讲一堆有的没有的非形式谬误，
: 三段式演绎法之类的，很难，
: 看都看不懂，
: 有没有逻辑很难的八卦？
来稍微聊一下最正式逻辑好了
一般来讲说 我会叫他数理逻辑 以表示它有严谨的定义
因为它和数学，资工相当密切 所以在台湾通常是这两个系开的
不过在美国 有可能是哲学系开的 因为他们认为这是各种学科的基础
在学的过程中 有时难感觉这他跟我们平常讲的逻辑有什么帮助
一开始会讲一些一阶罗辑 这含有我们常讲的若a则b 则 非b则非a
它好像一直在讲归类 或说明怎样两个东西会是等价的
而不是我们平常用的 (非形式罗辑)
再来会讲 二阶罗辑 也就是开始有 对于所有 存在 这种东西
讲完这个 就会提到有名的 哥德尔不完备定理
也就是
"任何相容的形式系统，只要蕴涵皮亚诺算术公理，它就不能用于证明它本身的相容性"
简单讲 就是一个罗辑系统够强 到可以描述平常的数学运算
那它就是有没办法 解释他自己能描述的东西
举例来说 有名的理发师悖论(from wiki)
小城里的理发师说：他要为城里所有不为自己刮脸的人刮脸，而且只为那些不为自
己刮脸的人刮脸
那他要给自己刮脸吗？
讲完哥德尔不完备定理 会开始讲一些特殊用途的逻辑系统
如时序逻辑等等
结语
学完数理罗辑 (如果你真有学懂)
对自己的 平常思考的用词会有很大的改变
因为我们平常讲话的用词常常是模糊
但如果我们要一个百分之百的推论
这些模糊的存在会增加推论的困难
我个人是真得变蛮多的
我很喜欢一句话 "罗辑有用 是因为他的结论是真的 "
所以有当有人说 别那么理性 我都会很想笑
当我们理性的去推论 只是让我们得到资讯更多
好比当你听到一个直角三角形 因为罗辑 我们可以知道 a^2 + b^2 = c^2
你要怎么用这个资讯 那才是感性的事
理性和感性是先后关系
不是相反的
大概这样吧 不对的请指教