In this chapter we exploit the notions of conjoined and iterated conditionals. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval [0,1]. We examine the iterated conditional (B|K)|(A|H), by showing that A|H p-entails B|K if and only if (B|K)|(A|H) = 1. Then, we show that a (p-consistent) family F = {E1|H1, E2|H2} p-entails a conditional event E3|H3 if and only if E3|H3 = 1, or (E3|H3)|QC(S) = 1 for some nonempty subset S of F, where QC(S) is the quasi conjunction of the conditional events in S. We also examine the inference rules And, Cut, Cautious Monotonicity, and Or of System P, and other well-known inference rules (Modus Ponens, Modus Tollens, and Bayes). Furthermore, we show that QC(F)|C(F) = 1, where C(F) is the conjunction of the two conditional events in F. We characterize p-entailment by showing that F p-entails E3|H3 if and only if (E3|H3)|C(F) = 1. Finally, we examine Denial of the antecedent, Affirmation of the consequent, and Transitivity where the p-entailment of E3|H3 from F does not hold, so that (E3|H3)|C(F) is not equal to 1.

Gilio, A., Pfeifer, N., Sanfilippo, G. (2020). Probabilistic entailment and iterated conditionals. In S. Elqayam, I. Douven, J.S. Evans, N. Cruz (a cura di), Logic and Uncertainty in the Human Mind. A Tribute to David E. Over (pp. 71-101). Routledge [10.4324/9781315111902].

Probabilistic entailment and iterated conditionals

Sanfilippo, Giuseppe
2020-01-01

Abstract

In this chapter we exploit the notions of conjoined and iterated conditionals. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval [0,1]. We examine the iterated conditional (B|K)|(A|H), by showing that A|H p-entails B|K if and only if (B|K)|(A|H) = 1. Then, we show that a (p-consistent) family F = {E1|H1, E2|H2} p-entails a conditional event E3|H3 if and only if E3|H3 = 1, or (E3|H3)|QC(S) = 1 for some nonempty subset S of F, where QC(S) is the quasi conjunction of the conditional events in S. We also examine the inference rules And, Cut, Cautious Monotonicity, and Or of System P, and other well-known inference rules (Modus Ponens, Modus Tollens, and Bayes). Furthermore, we show that QC(F)|C(F) = 1, where C(F) is the conjunction of the two conditional events in F. We characterize p-entailment by showing that F p-entails E3|H3 if and only if (E3|H3)|C(F) = 1. Finally, we examine Denial of the antecedent, Affirmation of the consequent, and Transitivity where the p-entailment of E3|H3 from F does not hold, so that (E3|H3)|C(F) is not equal to 1.
Settore MAT/06 - Probabilita' E Statistica Matematica
Settore MAT/01 - Logica Matematica
Gilio, A., Pfeifer, N., Sanfilippo, G. (2020). Probabilistic entailment and iterated conditionals. In S. Elqayam, I. Douven, J.S. Evans, N. Cruz (a cura di), Logic and Uncertainty in the Human Mind. A Tribute to David E. Over (pp. 71-101). Routledge [10.4324/9781315111902].
File in questo prodotto:
File Dimensione Formato  
DavidBook_LogicAndUncertaintyCover+Article_compressedOCR.pdf

Solo gestori archvio

Tipologia: Versione Editoriale
Dimensione 6.47 MB
Formato Adobe PDF
6.47 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/10447/424016
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact