Synthese 148 (1):229-256 (
2006)
Copy
BIBTEX
Abstract
‘Probability dynamics’ (PD) is a second-order probabilistic theory in which probability distribution d X = (P(X 1), . . . , P(X m )) on partition U m X of sample space Ω is weighted by ‘credence’ (c) ranging from −∞ to +∞. c is the relative degree of certainty of d X in ‘α-evidence’ α X =[c; d X ] on U m X . It is shown that higher-order probabilities cannot provide a theory of PD. PD applies to both subjectivist and frequentist theories. ‘Straight PD’ (SPD) produces associative and commutative mergers of evidence, in which evidences of positive credence are mutually reinforcing. ‘Offsetting PD’ (OPD) sets off conflicting evidences against each other. Subjectivist PD is a quantified second-order logic of action. Frequentist PD relates to descriptions of physical states of affairs. Acceptance of evidence α 1 X = [c 1; d 1 X ] at t 1 updates α 0 X = [c 0; d 0 X ] at t 0 into SPD-merger or OPD-merger . Given ‘co-evidence’ at t 0 < t 1, ‘indirect’ PD accepts evidence at t 1 and produces support for update α 10 X = [c10;d 10 X α 0 X such that in SPD and in OPD. For binary X and Y, with α 0 X = [c 0; P 0(X)] at t 0 (short-hand for ) and the accepted evidence, the support is ; ; where ρ0(X, Y) is the correlation coefficient of X and Y, and update α 10 X of α 0 X is with ‘accord’ λ = 1 in SPD and in OPD. As , tends toward update P 1(Y) of P 0(Y), but P 10(X) does not converge toward ‘ ’ of ‘probability kinematics’. Therefore PD is not compatible with probability kinematics. A process of ‘normalization’ interprets ‘β-evidence’ [[c 1; q 1]& . . . &[c m ; q m ]; U m X ]] with [c j ; q j ] on and m ≥ 3, as an α-evidence on {X 1, . . . , X m }. It is shown that SPD- and OPD-updates can be derived from updated cumulative functions. Time-biased updates are discussed. A PD-based theory of confirmation (PDCT) is presented.