Logic and Gambling

Download Edit this record How to cite View on PhilPapers
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.
Keywords
PhilPapers/Archive ID
SPILAG
Revision history
Archival date: 2018-08-30
View upload history
References found in this work BETA
On Conditionals.Edgington, Dorothy
Conditionals.Edgington, Dorothy

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-08-30

Total views
49 ( #42,485 of 50,312 )

Recent downloads (6 months)
5 ( #48,234 of 50,312 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.