工具论

古希腊逻辑学家亚里士多德的逻辑学著作，共六篇：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》、《辩谬篇》。书名表明逻辑学既非理论知识，也非实际知识，而是知识的工具。研究了概念、范畴、命题（判断）、推理、模态、证明、谬误以及反驳等逻辑问题，第一次使用了变项，建立了人类第一个推理系统——三段论。它标志着逻辑学作为一门独立的科学已从哲学中分化出来，为以后逻辑学的发展奠定了基础。