Ramsey test
The Ramsey test (also called the Ramsey test for conditionals) is a proposal for how to evaluate and accept conditional sentences of the form if p (then) q. Informally, the guiding idea is that, to decide whether to accept a conditional if-p-then-q in a given belief state K, one must hypothetically add p to K and revise K in a minimal and rational way to accommodate p; then, one must accept if-p-then-q if, and only if, q would be accepted in the resulting belief state.