古希腊的亚里士多德研究了科学认识的“_________”程序及其所遵循的方法，在形式逻辑之上建立了科学方法论。