Logic, Meaning and Computation