This a beginners’ course that introduces the basic concepts and techniques of formal semantics. After some preliminaries (semantics vs pragmatics; lexical vs. logical semantics; compositionality), we will stepwise introduce the theory of extensions and intension.  We will start with the meaning of sentences in possible worlds semantics, and then move on to simple extensional constructions (predication, quantification), followed by the modal logic approach to propositional attitude reports (aka Hintikka semantics). Time permitting, we will take a brief look at a type-logical translation algorithm and/or further constructions (relative clauses, adjectives). The course will be based on the class notes on Ede’s homepage [link suppressed].