Logic and science