Moderne Elementr Logik

Alle mennesker er i stand til at udfre korrekte logiske slutninger,
men vi gr os sjldent klart, hvordan vi brer os ad. Det kan logikken
fortlle os, og derfor spiller den en s vigtig rolle i mange moderne
videnskaber.

Moderne elementr logik lseren gennem den moderne logik og dens
systemer - fra klassisk udsagnslogik for frste ordens prdikatslogik 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
frsteordenslogik.

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 "tnkningens love".

2. reviderede udgave, 2011