This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part function in order to deal with the case where the conditioning event has probability zero, and the use of a many-valued modal logic in order to deal probability of an event phi as the truth value of the sentence phi is probable, along the lines of Hajek's book [H98] and of [EGH96]. To this purpose, we introduce a probabilistic many-valued logic, called FP(SLPi), which is sound and complete with respect a class of structures having a non-standard extension [0,1](star) of [0,1] as set of truth values. We also prove that the coherence of an assessment of conditional probabilities is equivalent to the coherence of a suitably defined theory over FP(SLPi) whose proper axioms reflect the assessment itself.
Tommaso, F., Montagna, F. (2005). A logical and algebraic treatment of conditional probability. ARCHIVE FOR MATHEMATICAL LOGIC, 44(2), 245-262 [10.1007/s00153-004-0253-z].
A logical and algebraic treatment of conditional probability
MONTAGNA, FRANCO
2005-01-01
Abstract
This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part function in order to deal with the case where the conditioning event has probability zero, and the use of a many-valued modal logic in order to deal probability of an event phi as the truth value of the sentence phi is probable, along the lines of Hajek's book [H98] and of [EGH96]. To this purpose, we introduce a probabilistic many-valued logic, called FP(SLPi), which is sound and complete with respect a class of structures having a non-standard extension [0,1](star) of [0,1] as set of truth values. We also prove that the coherence of an assessment of conditional probabilities is equivalent to the coherence of a suitably defined theory over FP(SLPi) whose proper axioms reflect the assessment itself.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/7162
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo