деонтическая логика

ДЕОНТИЧЕСКАЯ ЛОГИКА (от греч. deon — долг, правильность) — раздел современной неклассической логики, в котором исследуются возможности применения средств символической логики к анализу морального, правового, политического, экономического и подобных им, нормативных, типов суждений.

Уже в 11 в. Ансельм Кентерберийский изучал деонтические операторы ( «обязательно», «допустимо», «запрещено» и «безразлично») и формулировал специальные правила обращения с ними. В 17 в. Лейбниц полагал, что «все подчинения, перестановки и противоположения, которые были выявлены Аристотелем и его интерпретаторами, могут быть с успехом перенесены на модальности права». Мысли о возможности построения Д. л. можно найти у И. Бентама, который в 1834 г. писал об особой «логике повеления».

Современный этап в развитии Д. л. открывается статьей Г.Х. фон Вригта «Деонтическая логика», опубликованной в 1951. Ему же в наибольшей степени Д. л. обязана своим нынешним состоянием. Вклад в ее развитие внесли А.Н. Прайор, Г. Калиновски, Г. Кастанеда, А. Р. Андерсон, Н. Решер, П.Т. Г и ч , Л. Аквист, Р. Чизхолм, Э.Дж. Леммон, Э. Coca, P. Баркан-Маркус, 3. Зембиньски и др. В конце 1950-х исследования в области Д. л. начинают вести отечественные ученые; в 1958 г. была опубликована статья А.А. Зиновьева «О логике нормативных предложений». Особо следует отметить многочисленные работы А.А. Ивина.

Важным исходным понятием Д. л. является «подлинная норма», т.е. такая, которая регулирует действие, направленное на обеспечение выполнимого положения дел, — того, которое зависит от человека. Для преодоления семантических затруднений вводится понятие нормы-отрицания: Р—А, т.е. «разрешено, чтобы было не-А»; для ОА, т.е. «обязательно, чтобы было А», и соответственно О—А для РА. Логико-нормативное следование определяется вполне естественным способом: норма следует из некоторого множества норм, если присоединение ее нормы-отрицания к этому множеству приводит к образованию противоречивого множества.

Системы Д. л. строятся как (консервативные) расширения классической логики высказываний. «Минимальная система» включает в себя схему аксиом Р(А vB)f> (PA v PB) и правило подстановки эквивалентных формул классической логики высказываний одной вместо другой. Другие системы получаются из нее посредством дополнения новыми постулатами; напр., «классическая система» получается из «минимальной системы» с помощью дополнения ее «законом Бентама» (PA v P —. А ) .

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

Семантика систем Д. л. строится посредством обращения к «возможным мирам»; напр., говоря, что А является разрешенным в некотором «мире», мы тем самым говорим, что о нем можно непротиворечиво рассуждать как о замененном другим «миром», в котором имеет место А, и при этом все обязывающие нормы выполняются.

Уточнить понятие деонтической непротиворечивости и семантические рассмотрения Д. л. можно с помощью временной квалификации деонтических операторов.

Э.Ф. Караваев

Лит.: Ивин А.А. Логика норм. М., 1973; Вригт Г.Х. фон. Логико-философские исследования. М., 1986; Герасимова И.А. Нормы с оговорками и рассуждения при недостатке информации // Исследования по неклассическим логикам. М., 1989; Караваев Э.Ф. О временной квалификации нормативных высказываний // Логические исследования. Вып. 7. М., 2000; Hilpinen R. (ed.) Deontic Logic: Introductory and Systematic Readings. Dordrecht, 1971; Hilpinen R. (ed.) New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, 1981; Nute D. (ed.) Defeasible Deontic Logic. Dordrecht, 1997; Meggle G. (ed.) Actions, Norms, Values: Discussions with G.H. von Wright. Berlin—N.Y., 1999.