The discovery of the 'new logic' in the late nineteenth century led to a revolution in philosophy. This book examines the role of formal logic in the analytic approach to philosophy and includes a valuable introduction to cutting-edge mathematical techniques metalogic basic topology set theory and category theory.