Теория модальностей А. С. Есенина-Вольпина

Аннотация

Теория модальностей А. С. Есенина-Вольпина  исключает  какие-либо  верования  из оснований  математики  и  гуманитарных  знаний. Некоторые методы моральных и правовых рассуждений  неотчетливы  и  не  формализованы  вследствие употребления деонтических модальностей по аналогии с алетическими. Построение научной теории и морального рассуждения осуществляется по правилам. Деонтическая логика формализует отношения между правилами любой природы. Одно и то же деяние может быть разрешено в одной ситуации и запрещено в другой. Есенин-Вольпин называет класс предписаний с соответствующими
ситуациями «тактикой». Он определяет иерархию тактик, что, на наш взгляд, позволяет объяснить принципы автономной этики Канта и строение законодательных систем. Все рациональные действия описываются модальными словами разных групп. Правила связей деонтических модальностей («Обязательно», «Разрешено», «Запрещено») не всегда имеют аналогии с аксиомами для алетических модальностей («Необходимо», «Возможно», «Невозможно»). Обобщенная метатеория объясняет отношения между всеми видами модальностей, а также лежит в основании построения
строгих математических или этических теорий.