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

A.苏格拉底

B. 柏拉图

C.亚里士多德

D.毕达哥拉斯