Compactness in finite probabilistic inference

DOI10.1007/BF00556638MaRDI QIDQ918960zbMATH OpenOpenAlexFDO

Authors John Vickers

Publication date 1990

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00556638

zbMATH Keywords

inconsistencylogical consistency conditions for sets of probability judgementsprobability logicprobability quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80)

Review text

The author refers to his book \underbar{Chance and structure} (1988; Zbl 0707.03015), reviewed above, in which a system of probability quantifiers is developed. A probability logic is a classical first-order logic with identity in which, beside universal and existential quantifiers, there are also probability quantifiers. For the author, the motivation for probability logic is to give logical consistency conditions for sets of probability judgements, and to do this in such a way that the probability of a probability is smoothly and recursively accommodated. The author has shown in his book that inconsistency in probability logic is not compact. There are infinite sets of formulae which have no models though all of their finite subsets have models. In the paper the author shows that for each finite integer k, inconsistency in models of size k is compact.

Recommendations

• scientific article; zbMATH DE number 1123884
• scientific article; zbMATH DE number 1873277
• Probability logic of finitely additive beliefs
• Model theory of measure spaces and probability logic
• A logic for reasoning about qualitative probability

Cited in

(4)

• Finitely maxitive conditional possibilities, Bayesian-like inference, disintegrability and conglomerability
• Probability logic of finitely additive beliefs
• Generalized compactness of nonmonotonic inference operations
• scientific article; zbMATH DE number 815730 (Why is no real title available?)

This page was built for publication: Compactness in finite probabilistic inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918960)