《工具论（上下册）》简介：

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

《工具论（上下册）》摘录：

但是，如果 M 谓述任何 O，而不谓述任何 N，就不会形成三段论。以词项动物、实体、乌鸦以及词项动物、白色的、乌鸦为例。当 M 不谓述任何 O，而谓述有些 N 时，也不能形成三段论。可以解说端项间具有肯定关系的词项是：动物、实体、最小的整数；可以解说端项 间具有否定关系的词项是：动物、实体、科学。 刘叶涛; 等. 工具论 (Kindle 位置 976-978). Kindle 版本.