Language and logic