Algebraic Probabilistic Consistency

Boole, ¿ukasiewicz, de Finetti, Kolmogorov
Erscheinungsjahr 2026
ISBN: 978-3-031-98336-8
Verlag: Springer

Buch, Englisch, Band 69, 153 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 434 g

Reihe: Trends in Logic

This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability, through de Finetti’s finitely additive probability and his consistency notion, also known  as  “non-Dutchbookability,” to the intricate relationship between logic independence and stochastic independence.  Using the recent characterization of Lukasiewicz logic as the only logic generated by a continuous [0,1]-valued operation having the two minimal properties of what is commonly understood as an implication, the author extends the results of the first part of the book from yes-no events to continuous real-valued events. The book culminates with a detailed examination of the symbiosis between de Finetti’s finitely additive and Kolmogorov’s countably additive probability on compact spaces.  By providing a rigorous and cohesive narrative, this book serves as an essential resource for scholars and students in mathematical logic eager to grasp the profound connections between logic, probability, and algebraic structures.

Zielgruppe

Research

Autoren/Hrsg.

Mundici, Daniele

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Geometry of finite boolean algebras and their states.- De Finetti’s “Fundamental Theorem of Probability”.- De Finetti’s Consistency Theorem.-  Boolean independence, consistency, and the product law.- Interlude: de Finetti’s exchangeability theorem.- The logic L8 of continuous [0, 1] valued events.- MV algebraic probabilistic consistency.- The product law for continuous [0, 1] events.- Finite/countable additivity.

Über Autor(innen)

Daniele Mundici is an academic researcher from the University of Florence. He has contributed to research in Lukasiewicz logic,  Chang MV-algebras, lattice-ordered groups, AF C*-algebras and their computational complexity.  The author has an h-index of 28, and co-authored 203 publications. Previous affiliations of Daniele Mundici include the Department of Computer Science of the University of Milan. He has served as a president of the Kurt Gödel Society.