Boolean algebras of conditionals, probability and logic

06/08/2020
by   Tommaso Flaminio, et al.
0

This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) Boolean algebra of conditionals from any (finite) Boolean algebra of events. By doing so we distinguish the properties of conditional events which depend on probability and those which are intrinsic to the logico-algebraic structure of conditionals. Our main result provides a way to regard standard two-place conditional probabilities as one-place probability functions on conditional events. We also consider a logical counterpart of our Boolean algebras of conditionals with links to preferential consequence relations for non-monotonic reasoning. The overall framework of this paper provides a novel perspective on the rich interplay between logic and probability in the representation of conditional knowledge.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/29/2011

Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic

This work contributes to the domains of Boolean algebra and of Bayesian ...
research
07/21/2022

Correlated Boolean Operators for Uncertainty Logic

We present a correlated and gate which may be used to propagate uncertai...
research
03/27/2013

Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?

In this paper, the feasibility of using finite totally ordered probabili...
research
08/08/2008

Relations among conditional probabilities

We describe a Groebner basis of relations among conditional probabilitie...
research
12/20/2019

A characterisation of ordered abstract probabilities

In computer science, especially when dealing with quantum computing or o...
research
08/17/2023

Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems

Gottfried Leibniz embarked on a research program to prove all the Aristo...
research
07/15/2013

Probability Distinguishes Different Types of Conditional Statements

The language of probability is used to define several different types of...

Please sign up or login with your details

Forgot password? Click here to reset