El autor comienza por exponer algunos criterios orientadores para afrontar esa tarea destacando el papel central que desempeña generalmente la consideración de las condiciones de verdad de los enunciados involucrados. Esto lo lleva a cuestionar la posibilidad de establecer la forma lógica de los enunciados que expresan normas. Define las condiciones de verdad de las normas mediante una semántica de mundos posibles, y muestra la utilidad de ese enfoque para analizar algunas conocidas paradojas.