By supplying propositional calculus with a probability semantics we showed, in our 1996, that finite stochastic problems can be treated by logic-theoretic means equally as well as by the usual set-theoretic ones. In the present paper we continue the investigation to further the use of logical notions in probability theory. It is shown that quantifier logic, when supplied with a probability semantics, is capable of treating stochastic problems involving countably many trials.

Exhumation and study of the 1945 paradox of confirmation brings out the defect of its formulation. In the context of quantifier conditional-probability logic it is shown that a repair can be accomplished if the truth-functional conditional used in the statement of the paradox is replaced with a connective that is appropriate to the probabilistic context. Description of the quantifier probability logic involved in the resolution of the paradox is presented in stages. Careful distinction is maintained between a formal logic language (...) and its semantics, as the same language may be outfitted with different semantics. An acquaintance with sections 1? 5 of Hailperin (2006) covering the sentential aspects of probability logic is assumed as background information for quantifier probability logic. (shrink)

Borel's concept of denumerable probability is described by means of three of his illustrative problems and their solution. These problems are then reformulated in contemporary terms and solved from the viewpoint of probability logic. A section compares Kolmogorov set-theoretic probability with probability logic. The concluding section describes a highly adverse criticism of Borel's conception for its not using something like Kolmogorov theory (introduced two decades later) and, in support of Borel, this criticism is countered from the standpoint of quantifier probability (...) logic. (shrink)

A form of quantification logic referred to by the author in earlier papers as being 'ontologically neutral' still made use of the actual infinite in its semantics. Here it is shown that one can have, if one desires, a formal logic that refers in its semantics only to the potential infinite. Included are two new quantifiers generalizing the sentential connectives, equivalence and non-equivalence. There are thus new avenues opening up for exploration in both quantification logic and semantics of the infinite.