Language and Logic