和证明的思想过程，而逻辑学是研究「有效推论和证明的原则与标准」的一门学科。作为一个形式科学，逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的，从对谬论与悖论的研究之类的核心议题，到利用机率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中（参见：非形式逻辑）。<br>传统上，逻辑被作为哲学的一个分支来研究，和文法与修辞一同被称为古典三学科。古希腊亚里斯多德系统的研究了逻辑系统，介绍于其着作集《工具论》中。 《工具论》是亚里士多德