逻辑的起源和分支

1.古希腊的逻辑:以亚里士多德和斯多葛派的命题逻辑为代表。

2.惠施、公孙龙、翟墨及其后期研究。

3.古印度佛教:印度的辩论术，这是佛教逻辑的专名。

逻辑有着悠久而辉煌的历史，至少可以追溯到亚里士多德。

由统一命题和谓词演算组成的现代形式演绎逻辑起源于布尔、弗雷格、皮尔士和罗素。

形式逻辑取得了无数的进展，包括关于逻辑系统的一致性、完备性、可靠性和可判定性的元逻辑结果的证明；

标准命题和谓词演算的模态和道德扩展；

对这些标准系统的直观、多值、基于一致性、次协调和其他修正；

以及将形式化的好处扩展到归纳推理的努力。

数理逻辑，曾经简单地指所有好的推理方法的理论，现在常用在更狭义的意义上，指形式数的逻辑；

经典逻辑现在通常指弗雷格-皮尔斯-罗素体系。

在当代哲学话语中，逻辑哲学被用来指代逻辑的哲学基础和许多分支，包括对确定和勾勒逻辑范围的不同方式的讨论；

逻辑基础上的论证，包括它与形而上学、意义理论和推理心理学的关系；

对推理、量化、意义、真、有效性、逻辑继承、逻辑真、蕴涵等一些概念的分析；以及解决骗子悖论家族形成的语义悖论的努力。

逻辑创新来源于数学以逻辑为基础的话题；而且从一开始，这样的人就一直对现代逻辑感兴趣。他们是直觉主义者、形式主义者和逻辑主义者，关注数学中的基本问题。

现代逻辑和逻辑哲学不仅有益于哲学家和哲学家，也有益于许多其他领域的专家，包括语言学、心理学、法律推理和计算机理论。