О некоторых теоремах теории 

Григорий Константинович Ольховиков

Аннотация


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


Полный текст:

Неозаглавлен

Литература


Ольховиков Г. К. Теория D: философские основания аксиоматизации // Полигнозис. 2010. № 3.

Shapiro S. Foundations without Foundationalism. 2nd ed. OUP, 2002.


Ссылки

  • На текущий момент ссылки отсутствуют.


(c) 2014 Известия Уральского федерального университета. Серия 3. Общественные науки