单选题 ( )在其《工具论》一书中首创了形式逻辑，提出了科学研究的“归纳一演绎”程序，并且研究了这个程序所要遵循的方法，被恩格斯称为“古代世界的黑格尔”。