On Logic and the Theory of Science