伽利略推翻亚里士多德理论时通过逻辑推理运用什么法使亚里士多德的理论陷入困境?