This book offers an in-depth introduction to standard proposition logic and predicate logic, introducing both model-theoretic semantics as well as natural deduction proof systems. It also provides first introduction to meta-Iogic, by discussing the soundness and completeness theorems for proposition logic. In addition the book also gives brief introductions to extensions of standard logic, in the form of many-valued logics and intensional (modal and temporal). And it introduces various forms of pragmatics to illustrate the limitations of logical analyses of natural language meaning. Throughout the logical material is accompanied by chapters that are devoted to applications of logic in the analysis of philosophical problems and to philosophical questions that are raised by logic itself. For this purpose, It uses both classical material (from Frege, Russell, Strawson) as well as more contemporary contributions.