Conditionals Based on Selection Functions, Modal Operators and Probabilities
Tommaso Flaminio (IIIA-CSIC), Lluis Godo (IIIA-CSIC), Gluliano Rosella (Univerity of Turin)

TL;DR
This paper explores the deep connection between probability updating methods, especially Bayesian conditionalization, and conditional connectives, aiming to characterize their probabilities and the updating procedures they can represent.
Contribution
It provides general results linking conditionals and updating methods, broadening understanding beyond specific cases and encompassing various conditionals and updates.
Findings
Characterizes probabilities of certain conditional connectives.
Identifies classes of updating procedures representable by specific conditionals.
Establishes a general framework connecting conditionals with probability updating methods.
Abstract
Methods for probability updating, of which Bayesian conditionalization is the most well-known and widely used, are modeling tools that aim to represent the process of modifying an initial epistemic state, typically represented by a prior probability function P, which is adjusted in light of new information. Notably, updating methods and conditional sentences seem to intuitively share a deep connection, as is evident in the case of conditionalization. The present work contributes to this line of research and aims at shedding new light on the relationship between updating methods and conditional connectives. Departing from previous literature that often focused on a specific type of conditional or a particular updating method, our goal is to prove general results concerning the connection between conditionals and their probabilities. This will allow us to characterize the probabilities of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBayesian Modeling and Causal Inference · Logic, Reasoning, and Knowledge · Constraint Satisfaction and Optimization
