Language, Truth, and Logic