Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. Logic: A Very Short Introduction shows how wrong this conception is. It explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy. It also covers the subjects of algorithms and axioms, and proofs in mathematics.