Six recently discussed problems in discrete probabilistic sample space, which have been found puzzling and even paradoxical, are reexamined. The importance is stressed of a sharp distinction between the formalization of mathematical problems and their formal solution that, applied to probability theory, must lead through the explicit partitioning of a sample space. If this approach is consistently followed, such problems reveal themselves to be either inherently ambiguous, and therefore without solution, or quite straightforward. In both cases nothing remains of any (...) sense of paradox. (shrink)

Jaynes contends that in many statistical problems a seemingly indeterminate probability distribution is made unique by the transformation group of necessarily implied invariance properties, thereby justifying the principle of indifference. To illustrate and substantiate his claims he considers Bertrand's Paradox. These assertions are here refuted and the traditional attitude is vindicated.

Common probabilistic fallacies and putative paradoxes are surveyed, including those arising from distribution repartitioning, from the reordering of expectation series, and from misconceptions regarding expected and almost certain gains in games of chance. Conditions are given for such games to be well-posed. By way of example, Bernoulli's "Petersburg Paradox" and Hacking's "Strange Expectations" are discussed and the latter are resolved. Feller's generalized "fair price, in the classical sense" is critically reviewed.

‘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. (shrink)