'Formele semantiek' biedt een heldere en toegankelijke inleiding in het domein van de formele semantiek. Het maakt de lezer vertrouwd met een geformaliseerde benadering van betekenis in natuurlijke taal. Het uitgangspunt daarbij vormt het zogenaamde compositionaliteitsbeginsel, dat stelt dat de betekenis van een zin opgebouwd is uit de betekenissen van de woorden van die zin, en zijn syntactische structuur.

Het eerste deel van het boek introduceert de propositielogica en de predicatenlogica. Deze twee takken van de logica vormen historisch gezien de basis voor de moderne formele semantiek en veel van de begrippen van de semantiek zijn terug te voeren op hun logische voorgangers.

Het tweede deel bouwt een theorie op over betekenis in natuurlijke taal. Daarbij komen onder meer de volgende thema’s aan bod: lambda-conversie, functionele applicatie, semantische types en gegeneraliseerde kwantoren.

'Formele semantiek' bevat talrijke oefeningen die de lezer/ student uitnodigen om actief mee te denken en de voorgestelde theorieën te oefenen.