Może się wydawać, że logika nie ma wiele wspólnego z filozofią, a tym bardziej z prawdziwym życiem. Graham Priest pokazuje, jak bardzo ta koncepcja jest błędna. Bada filozoficzne korzenie, pokazuje, jak współczesna logika formalna radzi sobie z takimi zagadnieniami, jak istnienie Boga, rzeczywistość, paradoksy teorii prawdopodobieństwa i decyzji. W przystępny sposób wyjaśnia jej podstawy, pokazując, że logika jest ważną częścią współczesnej filozofii, a także jak może być przydatna w codziennym życiu i komunikacji – pozwala klarownie i skutecznie argumentować. Priest podejmuje również tematy związane z algorytmami i aksjomatami oraz dowodami matematycznymi.