逻辑学是一门工具性、基础性的科学。