A-A-Ron

  If slavery is not wrong, nothing is wrong.
  -- Abraham Lincoln

I've been trying to get an intuition (make myself feel good) about the material conditional logical connective and this seems to satisfy the case for a false antecedent and false consequent (¬p→¬q). The equally true statement seems to check out:

  If slavery is not wrong, something is wrong. (¬p→q)

However this also evaluates to True which annoys me:

  If slavery is wrong, something is wrong. (p→q)

And this evaluates to False:

  If slavery is wrong, nothing is wrong. (p→¬q)

I get that the formal definition of → is different from English's if/then but that just makes understanding proofs so much harder. Perhaps someone could better paraphrase Lincoln in first-order logic?