工具论（上下册）认领

亚里士多德使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学--形式逻辑学。《工具论》即主要论述了演绎法，为