Language, truth, and logic