Language, Proof and Logic