Logic and Probability
"The propositional logic is generalized on the real numbers field. The logical function with all properties of the classical probability function is obtained. The logical analog of the Bernoulli independent tests scheme is constructed. The logical analog of the Large Number Law is deduced from properties of these functions".
"...in all over the world there exists the only single such function because values of this function can be defined by repetition of independent tests experimentally."
"...the probability is logic of the events which have not occurred yet.