Formal Semantics

To analyze the meaning of words and sentences in natural language.

To develop a universal language for communication.

To study the relationship between language and thought.

To create computer programs that can understand and generate human language.