Alle mennesker er i stand til at udf re korrekte logiske slutninger, men vi g r os sj ldent klart, hvordan vi b rer os ad. Det kan logikken fort lle os, og derfor spiller den en s vigtig rolle i mange moderne videnskaber. Moderne element r logik l seren gennem den moderne logik og dens systemer - fra klassisk udsagnslogik for f rste ordens pr dikatslogik til modallogik, herunder aletisk, temporal og epistemisk logik. Bogen inde- holder ligeledes kapitler af mere avanceret karakter om formelle strukturer, modelteori og metateoretisk analyse af udsagnslogik samt f rsteordenslogik. Bogen er tilrettelagt med henblik p universiteternes grunduddannelser i bl.a. filosofi, matematik, datalogi, lingvistik og retorik, men henvender sig ogs til studerende p overbygningsuddannelsernes specialkurser - og i det hele taget enhver, der interesser sig for "t nkningens love." 2. reviderede udgave, 2011