1.古希臘的邏輯:以亞裏士多德和斯多葛派的命題邏輯為代表。
2.惠施、公孫龍、翟墨及其後期研究。
3.古印度佛教:印度的辯論術，這是佛教邏輯的專名。
邏輯有著悠久而輝煌的歷史，至少可以追溯到亞裏士多德。
由統壹命題和謂詞演算組成的現代形式演繹邏輯起源於布爾、弗雷格、皮爾士和羅素。
形式邏輯取得了無數的進展，包括關於邏輯系統的壹致性、完備性、可靠性和可判定性的元邏輯結果的證明；
標準命題和謂詞演算的模態和道德擴展；
對這些標準系統的直觀、多值、基於壹致性、次協調和其他修正；
以及將形式化的好處擴展到歸納推理的努力。
數理邏輯，曾經簡單地指所有好的推理方法的理論，現在常用在更狹義的意義上，指形式數的邏輯；
經典邏輯現在通常指弗雷格-皮爾斯-羅素體系。
在當代哲學話語中，邏輯哲學被用來指代邏輯的哲學基礎和許多分支，包括對確定和勾勒邏輯範圍的不同方式的討論；
邏輯基礎上的論證，包括它與形而上學、意義理論和推理心理學的關系；
對推理、量化、意義、真、有效性、邏輯繼承、邏輯真、蘊涵等壹些概念的分析；以及解決騙子悖論家族形成的語義悖論的努力。
邏輯創新來源於數學以邏輯為基礎的話題；而且從壹開始，這樣的人就壹直對現代邏輯感興趣。他們是直覺主義者、形式主義者和邏輯主義者，關註數學中的基本問題。
現代邏輯和邏輯哲學不僅有益於哲學家和哲學家，也有益於許多其他領域的專家，包括語言學、心理學、法律推理和計算機理論。