逻辑的三大起源是：
1.
古希腊的逻辑：以
亚里斯多德和斯多亚学派的命题逻辑为代表。
2.
古中国的辩学：惠施、公孙龙、
墨翟及其后学。
3.
古印度因明学：印度的辩论术，因明是佛家逻辑的专称。
逻辑学，有一段漫长而光荣的历史，至少可以追溯到
亚里士多德。
现代由统一的命题和谓词演算构成的形式演绎逻辑，起源于布尔、弗雷格、皮尔士、
罗素。
形式逻辑，已经取得了难以计数的进展，其中包括关逻辑系统的一致性、完全性、可靠性和可判定性的元逻辑结果证明；
对于标准的命题和谓词演算的模态的，道义的扩充；
对于这些标准系统的直觉主义的、多值的、基于相干的、次协调的等等修正；
以及把形式化的益处扩展到归纳推理的努力。
数理逻辑，一度简单地指关于一切好的推理方式的理论，现在则被经常地用在更狭窄的意义上，指形式上的数的逻辑；
经典逻辑，现在通常是指弗雷格－皮尔斯－罗素的系统。
在当代的哲学话语中，逻辑哲学被用来指涉关于逻辑的哲学基础和众多分支的探究，其中包括对确定和勾勒逻辑的范围的不同方式的探讨；
关于逻辑的基础的论证，包括它与
形而上学、意义理论和推理的心理学的关系；
对于像推理、量化、意义、真理、有效性、逻辑后承、逻辑真理、蕴涵等等这样一些概念的分析；以及解决由说谎者悖论家族构成的语义悖论的努力
逻辑创新，来自数学的基础在于逻辑的议题；并且从一开始，这样一些人就一直对现代逻辑感兴趣，他们是直觉主义者、形式主义者和逻辑主义者，关注着数学中的基础问题。
现代逻辑和逻辑哲学不仅对哲学家和数家有益处，而且对许多其他领域的专家也有益处，这些学科领域包括：语言学、心理学，法律推理、计算机的理论
追问中国的名学是否是逻辑学起源之一呢？