Title: Logic, Language, Information, and Computation