The Spectrum From Logic to Probability
Let be the set of propositions considered by some rational logician (call her Sue). Further, suppose that is closed under the propositional connectives , , . Here are two related but different preorders on : if logically entails . if Sue considers at least as likely to be true as is. Let be the equivalence […]