Knowing Why: Formal Logic And Casual Reasoning