A theory of evidential probability is developed from two assumptions:(1) the evidential probability of a proposition is its probability conditional on the total evidence;(2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded within epistemic logic by means of possible worlds semantics for modal logic; this allows a natural theory of higher-order probability to be developed. In particular, it is (...) emphasized that it is sometimes uncertain which propositions are part of one's total evidence; some surprising implications of this fact are drawn out. (shrink)

The question of diachronic coherence, coherence of degrees of belief across time, is investigated within the context of Richard Jeffrey’s radical probabilism. Diachronic coherence is taken as fundamental, and coherence results for degrees of belief at a single time, such as additivity, are recovered only with additional assumptions. Additivity of probabilities of probabilities is seen to be less problematic than additivity of first-order probabilities. Without any assumed model of belief change, diachronic coherence applied to higher-order degrees of belief yields the (...) martingale property. (shrink)