Suppose P is true and Q is true, then it follows logically that P --> Q, that Q --> P and therefore that P Q. Now, suppose that P is 'George W. Bush is the 43rd President of the US' and Q is 'Bertrand Russell invented the ramified theory of types', both propositions are true, and therefore the truth of both guarantees the truth the aforementioned propositions. But it seems bizarre to say that Russell's invention of the theory of types entails that Bush is the 43rd president, as well as the other logical consequences. After all we can conceive of a scenario where Russell invents the ramified theory of types, but Bush becomes a plumber (say), if that is a possible scenario, it would seem that the proposition "If Russell invents the ramified theory of types then Bush is the 43rd President of the US" is false given the definition of 'if then'. But after all, does it make sense to say that a proposition entails another only in the actual world? (That doesn't seem to have as much generality as we...