系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的，从对谬论与悖论的研究之类的核心议题，到利用机率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中（参见：非形式逻辑）。<br>传统上，逻辑被作为哲学的一个分支来研究，和文法与修辞一同被称为古典三学科。古希腊亚里斯多德系统的研究了逻辑系统，介绍于其着作集《工具论》中。 《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的着作汇编成的一部着作集，并定为此名。这六篇着作分别是《范畴篇》、《