Interpreting connexive principles in coherence-based probability logic

Abstract

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form "If $\sim A$, then $A$", should not hold, since the conditional's antecedent $\sim A$ contradicts its consequent $A$. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event $A|\overline{A}$ is $p(A|\overline{A})=0$. Moreover, connexive logics aim to capture the intuition that conditionals should express some "connection" between the antecedent and the consequent or, in terms of inferences, validity should require some connection between the premise set and the conclusion. This intuition is covered by a number of principles, a selection of which we analyze in our contribution. We present two approaches to connexivity within coherence-based probability logic. Specifically, we analyze connections between antecedents and consequents firstly, in terms of probabilistic constraints on conditional events (in the sense of defaults, or negated defaults) and secondly, in terms of constraints on compounds of conditionals and iterated conditionals. After developing different notions of negations and notions of validity, we analyze the following connexive principles within both approaches: Aristotle's Theses, Aristotle's Second Thesis, Abelard's First Principle and selected versions of Boethius' Theses. We conclude by remarking that coherence-based probability logic offers a rich language to investigate the validity of various connexive principles.

arXiv commentThe final authenticated publication will be available online at https://www.springer.com/gp/book/9783030867713

References in corpus (12)

• 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
• 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
• Conjunction of Conditional Events and T-norms

Cited by in corpus (1)

• On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems