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