О некоторых теоремах теории дельта

Abstract

The paper concerns second-order theory ?, constructed by the author as a part of his project on providing deontic logic with a safe foundation. The theory is proved to be consistent, and a number of theorems providing an insight into the general structure of its models is deduced.

В статье рассматривается второпорядковая теория ?, построенная автором в рамках развиваемого им проекта по обоснованию деонтической логики. Доказывается непротиворечивость теории, после чего выводится ряд ее теорем, позволяющих лучше понять общую структуру ее моделей.