Editing Counterfactual conditional (section)

====Belief revision====

{{Further|Belief revision#The Ramsey test}}
{{Expand section|date=September 2020}}

In the [[belief revision]] framework, counterfactuals are treated using a formal implementation of the ''Ramsey test''. In these systems, a counterfactual ''A'' > ''B'' holds if and only if the addition of ''A'' to the current body of knowledge has ''B'' as a consequence. This condition relates counterfactual conditionals to [[belief revision]], as the evaluation of ''A'' > ''B'' can be done by first revising the current knowledge with ''A'' and then checking whether ''B'' is true in what results.  Revising is easy when ''A'' is consistent with the current beliefs, but can be hard otherwise. Every semantics for belief revision can be used for evaluating conditional statements.  Conversely, every method for evaluating conditionals can be seen as a way for performing revision.