Natural Language and Logic