论理论力学中从抽象上升到具体的方法