Contributions to the Formal Theory of Probability