Axiomatizing the logic of comparative probability

DOI10.1215/00294527-2010-008MaRDI QIDQ976539zbMATH OpenOpenAlexFDO

Authors John P. Burgess

Publication date 11 June 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2010-008

zbMATH Keywords

axiomatizationprobability logicqualitative probability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Probability and inductive logic (03B48)

Review text

The author considers the problem of axiomatizing a probabilistic extension of classical propositional logic. The aim of the paper is to give a ``Gabbay-style axiomatization that the author considers to be simple. After addressing the notion of a ``more simple rule, the author fixes the formal language. This language is an extension of the classical propositional language which contains a binary operator \(\leq.\) This operator allows for the comparison of probabilities. The author then introduces six probabilistic axioms, A1 to A6. Next, a model \((U,\pi,V)\) of the logic is given, where \(U\) is a Boolean algebra, \(\pi\) a probability measure and \(V\) a valuation. The main part of the paper is devoted to show the soundness and completeness of the axioms of propositional logic and A1--A6 for the class of the above models. The axiomatization given here makes use of the Kraft-Pratt-Seidenberg theorem from measurement theory.

Recommendations

• Logics with the Qualitative Probability Operator
• WEAK CONDITIONAL COMPARATIVE PROBABILITY AS A FORMAL SEMANTIC THEORY
• A logic for reasoning about qualitative probability
• scientific article; zbMATH DE number 988760
• The logic of qualitative probability

Cited in

(11)

• A note on comparative probability
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• A note on cancellation axioms for comparative probability
• WEAK CONDITIONAL COMPARATIVE PROBABILITY AS A FORMAL SEMANTIC THEORY
• Logics with Probability Operators
• Some New Probability Operators
• Soundness and completeness of the axioms of a probabilistic modal logic
• Logics with the Qualitative Probability Operator
• The logic of comparative cardinality
• INTERLEAVING LOGIC AND COUNTING
• The logic of cardinality comparison without the axiom of choice

This page was built for publication: Axiomatizing the logic of comparative probability

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