Mange av våre tidligste erfaringer med den avgjørende kraften i et argument stammer fra skolem nødvendige matematikk: når vi står overfor et matematisk bevis, kan vi ikke avvise konklusjonen når premissene er akseptert. Bak slike argumenter ligger et mer generelt mønster av 'demonstrative arguments' som studeres innen logikkens vitenskap. Logisk resonnement anvendes på alle nivåer, fra hverdagsliv til avansert vitenskap, og en bemerkelsesverdig grad av kompleksitet oppnås i hverdagens logiske resonnement, selv om prinsippene bak dem forblir intuitive. Jan von Plato gir en tilgjengelig, men grundig introduksjon til et viktig aspekt av moderne logikk: dens deduktive maskineri. Han viser at når formene av logisk resonnement analyseres, viser det seg at et begrenset sett med første prinsipper kan representere ethvert logisk argument. Boken hans vil være verdifull for studenter innen logikk, matematikk og datavitenskap.
