Vincent F. Hendricks og Stig Andur Pedersen: 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 logikken til gengæld fortælle, og derfor spiller den så vigtig en rolle i mange moderne videnskaber. Med udgangspunkt i simple argumenter og slutningskemaer fører Moderne elementær logik læseren gennem den moderne logik og dens systemer – fra klassisk udsagnslogik over første ordens prædikatslogik til modallogik, herunder aletisk, temporal og epistemisk logik. Desuden indeholder bogen kapitler af mere avanceret karakter om formelle strukturer, modelteori og metateoretiske undersøgelser af udsagnslogik samt første og højere ordens logik.