Logic, Language, and Calculus