Moderne elementær 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