logic is a kind of science.