1樓：
一般的邏輯，就是邏輯。邏輯一詞和科學一詞類似，都是關於某種事物的系統的學問，但二者的區別在於科學一般用於形容關於自然界中的事物的學問，而邏輯則多用於形容關於人的思維規律，特別是思維的形式規律的學問。
數理邏輯，是關於形式邏輯和謂詞邏輯的邏輯，因為邏輯是關於思維規律，因此邏輯的邏輯也可以用邏輯的形容，當然稱為邏輯的科學原則上也可以，但是不如數理邏輯這個詞貼切。
數理邏輯應該是要強調研究的物件是和數學，物理中常用的邏輯，不是哲學和辯證法中的邏輯，研究的方式是數學的和邏輯的方式。
2樓：「已登出」
弗雷格：
我的概念文字與日常語言的關係，就好比顯微鏡和肉眼的關係。眼睛······誠然比顯微鏡優越許多。······可一旦涉及科學所要求的毫髮不爽的分辨力，肉眼就變得無能為力。
顯微鏡則恰能適合這樣的要求。
（Frege，Gottlob（1879）：Begriffsschrift，eine der arithmetischen nachgebildete Formelsprache des reinen Denkens，Louis Nebert，Halle.English translation in van Heijennoort（1967），轉引自邢滔滔《數理邏輯》，北京大學出版社，2017，p53）
徐明：http://
blog.sina.cn/dpool/blog/s/blog_4c9a1d6a01000bkw.html?type=-1
（徐明《符號邏輯講義》，武漢大學出版社，2008，p17～20）亞里斯多德：
在數學意義上，亞里斯多德邏輯是數理邏輯的乙個子集
3樓：小火人
一、數理邏輯與一般邏輯的區別？
首先定義和延伸概念
A1一般邏輯的解釋：
a1未指明預設預設：
1.人們日常語言語用各種生活情景實踐的常識邏輯
2.亞里斯多德三段論的傳統邏輯
A2一般邏輯是否可以等價於經典邏輯的解釋：
a2經典邏輯的解釋：
1.基於二值的命題演算
2.謂詞演算
B1數理邏輯的解釋：
1.包含一階邏輯的基礎
2.引入現代數學的方法，以數學的結構為物件
結論以上可知：1#A1與B1區別很大
2#採取a2的解釋，a2是B1的子集
二、兩者之間會相互影響嗎？
C無疑兩者之間會相互影響，產生出在邏輯學裡新的研究類別或領域，如：擴充套件邏輯、變異邏輯、歸納邏輯等等
三、數理邏輯好，是否會更理性，更會分析問題？
D1:這裡採用B1的解釋，那麼接下來的問題就是定義「理性」和「分析」
d1理性的解釋：
1.哲學範疇，見康德等
2.判斷能力、最好最有利決策和情境行動
3.日常生活語用實踐
d2分析的解釋：
1.哲學範疇，見分析哲學等
2.日常生活語用
3.數學分析學
結論：1#數理邏輯好，無疑有利於d23數學分析學的研究學習，但不一定對數學問題的解決起什麼決定性幫助（因為數學太複雜，具體問題具體分析）；對d21裡某些領域學者有借鑑和指導作用；對d22並無卵用
2#數理邏輯好，對d11裡某些領域學者有借鑑和指導作用；對d12和d13好像也並沒有什麼卵用，當然，如果粗糙地說，提公升了思維能力也可以接受，畢竟玩各種遊戲和體育運動也有利於思維能力的發展。
所以說邏輯學那麼冷門，對個人來說，其從事人員不是真愛粉，就是專業人士，或者是以此為謀生手段的。
4樓：
我們通常說的「Good Reasoning」，一般是inductive reasoning。但Symbolic Logic是deductive reasoning，多了乙個truth-preserving的buff。（友人跟我說過有限制，但才疏學淺如我暫時還不知道具體是什麼限制ww
5樓：沈四寶
不同的邏輯基於不同的因果
數理邏輯基於形式因果，形式因果就是「a是a」
其他還有自然因果世事因果法律因果歷史因果因緣因果修行因果 …………
熟悉形式因果對了解其他因果沒有幫助…………
6樓：金岳霖
兩者沒什麼關係。它們只是都含有「邏輯」這個詞而已。數理邏輯是數學的分支，研究的是一些非常專門的問題，比如「決定性公理在ZF系統中的協調性與何種大基數等價」。
這些知識對於日常的一般事物的「邏輯」分析沒有幫助。就像乙個代數幾何專家不會更擅長辯論一樣。當然你也可以說數理邏輯學的好的人智商也很高所以他們分析一般問題也會更厲害……不過至少從知識的角度講兩者是沒有關係的。
7樓：melonsyk
除卻許多「邏輯」一詞在生活中的誤用，絕大多數一般事務的分析評價中會摻雜太多的常識性假設，真正分解為數理邏輯分析篇幅太大過程過於煩瑣。而且對於許多與概率相關的模態邏輯分析，普通人會依據經驗做許多估算，未必精確但是速度較快。
對數理邏輯的研究者，這樣的大工程只能算是計算量問題，他們未必有非常強大的計算能力，甚至未必有一些其它人都熟悉的常識性假設和聰明人的反應速度。他們的強項在於專業的概念辨析、抽象化分析等等。
這就好像乙個數學家的速算能力未必高於小學生。
有哪些值得推薦的學習數理邏輯的書籍？
阿平 也算是學了一點logic了，來答一波！之前有位答主其實答得挺全的，我現在還是入門，之後可能會更新。Computation theory Computability An Introduction To Recursive Function Theory Cutland 這本書感覺不是特別好，是...
電腦語言「0，1」的蘊涵的數理邏輯知識 到底是什麼樣的？如何後天將其與思維模式結合？
nambo chu 0,1的在數理上代表著電腦表達這個世界的兩個基元，類似於常用的10進製中的0到9或者英語中的24個字母，以及漢語中的各個漢字，對於電腦，0和1以及長度無限的組合可以表達這個世界所有的資訊。0,1在電腦的邏輯上代表著是與非，這是電腦在邏輯上的兩個基元。0,1結合數理的加減乘除運算，...
為什麼幾乎所有數理邏輯的書都只介紹一階邏輯，二階邏輯可以量化謂詞，不是更加簡明方便麼，它有什麼問題麼？
限制越少，理論越少，問題越多。二階邏輯比一階表達能力更強，但是在更鬆的限制條件下能夠使用的結論反而更少，只是一階邏輯的子集，沒有太大必要重複提。但是二階邏輯上特有的問題大多是比較瑣碎的，比如在二階邏輯框架下增加怎樣的限制可以變得完備。一般不會出現在入門教材中。雖然二階邏輯從數理邏輯的角度來說沒太多學...