В числе законов логики норм – положения, что никакое действие не может быть одновременно и обязательным, и запрещённым, что безразличное не является ни обязательным, ни запрещённым и т.п. Одна из групп законов касается связей между основными нормативными понятиями. Эти законы, в частности, говорят: «Действие обязательно только в том случае, если запрещено воздерживаться от него», «Действие разрешено, когда оно не запрещено», «От запрещённого обязательно воздерживаться» и т.д.

Очевидность этих положений становится особенно наглядной, когда они переформулируются в терминах конкретных действий. Обязательно, допустим, платить налоги только при условии, что их запрещено не платить; разрешено пропустить ход в игре, если это не запрещено, и т.п.

Невозможно что-то сделать и вместе с тем не сделать, выполнить какое-то действие и одновременно воздержаться от него. Нельзя засмеяться и не засмеяться, закипятить воду и не закипятить её. Понятно, что требовать от человека выполнения невозможного неразумно: он все равно нарушит это требование. На этом основании в логику норм вводят принцип, согласно которому действие и воздержание от него не могут быть вместе обязательными.

Реальные системы норм – особенно включающие тысячи и десятки тысяч норм – обычно не вполне последовательны. В них тем или иным путём появляются нормы, одна из которых запрещает что-то, а другая разрешает это же самое или одна требует сделать что-то, а другая предписывает воздерживаться от этого.

Существование таких систем с конфликтующими нормами не означает, конечно, что логика не должна требовать непротиворечивости нормативного рассуждения. Реальные научные теории тоже развиваются постепенно, путём постоянного их расширения и перестройки. Новое в этих теориях зачастую оказывается не совместимым со старым. Непоследовательность и прямая противоречивость теорий не считаются основаниями для отказа от логического требования непротиворечивости. Противоречивость многих существующих систем норм также не означает, что от них не следует требовать логической последовательности и непротиворечивости.