在科学史上 首次研究了科学认识的“归纳一演绎”程序及方法 并将科学方法论建立在形式逻辑之上的哲学家

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

A.毕达哥拉斯

B.亚里士多德

C.柏拉图

D.苏格拉底