A speaker/hearer of a natural language has a limited stock of words. But they create and understand infinite number of meaningful sentences. How does one understand a new sentence one has never heard before? How can limited number of words construct infinite number of meaningful sentences? Semantics tries to answer these meaning-related questions. This course aims at introducing the students to Formal (Montague) Semantics which uses the techniques of mathematical logic to explain the creative faculty of natural language.