Analitic Philosophy. Formalization of natural languages. relationship between language and cognitive structures. Language and thought.