Moderne Elementaer Logik

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