Probability theory, intuitionism, semantics, and the Dutch book argument