Logic and Gambling

Abstract

This paper outlines a formal recursive wager resolution calculus (WRC) that provides a novel conceptual framework for sentential logic via bridge rules that link wager resolution with truth values. When paired with a traditional truth-centric criterion of logical soundness WRC generates a sentential logic that is broadly truth-conditional but not truth-functional, supports the rules of proof employed in standard mathematics, and is immune to the most vexing features of their traditional implementation. WRC also supports a novel probabilistic criterion of logical soundness, the fair betting probability criterion (FBP). It guarantees that the conclusion of an FBP-valid argument is at least as credible as a conjunction of premises, and also that the conclusion is true if the premises are. In addition, WRC provides a platform for a novel non-probabilistic, computationally simpler criterion of logical soundness – the criterion of Super-validity - that issues the same logical appraisals as FBP, and hence the same guarantees.

Author's Profile

Stephen Spielman
University of Pennsylvania (PhD)

Analytics

Added to PP
2018-08-30

Downloads
151 (#74,233)

6 months
29 (#88,389)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?