Logic of science