So, I’m back in Chicago. Back in classes. Spanish is going well and Logic is quite fun. I was just sitting around thinking about the strange interpretation of if… then statements. In logic, they’re only ever false if the “if” part is true and the “then” part is false. For instance – imagine taking a business to court because they won’t refund your money despite the fact that they sold you inferior products and have the slogan :
If it’s the best in its class – then you bought it here and it comes with a 100% money-back guarantee!
Well, it turns out that, strictly speaking, they haven’t made their statement false by refusing to give you your money back. The antecedent is false – or so the assumption goes – so regardless of how the consequent turns out, the statement is logically true. Odd, you think…me too. I’m more in favor of pegging such statements as “maybe” or “unknown” statements. I’m not sure if I’ll be given that option this quarter.
It’s cold here. 37° F now. Rainy too. I’ll write more later.
2 Replies to “Strange Results of Deductive Logic”
if you are a nerd, then you must be my brother.
A true statement, but only because the antecedent is false!