To obtain information, we can query a database management system. To do so, we express our queries in a simple computer language, perhaps using graphics, perhaps even in our natural language. The system translates this request into a formal language. This consists of a syntax, which allows the user’s query to be specified, and a formal semantics that gives this syntax an exact meaning. Mathematical logic allows for this kind of formal language. In this lecture, I will discuss the profound ti...