一个分支来研究，和文法与修辞一同被称为古典三学科。古希腊亚里斯多德系统的研究了逻辑系统，介绍于其着作集《工具论》中。 《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的着作汇编成的一部着作集，并定为此名。这六篇着作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。<br>自十九世纪中叶，形式逻辑已被作为数学基础而被研究，当中经常被称之为符号逻辑。1903年，阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《Principia Mathematica》，试图将逻辑形