This book is an introduction to modern formal logic. It is not a text book, however, but explores the philosophical roots of the subject. Each chapter takes some philosophical problem or logical conundrum, and explains how it may be handled in light of modern logic.