Boken er en innføring i elementære formallogikk, det vil si setningslogikk og predikatlogikk. Disse fremstilles ved bruk av den såkalte semantiske tablåmetoden. Målgruppen er studenter som tar grunnfag i filosofi, men teksten er ment å være tilgjengelig for alle med en viss interesse for stoffet. Fremstillingen er forsøkt å være leservennlig, samtidig som det har vært et mål å antyde logikkens santrale plass i vår tenkning, og i vår tenkning om tenkning.