单项选择题

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

A.毕达哥拉斯
B.亚里士多德
C.柏拉图
D.苏格拉底