Alle mennesker er i stand til at udføre korrekte logiske slutninger,
men vi gør os det sjældent klart, hvordan vi bærer os ad. Det kan
logikken fortælle, og derfor spiller den en så vigtig rolle i mange
moderne videnskaber.
Moderne elementær logik tager læseren gennem den moderne logik
og dens systemer - fra klassisk udsagnslogik over førsteordenslogik til
modallogik, herunder aletisk, temporal og epistemisk logik. Bogen
indeholder 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
Bearbejdet og kompileret af Henrik Boensvang og Rasmus Rendsvig.