From propositional logic to plausible reasoning: a uniqueness theorem

DOI10.1016/J.IJAR.2017.06.003MaRDI QIDQ2411273zbMATH OpenOpenAlexFDO

Authors Kevin S. Van Horn

Publication date 20 October 2017

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.05261

zbMATH Keywords

BayesianprobabilityCarnapJaynesCox

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Abstract: We consider the question of extending propositional logic to a logic of plausible reasoning, and posit four requirements that any such extension should satisfy. Each is a requirement that some property of classical propositional logic be preserved in the extended logic; as such, the requirements are simpler and less problematic than those used in Cox's Theorem and its variants. As with Cox's Theorem, our requirements imply that the extended logic must be isomorphic to (finite-set) probability theory. We also obtain specific numerical values for the probabilities, recovering the classical definition of probability as a theorem, with truth assignments that satisfy the premise playing the role of the "possible cases."

Recommendations

• Publication:3028979
• Constructing a logic of plausible inference: A guide to Cox's theorem.
• Probability logic
• scientific article; zbMATH DE number 988760
• On probability and logic

Cites work

• scientific article; zbMATH DE number 3162001 (Why is no real title available?)
• scientific article; zbMATH DE number 4211134 (Why is no real title available?)
• scientific article; zbMATH DE number 4045703 (Why is no real title available?)
• scientific article; zbMATH DE number 1285154 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 1391667 (Why is no real title available?)
• scientific article; zbMATH DE number 3230247 (Why is no real title available?)
• scientific article; zbMATH DE number 3074489 (Why is no real title available?)
• scientific article; zbMATH DE number 3090128 (Why is no real title available?)
• A computable approach to measure and integration theory
• An introduction to measure theory
• Bridging the intuition gap in Cox's theorem: a Jaynesian argument for universality
• Constructing a logic of plausible inference: A guide to Cox's theorem.
• Probability, Frequency and Reasonable Expectation
• Representations of measurable sets in computable measure theory
• The Uncertain Reasoner's Companion
• The philosophical significance of Cox's theorem

Cited in

(2)

• Constructing a logic of plausible inference: A guide to Cox's theorem.
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})

This page was built for publication: From propositional logic to plausible reasoning: a uniqueness theorem

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