工具论（上下册）

亚里士多德使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学--形式逻辑学。《工具论》即主要论述了演绎法，为形式逻辑奠定了基础，对这门科学的发展具有深远的影响，也为西方的思维形式奠定了基础。