Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy -- a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-tech