Logic, Language, and Computation