Elements of Formal Semantics will aim at introducing some of the foundational concepts, principles and techniques in formal semantics of natural language. It is planned as a basic but sophisticated introduction for readers who have some elementary background in set theory and linguistics. No mastery of logic, advanced math, or theoretical linguistics is presupposed. The book will bring central semantic concepts and tools to the forefront, without letting them be complicated by detailed empirical discussions, logical background or specifics of semantic theories. By motivating the introduction of each basic tool and concept by the analysis of concrete examples in English, the book attempts to attract the reader's attention to the beauty of capturing intricate semantic phenomena using elegant and rigorously-defined mathematical techniques.