Book 工具论（上下册） Douban [古希腊] 亚里士多德 translator: 余纪元 publishing house: 中国人民大学出版社 2003 亚里士多德使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学--形式逻辑学。《工具论》即主要论述了演绎法，为形式逻辑奠定了基础，对这门科学的发展具有深远的影响，也为西方的思维形式奠定了基础。
