在科学史上，首次研究了科学认识的“归纳-演绎”程序及所遵循的方法，并在形式逻辑之上建立了科学方法论的哲学家、思想家是（）。

在科学史上，首次研究了科学认识的“归纳-演绎”程序及所遵循的方法，并在形式逻辑之上建立了科学方法论的哲学家、思想家是（）。
A、苏格拉底
B、柏拉图
C、亚里士多德
D、毕达哥拉斯
正确答案：C