[leoc]

No-one in logic even pretends that the material conditional is in general an adequate representation of natural-language conditionals anymore. It's fine in the context of mathematics though.