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.
2005
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].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/7162
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo