Abstract
We extend De Finetti’s coherence criterion to the infinite-valued propositional logic of Łukasiewicz. Given a finite set of formulas ψ i and corresponding real numbers β i ∈ [0, 1], we prove that the β i ’s arise from a finitely additive measure on formulas if, and only if, there is no possible choice of “stakes” σ i ∈ R such that, for every valuation V the quantity ∑ i = 1 n σ i ( β i - V ( ψ i ) ) is <0. This solves a problem of Jeff Paris, and generalizes previous work on Dutch Books in finite-valued logics, by B. Gerla and others. We also extend our result to infinitely many formulas, and to the case when the formulas ψ i are logically related. In a final section we deal with the problem of deciding if a book is Dutch.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.