Foundations of the Formal Sciences VI: Probabilistic Reasoning and Reasoning with Probabilities