Pensons aux divers énoncés qui peuvent être composés à partir d'un ensemble fini ou dénombrable d'énoncés atomiques à l'aide de, disons, ‘˜’ et ‘&’; soit A n'importe lequel de ces énoncés; et soit l'ensemble SA des composantes atomiques de A. La valeur de vérité de A dépend évidemment des valeurs de vérité de certains membres de SA. En effet, si aux valeurs de vérité Vrai et Faux sont substitués les entiers 1 et 0, respectivement; la valeur de vérité VVV d'une (...) négation ˜A est 1–VV; et la valeur de vérité VV d'une conjonction A & B est min, VV), alors la valeur de vérité de A s'avère être une fonction numérique des valeurs de vérité de certains membres de SA. Et les fonctions de valeurs de vérité sont dites, à titre de résultat, récursivement définissables. (shrink)

Kolmogorov's account in his [1933] of an absolute probability space presupposes given a Boolean algebra, and so does Rényi's account in his [1955] and [1964] of a relative probability space. Anxious to prove probability theory ‘autonomous’. Popper supplied in his [1955] and [1957] accounts of probability spaces of which Boolean algebras are not and [1957] accounts of probability spaces of which fields are not prerequisites but byproducts instead.1 I review the accounts in question, showing how Popper's issue from and how (...) they differ from Kolmogorov's and Rényi's, and I examine on closing Popper's notion of ‘autonomous independence’. So as not to interrupt the exposition, I allow myself in the main text but a few proofs, relegating others to the Appendix and indicating as I go along where in the literature the rest can be found. (shrink)

Gentzen's account of logical consequence is extended so as to become a matter of degree. We characterize and study two kinds of function G, where G(X,Y) takes values between 0 and 1, which represent the degree to which the set X of statements (understood conjunctively) logically implies the set Y of statements (understood disjunctively). It is then shown that these functions are essentially the same as the absolute and the relative probability functions described by Carnap.

This paper studies the extent to which probability functions are recursively definable. It proves, in particular, that the (absolute) probability of a statement A is recursively definable from a certain point on, to wit: from the (absolute) probabilities of certain atomic components and conjunctions of atomic components of A on, but to no further extent. And it proves that, generally, the probability of a statement A relative to a statement B is recursively definable from a certain point on, to wit: (...) from the probabilities relative to that very B of certain atomic components and conjunctions of atomic components of A, but again to no further extent. These and other results are extended to the less studied case where A and B are compounded from atomic statements by means of `` ∀ '' as well as `` ∼ '' and "&". The absolute probability functions considered are those of Kolmogorov and Carnap, and the relative ones are those of Kolmogorov, Carnap, Renyi, and Popper. (shrink)