ON PROBABILITY MEASURES FOR REDUCTIVE SYSTEMS II
David E. Miller · 2011
1. This paper continues the investigation of [2]. Where a, b are sentences of some formalized language, let p(a, b) be a function satisfying the beautiful axiom system for probability of Popper’s [3], appendix ∗v. Our problem is that of extending p to a probability-like function q(A,B) that is defined for all pairs A,B of deductive systems of that language. In [2] I showed that the function q defined by the two clauses