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 logikkenfortælle os, og derfor spiller den en så vigtig rolle i mange modernevidenskaber. Moderne elementær logik læseren gennem den moderne logik og denssystemer - fra klassisk udsagnslogik for første ordens prædikatslogik tilmodallogik, 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 grunduddannelseri bl.a. filosofi, matematik, datalogi, lingvistik og retorik, men henvendersig også til studerende på overbygningsuddannelsernes specialkurser - og i det hele taget enhver, der interesser sig for "tænkningens love".2. reviderede udgave, 2011