<<
>>

Логіка санкцій

Головна функція норми - це регулювання поведінки людей. Звідси проблема для деонтичної пропозиційної логіки, що полягає у побудові такої деонтичної системи, яка б відповідала реальності.

Варіант розв’язання цієї проблеми запропонував А. Р. Андерсон, ви­ходячи із притаманної алетичній модальності властивості бути відпо­відною реальністю. Він виразив деонтичний оператор O за допомогою алетичного (?) й константи S, що означає «санкцію» або «штраф».

Дія А є обоє ’язковою, якщо невиконання А обоє 'язково тягне S.

Дія А є забороненою, якщо виконання А обоє ’язково спричинює S.

Дія А дозволена, якщо А може бути виконано без накладання штрафу (за умови - S):

Числення Sd одержуємо, доповнюючи алфавіт модального S-чис- лення константою S, здійснюючи відповідне перевизначення класу формул й додаючи аксіому ~ ? S, яка стверджує, що «покарання можна уникнути».

<< | >>
Источник: Некласична логіка : Навчальний посібник : Курс лекцій із практикумом / Я. С. Гнатюк. - Івано-Франківськ: Сим­фонія форте,2014.-192 с.. 2014

Еще по теме Логіка санкцій:

  1. Некласична логіка : Навчальний посібник : Курс лекцій із практикумом / Я. С. Гнатюк. - Івано-Франківськ: Сим­фонія форте,2014.-192 с., 2014
  2. План лекції
  3. Запитання
  4. Етика науки
  5. § 2. Динаміка конфлікту
  6. Акти конституційного судочинства як форми процесуальної юрисдикції
  7. Принцип вільної оцінки доказів
  8. ВИСНОВКИ
  9. ЛЕКЦІЯ 8. СУТНІСТЬ, ПРАВИЛА ТА СПОСОБИ РОЗВ’ЯЗАННЯ І ВРЕГУЛЮВАННЯ КОНФЛІКТІВ