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

A．苏格拉底

B．柏拉图

C．亚里士多德

D．毕达哥拉斯