Современная формальная логика является очень разветвленной отраслью знания. Долгое время она развивалась прежде всего с целью предоставления средств, нужных для обоснования математики. Участие в обосновании математики и сейчас остается одной из важных ее задач. Вместе с тем в последнее время возник ряд новых разделов логики, связанных непосредственно не с математикой, а с проблемами иных наук, н в частности с проблемами этики, теории права, политической экономии, социологии, философии и других гуманитарных наук. К числу этих разделов относится и логическая теория нормативного рассуждения, называемая обычно логикой норм или деонтической логикой.