单项选择题

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

A.亚里士多德
B.苏格拉底
C.柏拉图
D.培根