Language, Proof, and Logic