工具论》中。 《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的着作汇编成的一部着作集，并定为此名。这六篇着作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。<br>自十九世纪中叶，形式逻辑已被作为数学基础而被研究，当中经常被称之为符号逻辑。1903年，阿弗烈·诺夫·怀海德与伯特兰·罗素写成了《Principia Mathematica》，试图将逻辑形式地建立成数学的基石。不过，除了些基本的以外，当时的系统已不再被使用，大部份都被集合论所取代掉了。当对形