Boken ger en bred introduktion till modern logik, med särskild tonvikt på filosofiska tillämpningar. Förutom satslogik och predikatlogik presenteras även modallogik och teorin om kontrafaktiska implikationer. Med detaljerade exempel och många övningar ger boken både en översikt över logikens landskap och praktiska färdigheter i att hantera formella metoder. Dessutom uppmärksammas en rad filosofiska frågor med anknytning till logik, från relationen mellan formella och naturliga språk till modalitetens metafysik. Andreas Stokke är universitetslektor i teoretisk filosofi vid Uppsala universitet.