Interpretation of De Finetti coherence criterion in Łukasiewicz logic

Annals of Pure and Applied Logic 161 (2):235-245 (2010)
  Copy   BIBTEX


De Finetti gave a natural definition of “coherent probability assessment” β:E→[0,1] of a set E={X1,…,Xm} of “events” occurring in an arbitrary set of “possible worlds”. In the particular case of yes–no events, , Kolmogorov axioms can be derived from his criterion. While De Finetti’s approach to probability was logic-free, we construct a theory Θ in infinite-valued Łukasiewicz propositional logic, and show: a possible world of is a valuation satisfying Θ, β is coherent iff it is a convex combination of valuations satisfying Θ, iff β agrees on E with a state of the Lindenbaum MV-algebra of Θ, iff for some Borel probability measure μ on . Thus Łukasiewicz semantics, MV-algebraic states, and Borel probability measures provide a universal representation of coherent assessments of events occurring in any conceivable set of possible worlds



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

De Finetti Coherence and Logical Consistency.James M. Dickey, Morris L. Eaton & William D. Sudderth - 2009 - Notre Dame Journal of Formal Logic 50 (2):133-139.
Finite axiomatizability in Łukasiewicz logic.Daniele Mundici - 2011 - Annals of Pure and Applied Logic 162 (12):1035-1047.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.
Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.


Added to PP

12 (#974,459)

6 months
3 (#643,273)

Historical graph of downloads
How can I increase my downloads?

References found in this work

La Prévision: Ses Lois Logiques, Ses Sources Subjectives.Bruno de Finetti - 1937 - Annales de l'Institut Henri Poincaré 7 (1):1-68.
Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Sul Significato Soggettivo della Probabilittextà.Bruno De Finetti - 1931 - Fundamenta Mathematicae 17:298--329.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.

View all 7 references / Add more references