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 emph{If $lsim A$, then $A$}, should not hold, since the conditional's antecedent $lsim 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|o{A}$ is $p(A|o{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.
Pfeifer, N., Sanfilippo, G. (2021). Interpreting Connexive Principles in Coherence-Based Probability Logic. In J. Vejnarová, N. Wilson (a cura di), Symbolic and Quantitative Approaches to Reasoning with Uncertainty 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings (pp. 672-687) [10.1007/978-3-030-86772-0_48].
Interpreting Connexive Principles in Coherence-Based Probability Logic
Pfeifer, Niki
Co-primo
;Sanfilippo, GiuseppeCo-primo
2021-01-01
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 emph{If $lsim A$, then $A$}, should not hold, since the conditional's antecedent $lsim 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|o{A}$ is $p(A|o{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.File | Dimensione | Formato | |
---|---|---|---|
ECSQARU2021_connexivity.pdf
Solo gestori archvio
Tipologia:
Versione Editoriale
Dimensione
278.89 kB
Formato
Adobe PDF
|
278.89 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
ecsqaru2021_connexivity_revisedaftertheproof.pdf
accesso aperto
Tipologia:
Post-print
Dimensione
283.98 kB
Formato
Adobe PDF
|
283.98 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.