On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems

Abstract

In this paper we recall some results for conditional events, compound conditionals, conditional random quantities, p-consistency, and p-entailment. Then, we show the equivalence between bets on conditionals and conditional bets, by reviewing de Finetti's trivalent analysis of conditionals. But our approach goes beyond de Finetti's early trivalent logical analysis and is based on his later ideas, aiming to take his proposals to a higher level. We examine two recent articles that explore trivalent logics for conditionals and their definitions of logical validity and compare them with our approach to compound conditionals. We prove a Probabilistic Deduction Theorem for conditional events. After that, we study some probabilistic deduction theorems, by presenting several examples. We focus on iterated conditionals and the invalidity of the Import-Export principle in the light of our Probabilistic Deduction Theorem. We use the inference from a disjunction, "$A$ or $B$", to the conditional,"if not-$A$ then $B$", as an example to show the invalidity of the Import-Export principle. We also introduce a General Import-Export principle and we illustrate it by examining some p-valid inference rules of System P. Finally, we briefly discuss some related work relevant to AI.

References in corpus (15)

• Conditional Random Quantities and Compounds of Conditionals
• Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects
• Probabilistic squares and hexagons of opposition under coherence
• Probabilistic inferences from conjoined to iterated conditionals
• Probabilities of conditionals and previsions of iterated conditionals
• Generalized Logical Operations among Conditional Events
• Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
• Boolean algebras of conditionals, probability and logic
• Reassessing Accuracy Rates of Median Decisions
• Compound conditionals, Fréchet-Hoeffding bounds, and Frank t-norms
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• Probabilistic entailment and iterated conditionals
• Situated Conditional Reasoning
• Interpreting connexive principles in coherence-based probability logic
• Iterated Conditionals and Characterization of P-entailment