Uses the techniques of mathematical logic to develop a new semantic treatment of the concept of truth based on ideas of Saul Kripke. This book attempts to solve the Liar paradox, Hempel's raven paradox in the philosophy of science, & other classical problems of philosophy. It offers an introduction to semantic paradoxes, suitable for students.