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

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

A.苏格拉底

B.柏拉图

C.毕达哥拉斯

D.亚里士多德

请帮忙给出正确答案和分析，谢谢！