  This paper argues for the status of formal probability theory as a
mathematical, rather than a scientific, theory. David Freedman and Philip
Stark's concept of model based probabilities is examined and is used as a
bridge between the formal theory and applications.
