CC BY
164
УДК 164.3+510.27+510.62+510.643
Алексей Геннадьевич Кислов
кандидат философских наук, доцент, заведующий кафедрой онтологии и теории познания Института социальных и политических наук
Уральского федерального университета, г. Екатеринбург. E-mail: [email protected]
ДИНАМИЧЕСКИЙ ПОДХОД К ДЕОНТИЧЕСКОЙ ЛОГИКЕ: СЕМАНТИКА НОРМАТИВНЫХ ОПЕРАТОРОВ1
В статье представлена семантика деонтической логики, реализуемая на основе динамической логики высказываний. Стандартная версия такой реляционной семантики (Дж.-Дж. Ч. Мейера) использует семантическую идею А. Андерсона - определение нормативных операторов («обязательно», «запрещено» и «позволено») посредством пропозициональной константы «санкция». Стандартная семантика в мультимодальном ключе (выходя за пределы взаимоопределимости деонтических модальностей) дополняется сначала «строгими» (обсуждается понятие «степень ответственности»), потом - «прагматическими» операторами (посредством пропозициональной константы С. Кангера «позитивная санкция»). Предлагается возможность отказаться от тотальной редукции деонтической логики к динамической логике и от семантически сомнительных констант «санкция» и «позитивная санкция». Строится автономная интенсиональная семантика деонтических операторов, релятивизированных относительно системы оценок. Построенная семантика близка к «константной» версии, сохраняет возможность выразить класс деонтических операторов «в строгом смысле», объединяет стандартную и прагматическую интерпретации деонтических операторов. Самым важным является то, что «нередукционистская» мультимодальная версия деонтической семантики, на наш взгляд, обладает большей естественностью.
Ключевые слова: деонтическая логика, динамическая логика высказываний, логическая семантика, нормативные операторы, санкция, степень ответственности, система оценок.
Деонтическую логику в самом широком смысле определяют как «область современной символической логики, которая состоит в применении ее идей, принципов и методов к анализу морального, правового, политического, экономического и подобных им нормативных типов рассуждений» [7, с. 397]. Первичные сведения о деонтической логике также можно получить из [10]. На пути преодоления известных недостатков деонтической логики [11], построенной в духе «старого модализма», то есть на основе аналогии с логикой алетических модальностей, чаще всего обсуждаются известные парадоксы А. Росса, А. Прайора, Р. Чизхольма и др. На наш взгляд, корневой здесь оказывается проблема статуса так называемой
1 Статья подготовлена при поддержке РГНФ, проект № 12-03-00196а «Логика норм и нормативные системы».
«деонтической альтернативы миру». Широкую известность приобрели инициированные Г.Х. фон Вригтом самые разноплановые исследования условных норм, деонтических версий так называемых диадических модальностей [5, с. 320-334; 19; 18], а также трактовка нормы как выражения связи случаев с решениями [18]. В каком-то смысле альтернативой указанному подходу оказывается впервые реализованное также фон Вригтом намерение строить логику норм на основе логического анализа действий. Корифей современных деонтических исследований в логике, выражая необходимость строить логику норм на основе логического анализа действий, сетовал, что «формальная логика, та которую мы сегодня знаем, по существу является логикой статичного мира. ... Она не предоставляет места для изменений в этом мире. ... Действия все-таки существенно связаны с изменениями» [28, с. 15]. Сегодня, когда речь идет о логическом анализе действий, имеется в виду целое семейство идейно близких, но имеющих различные технические решения, семантических подходах к построению специализированных логических систем [см., например: 1; 3: 6; 21].
Реляционная семантика динамической логики высказываний. Для последующего обсуждения семантики норм воспользуемся аппаратом такого естественного и далеко идущего обобщения модальной логики, как динамическая логика, то есть мультимодальной логической системой [1; 14], в которой каждая модальная связка проиндексирована формальной программой. Динамическая логика является формальной системой, в которой вырабатываются средства выражения различных динамических категорий. Ключевую роль здесь играют изменения статических положений дел. Первые планы динамической логики в этом смысле были развиты Ф. Праттом [25; 26], а в ее пропозициональной форме - М. Фишером и Р. Ладнером [20]. С тех пор эта логика многократно обрабатывалась, развивалась и расширялась [13; 24]. Традиционная интерпретация систем динамической логики рассчитана на информатику, так как рассматривает изменение состояния компьютера во время некоторого выполнения программы, а проблемы синтеза и верификации программ остаются основной сферой приложения. Однако и более общее представление о действиях, вызывающих изменения ситуаций, вполне позволяет работать с семантикой динамической логики.
Для данной статьи достаточным будет начать с рассмотрения лишь фрагмента (без задач построения и анализа молекулярных действий) пропозициональной динамической логики (PDL). В основе языка PDL лежат два множества: атомарных высказываний - Ф0 и атомарных действий - П0.
Обычно алфавит PDL кроме стандартных пропозициональных связок и динамического оператора содержит также специальные, термообразующие по своему характеру связки для действий. Благодаря им существует возможность из атомарных действий составлять молекулярные, то есть более сложные. Можно рассматривать, например, последовательное выполнение действий, совместное (параллельное) выполнение действий, выбор между действиями, итерацию действий и многое другое. Однако
комментаторская функция данной статьи не позволяет нам удовлетворительным образом анализировать здесь весь массив, безусловно, не лишенных проблем, а значит и более интересных случаев распространения деонтических операторов на сложные действия. Поэтому мы ограничимся поначалу рассмотрением лишь атомарных действий. Другими словами, в обычном построении PDL участвуют две синтаксические категории: категория формул (Ф) и категория действий (П), в нашем же случае П0 = П.
Таким образом, к стандартному для пропозициональной логики описанию выражений в правильной форме следует добавить только один пункт:
- если А е Ф и а е П, то [а]А е Ф.
Выражение [а]А читается как «после выполнения а с необходимостью имеет место А».
Построение PDL опирается на стандартную реляционную (крипкев-скую) семантику, то есть семантическая модель есть пара М = <W, У>, где W есть непустое множество возможных миров (полных состояний), а У -функция означивания с областью определения Ф0 и П0 и
- означивание атомарного высказывания р е Ф0 представлено подмножеством возможных миров:
У(р) с W;
- означивание атомарного действия а е П0 представлено бинарным отношением на этом множестве:
У(а) с WxW.
При s е W и А е Ф выражение М, s |= А читается как «А истинно в мире s модели М».
Оценка атомарных выражений1:
М, s |= р ^ s е У(р), в PDL рекурсивно распространяется на любые выражения; из чисто пропозициональной части нам понадобится только:
М, s |= -А ^ —|М, s |= А.
Говоря неформально, каждое атомарное действие представляет собой некоторое множество переходов из одного возможного мира ^ е W) в другой (t е W). И каждый такой переход вида г> е У(а), когда s Ф t, означает, что найдется хоть одно атомарное высказывание, поменявшее в
результате такого перехода свое значение (рис. 1).
а
•-
s |= р г 1= -.р
Рис. 1. Переход из мира s в мир г.
1 Здесь и далее в правой части равенств используются знаки метаязыка.
Впрочем, и рефлексивные случаи, когда s = ^ обычно не исключаются из модели PDL, то есть допускается возможность квазипереходов вида s> е У(а), которые не приводят ни к каким изменениям.
К стандартному определению оценки выражений добавляется следующий пункт:
М, s = [а]А (Vt е W) (<s, Е> е У(а) ^ М, t 1= А), что можно проиллюстрировать следующим образом (рис. 2).
Рис. 2. Семантика [а]А.
Как правило, при формулировке PDL рассматривают и дуальный динамический оператор < >. Выражение <а>А читается как «после выполнения а возможно, что имеет место А» и определяется синтаксически:
<а>А =и- -[а]-А, или в семантической форме оценки:
М, s = <а>А ^ ^ е W) (<s, ^ е У(а) л М, t 1= А), что можно проиллюстрировать следующим образом (ри с. 3).
Рис. 3. Семантика <а>А.
Итак, мы описали фрагмент PDL, который понадобится нам в дальнейшем, причем перечисленное характерно для всех обычных версий динамической логики.
Семантика деонтических операторов в динамической логике. Стандартное построение семантики деонтических операторов средствами PDL [20] восходит к широко известной и абсолютно «редукционистской» идее А. Андерсона [16]. Считать деонтический оператор «запрещено» лишь сокращением модально-импликативной записи в алетической логике, а именно:
F(A) =Df □ (А ^ v), где v есть особая пропозициональная константа, которая обозначает так называемые «нежелательные положения дел», например различные виды санкций. Предлагается рассматривать запись [а]А в качестве усовершенствованной версии записи □ (а ^ А), причем с устранением недостатка в виде нежелательного соединения одной связкой двух различных семантических сущностей - действий и высказываний.
Таким образом:
F(a) =Df [a]v, или в семантической форме оценки:
M, s = F(a) (Vt е W) (<s, t> e V(a) ^ M, t I = v), то есть в мире s запрещено выполнять а тогда и только тогда, когда это с необходимостью приводит к нежелательному положению дел - санкции (рис. 4).
Рис. 4. Семантика F(a).
Остальные деонтические операторы подлежат взаимоопределению. Например, оператор «позволено»:
P(a) =ъг ^Р(а),
то есть в мире s позволено выполнять а тогда и только тогда, когда это не запрещено, или:
М, s = P(а) ^ е W) (<s, Е> е У(а) л -,М, t I = V), то есть в мире s позволено выполнять а тогда и только тогда, когда имеется возможность избежать нежелательных положений дел (рис. 5).
Рис. 5. Семантика P(a).
Очевидны преимущества рассмотренной формулировки интенсиональной семантики деонтической логики на основе логики динамической [9]. Например, можно отказаться от взаимоопределимости деонтических операторов и вслед за Г. Х. фон Вригтом считать «позволение чем-то "сверх и более" простого отсутствия запрещения» [6, с. 250]. Действие здесь оценивается как позволенное, если только любое его выполнение не приводит к нежелательным результатам (рис. 6).
Рис. 6. Семантика Р(а).
Впрочем, разумно будет расценивать эту только что представленную и содержательно безусловно интересную характеристику как интуицию для отдельного вида позволений. Такое позволение можно называть «позволено в строгом смысле» и обозначать Р (а). Оно уже не определяется отсутствием стандартного запрещения:
Р(а) =и- [а]—V,
или
М, s = Р+(а) (V е W) Е> е У(а) ^ -М, t = V), то есть в мире s позволено е строгом смысле выполнять а тогда и только тогда, когда никакое его выполнение не приводит к нежелательному положению дел.
Учитывая все же возможности взаимоопределимости деонтических операторов, не трудно ввести всю группу операторов «е строгом смысле». Например, оператор «запрещено в строгом смысле»:
^(а) =ьт —Р(а),
то есть в мире s запрещено е строгом смысле выполнять а тогда и только тогда, когда это не позволено в строгом смысле, или:
М, s = ^(а) ^ М, s I = <а^ ^ ^ е W) (<s, t> е У(а) л М, t = V), то есть в мире s запрещено е строгом смысле выполнять а тогда и только тогда, когда это может привести к нежелательному положению дел (рис. 7).
t2 I = -
Рис. 7. Семантика ^+(а).
Если сравнить обе группы модальностей, не трудно заметить, что в содержательном плане их разделяет предполагаемая «степень ответственности» субъекта нормы.
Оператор Стандартный (максимальная степень ответственности) Строгий
(минимальная степень ответственности)
Запрещено Позволено
Fa = [a]v = -Koo-v Pa = -i[a]v = <a>-iv F+a = — [a]-v = <a>v P+a = [a]-v = -<a>v
«Позволение» в строгом смысле абсолютно очевидно влечет отсутствие стандартного запрещения, а значит и «позволение» в обычном смысле. Но обратное следование уже не имеет места. Иными словами, если некоторое действие разрешено в строгом смысле, то есть разрешено субъекту нормы без расчета на ответственность последнего, то это же действие, безусловно, разрешено и ответственному субъекту:
P+(a) I = P(а).
Если же некоторое действие запрещено для выполнения даже ответственному субъекту, то это же действие, соответственно, запрещено в строгом смысле, то есть запрещено для выполнения и без расчета на ответственность субъекта нормы:
Да) 1= ^+(а). Обратное следование не имеет места.
Экспликация концепта «степень ответственности» на базе определения класса деонтических операторов «в строгом смысле» обогащает исследования введением целой группы операторов «деонтически индифферентно», выражающих разные виды нормативного безразличия и как следствие - более пристальным анализом «деонтического универсума» со сложными взаимоотношениями двух групп операторов в нем [8]. Но наряду с положительными аспектами «динамической трактовки» семантики деонтической логики имеют место и проблемные ее аспекты, часть которых предлагается далее к рассмотрению.
Семантический статус константы «санкция». Вырожденный характер задействованного здесь семантического подхода многих исследователей не устраивает прежде всего «редукционистским» лишением интенсионального деонтического контекста самостоятельности, а также сомнительностью семантического статуса константы v, то есть плохого, нежелательного положения дел. Этот вопрос требует детального рассмотрения.
Пропозициональную константу «санкция» естественнее всего соотнести с фиксированным элементарным положением дел:
V(v) с W.
Элементарное положение дел (элементарный факт, Sachverhalt) -основной онтологический элемент семантических идей «Логико-философского трактата» Л. Витгенштейна. Синтаксический коррелят -атомарное предложение, участвующее в классическом (карнаповском) описании каждого возможного мира, для которого это предложение истинно. Таким образом, формально при самых разных содержательных основаниях фиксации «санкции» в совокупности взаимно независимых элементарных положений дел, множество возможных миров дихотомически делится на области присутствия и отсутствия «санкции».
Известно, что практически одновременно с А. Андерсоном модаль-но-импликативное определение деонтических операторов предлагал и С. Кангер, используя в качестве пропозициональной константы «позитивную санкцию» - и:
F(A) =Df □ (и ^ -А) или F(A) =Df □ (А ^ -и), а для динамической версии:
F(a) =Df [а]-и,
где также:
V(f) С W.
Отождествляя, как это делал С. Кангер, область «позитивной санкции» с областью отсутствия санкции:
V(f) = V(-v),
мы получим тривиальный результат, в котором оператор «обязательно» является лишь результатом взаимоопределимости деонтических операторов.
Нам понадобится добавить в алфавит нашего фрагмента PDL единственную, причем унарную, связку для действий —, то есть ввести отрицание действия —а, которое следует интерпретировать как «воздержание от выполнения а».
Теперь П0 с П, а в описание выражений в правильной форме включается:
- если а е П, то ~а е П.
Означивание действия ~а основано на дополнении к означиванию действия а в смысле:
V(~a) = WxW / V(a),
а значит:
<s, t> е V(~a) ^ <s, t> ё V(a).
Ясно что:
У(—а) = У(а); У(а) п У(~а) = 0; У(а) и У(~а) = WxW. Теперь можно дать определение оператора «обязательно»:
О(а) Д-а),
то есть в мире s обязательно выполнять а тогда и только тогда, когда запрещено не выполнять (воздерживаться от) а, или:
М, s = О(а) ^ М, s I = [~а]у ^ (Vt е W) (<s, О ё У(а) ^ М, t I = V), то есть в мире s обязательно выполнять а тогда и только тогда, когда воздержание от выполнения а с необходимостью приводит к нежелательному положению дел (рис. 8). -(4 |= V
-а
-2 I = V
Ъ I = V
Рис. 8. Семантика О(а).
то есть в мире s обязательно выполнять а тогда и только тогда, когда лишь таким образом можно избежать нежелательного положения дел (прийти к —IV).
Определяется и соответствующий оператор «обязательно в строгом смысле»:
О» *+(~а),
то есть в мире s обязательно в строгом смысле выполнять а тогда и только тогда, когда запрещено в строгом смысле не выполнять (воздерживаться от) а, или:
М, s |= О» (3- е W) О ё У(а) л М, - I = V), то есть в мире s обязательно в строгом смысле выполнять а тогда и только тогда, когда воздержание от выполнения а может привести к нежелательному положению дел (рис. 9).
-а
^ -2 = -
tn
Рис. 9. Семантика 0+(а).
Однако можно принять и более естественную, как нам кажется, установку об отношении областей «санкции» и «позитивной санкции»:
У(и) п У(у) = 0, но
У(и) и У(у) Ф W;
трактовать «позитивную санкцию» как сильную «анти-санкцию», то есть как автономное «желательное положение дел», как своего рода «вознаграждение» или «выгоду», оставляя непустой и нейтральную область множества всех возможных миров (рис. 10).
Рис. 10. Автономные «санкция» и «позитивная санкция».
В таком случае при условно прагматической трактовке стремления к лучшему возникает возможность сформулировать семантику оператора «прагматически обязательно» иначе:
0Рг(а) =и <а>и, или в семантической форме оценки:
М, s |= Орг(а) ^ е W) (<s, Е> е У(а) л М, t I = и), то есть в мире s прагматически обязательно выполнять а тогда и только тогда, когда это может привести к желательному положению дел - к вознаграждению (рис. 11).
а
12 1=
И
Рис. 11. Семантика Орг(а).
Не трудно ввести и оператор «прагматически обязательно в строгом смысле»:
0+рГ(а) [а]и, или в семантической форме оценки:
М, s |= 0+Да) (Vt е W) (<s, £> е У(а) ^ М, t I = и), то есть в мире s прагматически обязательно в строгом смысле выполнять а тогда и только тогда, когда это с необходимостью приводит к желательному положению дел (рис. 12).
t1 1= Л
t2 I = Л
1-п I = /
Рис. 12. Семантика Орг(а).
Таким образом, прагматическое обязательство, в отличие от стандартного, предполагает не просто намерение избегать плохого, а нацеленность на лучшее.
Семантику остальных деонтических операторов прагматического характера, соответствующую взаимоопределимости, но требующую контекстуальной интерпретации, приведем без подробных комментариев:
- «прагматически запрещено»: ^рг(а) =и- Орг(~а), или
М, s = ^г(а) (3- е W) (<s, О ё У(а) л М, - I = /), то есть в мире s прагматически запрещено выполнять а тогда и только тогда, когда воздержание от этого может привести к желательному положению дел;
- «прагматически запрещено в строгом смысле»: ^+рг(а) =и- О+рг(~а),
или
М, s = Р+рг(а) » (V е W) (<s, О ё У(а) ^ М, - I = /), то есть в мире s прагматически запрещено в строгом смысле выполнять а тогда и только тогда, когда воздержание от этого с необходимостью приводит к желательному положению дел;
- «прагматически позволено»: Ррг(а) =и- —^рг(а), или
М, s = РрГ(а) (V- е W) О ё У(а) ^ —М, - I = /), то есть в мире s прагматически позволено выполнять а тогда и только тогда, когда воздержание от этого с необходимостью не приводит к желательному положению дел («воздержание от а бесполезно»);
- «прагматически позволено в строгом смысле»: Р+рг(а) =и- ^+рг(~а),
или
М, s = Р+рг(а) (3- е W) О ё У(а) л —М, - = /), то есть в мире s прагматически позволено в строгом смысле выполнять а тогда и только тогда, когда воздержание от этого может и не привести к желательному положению дел («воздержанием от а можно упустить выгоду»).
Семантика деонтических операторов на основе системы оценок. Интенсиональные («поствитгенштейновские», «посттрактатовские») семантики с их логическим пространством (множеством всех возможных миров) легко допускают аналогию с идеями конфигурационных или фазовых пространств в физике. Выстраиваются терминологические ряды соот-
ветствий (семантико-онтологические - синтаксические - абстрактно-физические категории):
- элементарное положение дел - элементарное предложение - измеряемая величина (наблюдаемая, ось пространства);
- ситуация (множество возможных миров) - область предложения -событие;
- возможный мир (точка соотнесения) - полное непротиворечивое описание - состояние системы (точка фазового пространства).
Эти глубокие аналогии имеют ценность не только эвристическую. Они позволяют обосновать переход от экстенсиональных к интенсиональным контекстам, наделить множество возможных миров некоторой структурой, прежде всего (в реляционных, крипкевских семантиках) - отношениями достижимости между мирами. Для динамической логики в последнем случае и вовсе традиционна информационно-техническая интерпретация, которая рассматривает изменение состояния абстрактного компьютера во время выполнения программы, а проблемы синтеза и верификации программ остаются основной сферой приложения.
Но насколько обсуждаемые аналогии удовлетворяют деонтическим и шире - нормативным контекстам? Имеются ли основания видеть исключительно вырожденный характер формулировки семантики деонтической логики на основе логики динамической, считать такую формулировку прежде всего «редукционистским» лишением деонтического контекста самостоятельности? Какие структуры на множестве возможных миров будут соответствовать нормативной интерпретации?
Все же несмотря на критику интуиции, представленные в рассмотренных выше версиях построения семантики деонтических операторов в PDL, видятся эвристически приемлемыми, особенно если в реляционной манере скорректировать (в определенном смысле - синтезировать) их выражение, например:
- действие в определенном контексте может оцениваться как запрещенное, если его выполнение ухудшает ситуацию;
- действие в определенном контексте может оцениваться как обязательное, если его выполнение делает ситуацию лучше;
- действие в определенном контексте может оцениваться как позволенное, если его выполнением не сделать ситуацию хуже;
- действие в другом контексте также может оцениваться как позволенное, если воздержанием от него не сделать ситуацию лучше.
Одну такую «нередукционистскую» версию построения семантики деонтических операторов на основе PDL, которая стремиться формализовать эти уточненные интуиции, мы кратко рассматривали ранее [9, с. 513-517]. Сейчас предлагается родственная интенсиональная семантика с более простым аппаратом, но с естественными, как нам видится, содержательными установками.
Например, можно избежать прямого указания на абстрактное нежелательное положение дел (в определенном смысле - на «ось зла») с помо-
щью сомнительной константы «санкция» в качестве своеобразной «ловушки» для выполнения действий (то же - относительно двойственной ей пропозициональной константы), «расслоить» множество возможных миров так, чтобы можно было сравнивать «сферы миров» (ситуации) между собой:
У(л) < У(Х) < У(v),
где
У(Х) = W / У(л) и У^), то есть X - нейтральная область возможных миров.
Таким образом, имеет смысл сделать так, что деонтическая оценка действий уже не будет иметь абсолютного характера, она будет релятиви-зирована относительно некоторой системы оценок .
Пусть выражение S(s) («сфера мира s») обозначает, / одну из трех непересекающихся областей в системе оценок, такую, что возможный мир s е W принадлежит ей: s е У(и), или s е У(Х), или s е У(v).
Принимаются следующие обозначения:
- S(s) < S(t) означает, что относительно системы оценок мир s оценивается не хуже, чем мир
- S(s) < S(t) означает, что относительно системы оценок мир s оценивается лучше, чем мир 1
Теперь можно рассмотреть оценку выражений с деонтическими опе-раторами2, для большей сравнительной наглядности начнем с самостоятельной семантики операторов, представляющих каждую из рассмотренных выше групп.
Семантика оператора запрещения:
М, s = Да) (V- е W) (<s, О е У(а) ^ S(s) < S(t)), то есть в мире s запрещено выполнять а если, и только если это всегда приводит к ухудшению ситуации.
Семантика оператора позволения в строгом смысле:
М, s = Р+(а) (V- е W) (<s, О е У(а) ^ S(t) < S(s)), то есть в мире s позволено в строгом смысле выполнять а если и только если это никогда не приводит к ухудшению ситуации.
1 Тему релятивизации норм относительно оценок поднимал в начале 80-х гг. прошлого века В.О. Лобовиков, вводя формально-аксиологические понятия непротиворечивости и полноты формализованных кодексов (систем норм) действий относительно соответствующих алгебраических систем оценок этих действий [14; 13]; более сильная позиция - формально-аксиологическая эквивалентность соответствующих деонтических и оценочных модальностей в двузначной алгебре формальной аксиологии [12]. Последовательно развиваемый В.О. Лобовиковым алгебраический (не собственно-логический) подход к этическим оценкам интересен для конструирования развитых, содержательно ориентированных семантик систем деонтической логики.
2 Мы предпочли «сквозную» нотацию, хотя деонтические операторы в разных частях статьи имеют несколько различную природу.
Семантика оператора прагматического позволения:
М, s |= РРг(а) (Vt е W) t> й У(а) ^ S(s) < S(t)), то есть в мире s прагматически позволено выполнять а если и только если воздержание от этого никогда не приводит к улучшению ситуации.
Семантика оператора прагматического обязательства в строгом смысле:
М, s |= 0+рг(а) (Vt е W) (<s, t> е У(а) ^ S(t) < S(s)), то есть в мире s прагматически обязательно в строгом смысле выполнять а если и только если это всегда приводит к улучшению ситуации.
Опираясь на такие операторы можно определить (по взаимоопределимости) и остальные из соответствующих групп.
Оператор «обязательно»:
М, s |= О(а) (Vt е W) (<s, t> й У(а) ^ S(s) < S(t)), то есть в мире s обязательно выполнять а если и только если воздержание от этого всегда приводит к ухудшению ситуации.
Оператор «позволено»:
М, s |= Р(а) ^ е W) (<s, t> е У(а) л S(t) < S(s)), то есть в мире s позволено выполнять а если, и только если это иногда не приводит к ухудшению ситуации.
Оператор «запрещено в строгом смысле»:
М, s |= ^(а) ^ е W) t> е У(а) л S(s) < S(t)), то есть в мире s запрещено в строгом смысле выполнять а если и только если это иногда приводит к ухудшению ситуации.
Оператор «обязательно в строгом смысле»:
М, s |= 0+(а) (3t е W) (<s, t> й У(а) л S(s) < S(t)), то есть в мире s согласно норме N обязательно в строгом смысле выполнять а если и только если воздержание от этого иногда приводит к ухудшению ситуации.
Оператор «прагматически обязательно»:
М, s |= Орг(а) (3t е W) (<s, t> е У(а) л S(t) < S(s)), то есть в мире s прагматически обязательно выполнять а если и только если это иногда приводит к улучшению ситуации.
Оператор «прагматически запрещено»:
М, s |= Fpr(а) (3t е W) (<s, t> й У(а) л S(t) < S(s)), то есть в мире s прагматически запрещено выполнять а если и только если воздержание от этого иногда приводит к улучшению ситуации.
Оператор «прагматически запрещено в строгом смысле»: М, s |= ^г(а) (Vt е W) (<s, t> й У(а) ^ S(t) < S(s)), то есть в мире s прагматически запрещено в строгом смысле выполнять а если и только если воздержание от этого всегда приводит к улучшению ситуации.
Оператор «прагматически позволено в строгом смысле»: М, s |= Р+рг(а) (3t е W) (<s, t> й У(а) л S(s) < S(t)),
то есть в мире s прагматически позволено в строгом смысле выполнять а если и только если воздержание от этого иногда не приводит к улучшению ситуации.
Очевидно, что представленная семантика деонтических операторов, релятивизированных относительно системы оценок, близка к рассмотренной выше «константной» семантике. Она сохраняет возможность выразить класс деонтических операторов «в строгом смысле», а также сохраняет все версии взаимоопределимости и следования между операторами, объединяет, что существенно, стандартную и прагматическую интерпретации деонтических операторов. Самым важным является то, что «нередукционистская» мультимодальная версия семантики, на наш взгляд, обладает большей естественностью.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Акылбекова Е.А. О полноте и разрешимости некоторых программных логик // Неклассические логики и их применение. Вопросы кибернетики. М. : Наука, 1982. С. 143-164.
2. Альчуррон К.Э., Булыгин Е.В. Нормативные системы // «Нормативные системы» и другие работы по философии права и логике норм. СПб. : Изд-во С.-Петербург. ун-та, 2013. С. 44-210.
3. Блинов А.Л., ПетровВ.В. Элементы логики действий. М. : Наука, 1991. 232 с.
4. Гольдблатт Р. Логика времени и вычислимости. М. : Обществ. ин-т логики, ко-гнитологии и развития личности (ОИЛКРЛ), 1992. 139 с.
5. Вригт Г.Х. фон. Нормы, истина и логика // Г.Х. фон Вригт. Логико-философские исследования : избр. тр. М. : Прогресс, 1986. С. 290-410.
6. Вригт Г.Х. фон. О логике норм и действий // Г.Х. фон Вригт. Логико-философские исследования : избр. тр. М. : Прогресс, 1986. С. 245-289.
7. Караваев Э. Ф. Деонтическая логика // Символическая логика : учебник. СПб. : Изд-во С.-Петерб. ун-та, 2005. С. 397-414.
8. Кислов А.Г. Динамическая логика и деонтические операторы «в строгом смысле» // Философия науки. 2012. № 3 (54). С. 65-80.
9. Кислов А.Г. Семантика деонтических операторов в динамической логике высказываний // Рос. ежегодник теории права, 2010. СПб. : Изд. дом С.-Петербург. гос. ун-та, 2011. С. 505-517.
10. Лисанюк Е.Н. Деонтическая логика // Логика : учебник. М. : Проспект, 2010. С. 377-424.
11. Лисанюк Е.Н. Развитие представлений о нормах в деонтической логике // Вестн. Новосиб. гос. ун-та. Сер. Философия. 2010. Т. 8, вып. 1. С. 147-152.
12. Лобовиков В.О. Аристотель и Г.В. Лейбниц о модальностях (Алгебра формальной аксиологии как дискретная математическая модель взаимоотношения взглядов Аристотеля и Г.В. Лейбница на алетические и деонтические модальности) // Науч. ежегодник Ин-та философии и права Урал. отд-ния Рос. акад. наук. 2007. Вып. 7. С. 35-60.
13. Лобовиков В.О. «Искусственный интеллект», формальная этика и морально-правовой выбор. Свердловск : Изд-во Урал. ун-та, 1988. 188 с.
14. Лобовиков В.О. Модальная логика оценок и норм с точки зрения содержательной этики и права. Красноярск : Изд-во Краснояр. ун-та, 1984. 272 с.
15. Попа К. Логика действия и метод критического хода мысли // Неклассические логики и пропозициональные установки : тр. науч.-исслед. семинара по логике Ин-та философии АН СССР. М. : Изд-во ИФ АН СССР, 1987. С. 18-31.
16. Сегерберг К. «После» и «во время» в динамической логике // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М. : Наука, 1984. С. 58-80.
17. Столбоушкин А.П., Тайцлин М.А. Динамические логики // Кибернетика и вычислительная техника. М., 1986. Вып. 2. С. 180-230.
18. Alchourron C.E., Bulygin E. Normative Systems. Wien ; New York : Springer, 1971.
203 p.
19. Anderson A.R. A Reduction of Deontic Logic to Alethic Modal Logic // Mind. 1958. Vol. 67, № 267. P. 100-103.
20. Fischer M.J., Ladner R.F. Propositional Dynamic Logic of Regular Programs // Journal of Computer and System Sciences. 1979. № 18. P. 194-211.
21. Frassen B.C. van. The Logic of Conditional Obligation // Journal of Philosophical Logic. 1972. № 1. P. 417-438.
22. Hansson B. An Analysis of Some Deontic Logics // Deontic Logic. Introductory and Systematic Readings. Dordrecht ; Boston ; London : Kluwer Academic Publishers, 1971. P. 121-147.
23. Meyer J.-J.Ch. A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic // Notre Dame Journal of Formal Logic. 1988. Vol. 29, № 1. P. 109-136.
24. Penther-Buck B. A Dynamic Logic of Action // Journal of Logic, Language and Information. 1994. № 3. P. 169-210.
25. Pratt V.R. Process Logic: Preliminary Report // Proceedings of the 6th Association for Computing Machinery (ACM) Symposium on Principles of Programming Language. New York, 1977. P. 30-73.
26. Pratt V.R. Semantical Considerations on Floyd-Hoare Logic // Proceedings of the 17th Institute of electrical and electronics engineers (IEEE) Symposium on Foundations of Computer Science. Houston, 1976. P. 109-121.
27. SegerbergK. Applying modal logic // Studia logica. 1980. Vol. 39, № 2/3. Р. 275-295.
28. Wright G.H. von. Norm and Action, A Logical Enquiry. London : Routledge & Kegan Paul, 1963. 158 p.
Материал поступил в редколлегию
Alexei G. Kislov, Candidate of Philosophy, associate professor, Head of the Chair of Ontology and Theory of Knowledge, Department of Philosophy, Institute of Social and Political Sciences, Ural Federal University named after First President of Russia B.N. Yeltsin. Ekaterinburg. E-mail: [email protected]
DYNAMIC APPROACH TO DEONTIC LOGIC: SEMANTICS OF NORMATIVE OPERATORS
Abstract: The paper presents the semantics of deontic logic, which is implemented on the basis on propositional dynamic logic. The standard version is a relational semantics (J.-J. Ch. Meyer), which uses the semantic idea of A. Anderson - the definition of normative operators ("obligatory", "forbidden" and "permitted") by means of propositional constant "sanction". The standard semantics of multimodal way (without the mutual definability of deontic modalities) is complemented by "strict" operators (the concept of "degree of responsibility" is discussed), then -"pragmatic" operators (through propositional constant of S. Kanger "positive sanction"). The opportunity to refuse from total reduction of deontic logic to dynamic logic and to semantically questionable constants "sanction" and "positive sanction" is offered. An autonomous intensional semantics of deontic operators, which is relative regarding the rating system, is constructed. The proposed semantics being close to the "constant" version retains the ability to express a class of deontic operators "in the strict sense" and combines standard and pragmatic interpretation of de-ontic operators. However in our opinion, the most important fact is that "non-reductionist" multimodal version of deontic semantics is more than natural.
Keywords: deontic logic, propositional dynamic logic, logical semantics, normative operators, sanction, degree of responsibility, ratings system.
The transliteration of the list of literature (from the cirillic to the latin symbols) is submitted below
BIBLIOGRAFIChESKIJ SPISOK
1. Akylbekova E.A. O polnote i razreshimosti nekotoryh programmnyh logik // Ne-klassicheskie logiki i ih primenenie. Voprosy kibernetiki. M. : Nauka, 1982. S. 143-164.
2. Al'churron K.Je., Bulygin E.V. Normativnye sistemy // «Normativnye sistemy» i drugie raboty po filosofii prava i logike norm. SPb. : Izd-vo S.- Peterburg. un-ta, 2013. S. 44-210.
3. BlinovA.L., Petrov V. V. Jelementy logiki dejstvij. M. : Nauka, 1991. 232 s.
4. Gol'dblatt R. Logika vremeni i vychislimosti. M. : Obshhestv. in-t logiki, kognitolo-gii i razvitija lichnosti, 1992. 139 s.
5. Vrigt G.H. fon. Normy, istina i logika // G.H. fon Vrigt. Logiko-filosofskie issledo-vanija : izbr. tr. M. : Progress, 1986. S. 290-410.
6. Vrigt G.H. fon. O logike norm i dejstvij // G.H. fon Vrigt. Logiko-filosofskie issledo-vanija : izbr. tr. M. : Progress, 1986. S. 245-289.
7. Karavaev Je.F. Deonticheskaja logika // Simvolicheskaja logika : uchebnik. SPb. : Izd-vo S.-Peterb. un-ta, 2005. S. 397-414.
8. Kislov A.G. Dinamicheskaja logika i deonticheskie operatory «v strogom smysle» // Filosofija nauki. 2012. № 3 (54). S. 65-80.
9. Kislov A.G. Semantika deonticheskih operatorov v dinamicheskoj logike vyska-zyvanij // Ros. ezhegodnik teorii prava, 2010. SPb. : Izd. dom S.-Peterb. gos. un-ta, 2011. S. 505-517.
10. LisanjukE.N. Deonticheskaja logika // Logika : uchebnik. M. : Prospekt, 2010. S. 377-424.
11. Lisanjuk E.N. Razvitie predstavlenij o normah v deonticheskoj logike // Vestn. Novo-sib. gos. un-ta. Ser. Filosofija. 2010. T. 8, vyp. 1. S. 147-152.
12. Lobovikov V.O. Aristotel' i G.V. Lejbnic o modal'nostjah (Algebra formal'noj aksi-ologii kak diskretnaja matematicheskaja model' vzaimootnoshenija vzgljadov Aristotelja i G.V. Lejbnica na aleticheskie i deonticheskie modal'nosti) // Nauch/ ezhegodnik In-ta filosofii i prava Ural. otd-nija Ros. akad. nauk. 2007. Vyp. 7. S. 35-60.
13. Lobovikov V.O. «Iskusstvennyj intellekt», formal'naja jetika i moral'no-pravovoj vy-bor. Sverdlovsk : Izd-vo Ural. un-ta, 1988. 188 s.
14. Lobovikov V.O. Modal'naja logika ocenok i norm s tochki zrenija soderzhatel'noj jeti-ki i prava. Krasnojarsk : Izd-vo Krasnojar. un-ta, 1984. 272 s.
15. Popa K. Logika dejstvija i metod kriticheskogo hoda mysli // Neklassicheskie logiki i propozicional'nye ustanovki : tr. nauch.-issled. seminara po logike In-ta filosofii AN SSSR. M. : Izd-vo IF AN SSSR, 1987. S. 18-31.
16. Segerberg K. «Posle» i «vo vremja» v dinamicheskoj logike // Modal'nye i in-tensional'nye logiki i ih primenenie k problemam metodologii nauki. M. : Nauka, 1984. S. 58-80.
17. Stolboushkin A.P., Tajclin M.A. Dinamicheskie logiki // Kibernetika i vychislitel'naja tehnika. M., 1986. Vyp. 2. S. 180-230.
18. Alchourron C.E., Bulygin E. Normative Systems. Wien ; New York : Springer, 1971.
203 p.
19. Anderson A.R. A Reduction of Deontic Logic to Alethic Modal Logic // Mind. 1958. V. 67, № 267. P. 100-103.
20. Fischer M.J., Ladner R.F. Propositional Dynamic Logic of Regular Programs // Journal of Computer and System Sciences. 1979. № 18. P. 194-211.
21. Frassen B.C. van. The Logic of Conditional Obligation // Journal of Philosophical Logic. 1972. № 1. P. 417-438.
22. Hansson B. An Analysis of Some Deontic Logics // Deontic Logic. Introductory and Systematic Readings. Dordrecht ; Boston ; London : Kluwer Academic Publishers, 1971. P. 121-147.
23. Meyer J.-J.Ch. A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic // Notre Dame Journal of Formal Logic. 1988. Vol. 29, № 1. P. 109-136.
24. Penther-Buck B. A Dynamic Logic of Action // Journal of Logic, Language and Information. 1994. № 3. P. 169-210.
25. Pratt V.R Process Logic: Preliminary Report // Proceedings of the 6th Association for Computing Machinery (ACM) Symposium on Principles of Programming Language. New York, 1977. P. 30-73.
26. Pratt V.R. Semantical Considerations on Floyd-Hoare Logic // Proceedings of the 17th Institute of electrical and electronics engineers (IEEE) Symposium on Foundations of Computer Science. Houston, 1976. P. 109-121.
27. SegerbergK. Applying modal logic // Studia logica. 1980. Vol. 39, № 2/3. R. 275-295.
28. Wright G.H. von. Norm and Action, A Logical Enquiry. London : Routledge & Ke-gan Paul, 1963. 158 p.
