邏輯的三大起源是：

1.古希臘的邏輯：以亞里斯多德和斯多亞學派的命題邏輯為代表。

2.古中國的辯學：惠施、公孫龍、墨翟及其後學。

3.古印度因明學：印度的辯論術，因明是佛家邏輯的專稱。　　 邏輯學，有一段漫長而光榮的歷史，至少可以追溯到亞里士多德。 現代由統一的命題和謂詞演算構成的形式演繹邏輯，起源於布林、弗雷格、皮爾士、羅素。 形式邏輯，已經取得了難以計數的進展，其中包括關邏輯系統的一致性、完全性、可靠性和可判定性的元邏輯結果證明； 對於標準的命題和謂詞演算的模態的，道義的擴充； 對於這些標準系統的直覺主義的、多值的、基於相干的、次協調的等等修正； 以及把形式化的益處擴充套件到歸納推理的努力。 　　 數理邏輯，一度簡單地指關於一切好的推理方式的理論，現在則被經常地用在更狹窄的意義上，指形式上的數的邏輯； 經典邏輯，現在通常是指弗雷格－皮爾斯－羅素的系統。 在當代的哲學話語中，邏輯哲學被用來指涉關於邏輯的哲學基礎和眾多分支的探究，其中包括對確定和勾勒邏輯的範圍的不同方式的探討； 關於邏輯的基礎的論證，包括它與形而上學、意義理論和推理的心理學的關係； 對於像推理、量化、意義、真理、有效性、邏輯後承、邏輯真理、蘊涵等等這樣一些概念的分析；以及解決由說謊者悖論家族構成的語義悖論的努力　　 邏輯創新，來自數學的基礎在於邏輯的議題；並且從一開始，這樣一些人就一直對現代邏輯感興趣，他們是直覺主義者、形式主義者和邏輯主義者，關注著數學中的基礎問題。 現代邏輯和邏輯哲學不僅對哲學家和數家有益處，而且對許多其他領域的專家也有益處，這些學科領域包括：語言學、心理學，法律推理、計算機的理論