这就是西方逻辑学培养出来的产物？