Probability Dynamics

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the ranked points of a Π1 0 set.Douglas Cenzer & Rick L. Smith - 1989 - Journal of Symbolic Logic 54 (3):975-991.
The veblen functions for computability theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Forcings constructed along morasses.Bernhard Irrgang - 2011 - Journal of Symbolic Logic 76 (4):1097-1125.
One theorem of Zil′ber's on strongly minimal sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
Induktive Definitionen und Dilatoren.Wilfried Buchholz - 1988 - Archive for Mathematical Logic 27 (1):51-60.

Analytics

Added to PP
2009-01-28

Downloads
84 (#248,833)

6 months
14 (#225,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Logic of Decision.Richard C. Jeffrey - 1965 - New York, NY, USA: University of Chicago Press.
Theory and Evidence.Clark N. Glymour - 1980 - Princeton University Press.
Measuring confirmation.David Christensen - 1999 - Journal of Philosophy 96 (9):437-461.

Add more references