Semantic Truth Theories uses the techniques of mathematical logic to develop a new semantic treatment of the concept of truth based on ideas of Saul Kripke. Yael Cohen goes on to solve the Liar paradox, Hempel's raven paradox in the philosophy of science, and other classical problems of philosophy. She does this by enlarging the scope of formal logic to include concepts of presupposition besides the usual implication. The book thus provides a unified treatment of many topics having to do with truth, topics whose deep and unsuspected interconnections are not visible without the insights of mathematical knowledge which the author elaborates. The early chapters of the book contain an accessible introduction to semantic paradoxes which should be useful to students.