Logic of Scientific Discovery