Logic of scientific discovery