提出探求因果联系五种方法的逻辑学家是