[单选题]

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

A .苏格拉底

B .柏拉图

C .亚里士多德

D .毕达哥拉斯