Деонтична логіка
Назва «деонтична логіка» походить від грецького слова deon, що в перекладі означає «обов’язок», «правильність».
Д е о н т и ч н у логіку можна визначити як розділ модальної логіки, що досліджує природу, властивості, відношення деонтичних висловлювань та їх функціонування в структурі міркування.
До деонтичних висловлювань ми відносимо ті висловлювання, які є носіями різноманітних норм. Зовнішньою ознакою деонтичного висловлювання є терміни «дозволено», «заборонено», «обов’язково» та їх різновиди.
Наприклад: «Заборонено їхати на червоне світло», «Середній термін повинен бути розподіленим у простому категоричному силогізмі», «Дозволено користуватися
кредитною карткою».
У повсякденному житті, в теоретичних дослідженнях, у практиці міркувань ми стикаємося з різноманітними нормами. Це і закони, які регулюють правові відносини між людьми в державі, і технічні норми, які використовують в різних видах діяльності людини, і команди різних рангів та ступенів, і правила граматики, логіки, правила гри, і моральні принципи, і ідеали, звичаї тощо.
Але при усьму розмаїтті норм для них властива спільна структура.
До структури норм входить чотири складові частини:
а) характер;
б) зміст;
в) умови застосування;
г) суб’єкт.
Дамо визначення кожного структурного елемента норми.
Х а р а к т е р о м норми є вказівка на дозвіл, заборону, зобов’язання певної дії.
З м і с т о м норми називається вчинок, намір, прагнення, дія, яка повинна бути, може або не повинна бути виконана.
У м о в о ю застосування норми є вказана в нормі ситуація, з настанням якої реалізується або може бути реалізованою дія, що не передбачається даною нормою.
Нарешті, с у б’є к т о м норми є особа або група осіб, яким адресована норма.
Поділ норм на види носить позалогічний характер. Део- нтична логіка складається із множини пов’язаних між собою систем, відмінність між якими полягає в засобах аналізу деонтичних висловлювань.
Це означає, що тут немає особливої «логіки імперативів» і спеціальної «логіки власне норм».Отже, одна і та сама нормальна система може використовуватися для аналізу логічної поведінки будь-якого змісту.
Деонтична логіка має свою історію. Перші систематичні спроби дослідження деонтичних висловлювань належать Готфріду Лейбніцу. Саме він намагається дослідити природу деонтичних висловлювань та логічні відношення між ними. Результати досліджень Г.Лейбніца не справили особливого враження на його сучасників. І лише у XVIII ст. англійський вчений І. Бентам звертається до проблематики, якою займався Г. Лейбніц, і висуває ідею створення логіки повелінь, або логіки волі.
Справжня історія деонтичної логіки починається в ХХ ст. завдяки працям Е. Малі. Він зробив спробу аксіоматично описати деонтичні поняття і створити систему деонти- чної логіки. Через чверть століття, в 1951 р. завдяки праці Г. фон Врігта «Деонтична логіка» розпочинається власне сучасна деонтична логіка. Тут описуються її основні проблеми, формулюються напрямки їх розв’язання, систематизуються основні деонтичні категорії, закладаються підвалини розробки мови деонтичної логіки.
а) Характеристика деонтичного висловлювання
Починаючи з перших спроб дослідити деонтичні висловлювання, серед логіків і філософів панували сумніви щодо можливості побудови деонтичної логіки. Фактично це і було причиною того, що результати дослідження Г.Лейбні- цом понять «дозволено», «обов»язково», «заборонено», «байдуже» та його спроби пов’язати ці поняття з основними положеннями логічного вчення Арістотеля були скептично сприйняті тогочасними вченими.
Вважалося, що логіка має справу з висловлюваннями, які є істинними або хибними, а відношення логічного слідування передбачає саме систематизацію таких висловлювань. Де- онтичним же висловлюванням не притаманні оцінки «істина» і «хиба» (вони представляють світ належного), а тому із них будувати міркування, в основі яких лежить відношення логічного слідування, неможливо.
Фактично йшлося про можливість створення деонтичної логіки.В історії логіки дана проблема отримала назву «дилема Йоргенсена» за ім’ям датського філософа і логіка Й. Иор- генсена.
Незважаючи на те, що деонтичні висловлюваня не володіють оцінками «істина», «хиба», у практиці міркувань можна зустріти ситуації, коли формулюються висновки, елементами яких є імперативи.
Наприклад: 1. «Виконуйте правила гри в шахи»;
2. «Ви учасник шахового турніру»;
3. «Поступайде згідно з правилами гри в шахи».
Виходить, що висновок в імперативній відміні може бути отриманий із засновків, серед яких є імперативи. Дискусії навколо «дилеми Йоргенсена» присвячена досить солідна література. В розмаїтті точок зору з цього приводу можна вивести деяку синтезуючу, згідно з якою суперечність між звичайною дефініцією логічного слідування в термінах істини і дозволом будувати міркування із використанням деонтичних висловлювань, які не є носіями істини, розв’язується або шляхом встановлення зв’язку деонтич- них висловлювань з дескриптивними, або шляхом розширення поняття логічного слідування.
«Дилема Йоргенсена» і дискусія навколо неї показали, що деонтичні висловлюваня мають своєрідну природу (на відміну від дескриптивних) і вони поводять себе самобутньо в логічному процесі. І це цілком природньо. Але між ними є внутрішній зв’язок, який забеспечує, визначає логічний аналіз де- онтичних висловлювань і побудову деонтичної логіки.
Будь-якому деонтичному висловлюванню можна співставити паралельне йому дескриптивне висловлювання, яке виражає зміст бажання або команди. У зв’язку з цим за кожним деонтичним висловлюванням треба вбачати два фактори:
— імперативний і
— дескриптивний.
І м п е р а т и в н и й фактор демонструє, що деяка подія чи річ бажається або наказується, а д е с к р и пт и в н и й характеризує бажану або наказувану дію чи річ. Саме дескриптивний фактор може бути виділений із імператива і представлений асерторичним висловлюванням. Це дає змогу оцінити його як істинне, коли команда виконується, і хибним, коли цього немає.
Іншими словами, необхідно враховувати різницю між нормою та її описом.
Якщо норма нічого не описує, оскільки вона містить лише регулятиви людської поведінки і тому не може бути носієм оцінок «істина», «хиба», то опис норми оцінюється саме як істинний або хибний.
Наприклад, візьмемо деонтичне висловлювання, яке випливає із «Правил гри в шахи»: «Королева повинна «хо- дити» таким-то чином». У цьому висловлюванні нічого не говориться про дійсність, а лише вказується, як себе повинна поводити конкретна шахова фігура на шаховому полі (тому воно не може бути оцінене як істинне чи хибне). Але, якщо підійти до цього висловлювання з іншого боку і вбачити в цьому твердження, що певна шахова фігура повинна діяти належним чином відповідно до існуючих правил, то ця ситуація може бути оцінена в термінах «істина», «хиба». І тут йдеться не про норму, а про її опис. Фактично це висловлювання треба читати так: «Істинно, що згідно з правилами гри в шахи королева повинна «ходити» таким-то чином».
Отже, якщо враховувати ту обставину, що деонтична логіка аналізує не лише самі норми, а й висловлювання про них, то цілком слушно буде представляти її як відповідний розділ модальної логіки.
б) Мова деонтичної пропозиційноїлогіки
До алфавіту мови деонтичної пропозиційної логіки входить:
Із цієї схеми випливають такі твердження:
«Якщо дія обов’язкова, то вона дозволена» —
«Якщо дія заборонена. то вона необов’язкова» —
«Ніяка дія не є обов’язковою
і забороненою одночасно» — «Будь-яка дія або обов’язкова.
«Будь-яка дія або дозволена, або заборонена» —
«Якщо дія заборонена, то вона не дозволена» —
«Якщо дія дозволена, то вона не заборонена» —
«Все. що не заборонено, те дозволено» —
Логічні відношення між О, Р, F за квадратом протилежностей фокусують у собі принципи деонтичної повноти і деонтичної несуперечності, завдяки яким можливим є розширення нашої аксіоматичної системи.
Принцип деонтичної повноти можна сформулювати наступним чином: «Будь-яка дія або обов’язкова, або байдужа, або заборонена»:
Використовуючи оператор «Р», принцип деонтичної повноти можна сформулювати у вигляді декількох еквівалентних положеннь:
Принцип деонтичної повноти передбачає, що в будь- якому зібранні норм або в кодексі охоплюються різноманітні людські дії. Вони детермінуються явними або імплі- цитними (неявними) нормами, які вкажуть на обов’язковість, дозволенність, забороненність, байдужість виконання якихось норм. Відомо, що реальні кодекси мають справу лише з чітко визначенним колом дій і не визначають нормативний статус не тільки поки що невідомих або неможливих способів поведінки, але й тих дій, виконання чи не виконання яких не має сенсу робити об’єктом будь- яких норм.
Отже, включення в деонтичну логіку принципу повноти визначає межі класу нормативних систем, для дослідження яких може бути застосована логіка.
Введемо дефініцію принципу деонтичної несуперечли- вості: «Виконанння дії і утримання від неї не можуть бути обов’язковими одночасно»
Аналогами принципу деонтичної несуперечливості є вирази:
Принцип деонтичної несуперечливості є критерієм поділу кодексів на досконалі і недосконалі. Адже наявність в нормативному кодексі суперечності ставить носія нормативних актів або суб’єкта в ситуацію, коли будь- який його вчинок веде з необхідністю до порушення одного із своїх обов’язків. Цим і визначається недосконалість кодексу.
У реальному житті зустрічаються кодекси, які містять конфлікти моральних, правових та інших обов’язків. Час-
то існуючі нормативні системи до певної міри недосконалі. Ця непослідовність обумовлюється тим, що нові права і обов’язки не узгоджуються зі старими.
Але треба мати на увазі, що деонтична логіка не просто описує нормативні міркування і реальні кодекси, а формулює (і це найголовніше) критерії раціонального міркування в середовищі норм, які надають розумні підстави для дії. Звідси міркування не може бути назване раціональним, якщо воно дозволяє обов’язковість виконання забороненої дії.
Таким чином, принцип деонтичної несуперечливості (як і принцип деонтичної повноти) відноситься до фундаментальних положень деонтичної логіки.
в) Деонтична логіка і теорія «можливих світів»
Фундатором деонтично можливих світів є І. Кант. Досліджуючи у «Критиці практичного розуму» проблеми моралі, він приходить до висновку, що світ, який утворений за законами моралі, є одним із варіантів можливого світу, де все ідеально діє і взаємодіє. Це світ, який би нам хотілось бачити. Іншими словами, це світ, який є конкретизацією можливого світу у вигляді нормативного тлумачення реальності.
Виходячи за рамки кантівського розуміння деонтичного можливого світу, можна сказати, що деонтичний світ — це і сукупність культурних зразків народних звичаїв, досвіду, кодекс, правила гри тощо. В цьому розумінні конституція — це такий деонтично можливий світ, який є описом ідеальної держави, якою їй потрібно бути, описом належних вчинків і дій рядових громадян, урядовців усіх рівнів і самого президента.
Прокоментувати вищезазначене можна ще й таким чином.
Якщо в світі, що описується правилами гри в шахи, є наявні норми, то передбачається, що ці норми виконуються в усіх варіантах шахових партій. Варіанти шахових партій — це сукупність можливих світів.
Особливістю деонтичного можливого світу є те, що він детермінується духом належного. Іншиим словами, сказане в реальному світі про належне означає, що в деякому деонтично можливому світі зміст належного є істинним. Тобто, тут ми співставляємо сказане не з дійсним світом, а з прийнятими правилами, нормами.
Наприклад, поведінка шахових фігур на шаховій дошці відповідає правилам, а результат партії є істинним, тому що він узгоджується в даній партії (в даному деонтично можливому світі) з існуючими правилами.
Деонтично можливі світи — це альтернативи у вигляді варіантів шахових партій, проектів конституцій, спроб виходу держави із кризових ситуацій, проектів бюджету, поданих на розгляд парламенту (тобто це всі ті ситуації, поява, існування яких на цьому світі регламентується правилами гри, законами держави, економіки, ринку).
Звідси, якщо Верховна Рада ухвалила проект бюджету, то це означає, що створено ідеальний шлях розвитку держави у певному історичному проміжку.
Сам факт ухвалення бюджету назвемо реальним, дійсним світом w, а функціонування держави відповідно до прийнятого бюджету — деонтично можливим світом w,.
Або, якщо в конституції описано, як повинні функціонувати органи влади, то припускається, що це дійсно так і відбувається. Між світом, в якому створюється деонтичний світ, і цим деонтичним світом існує відношення досяжності R.
В алетичній логіці відношення досяжності R — це огляд, співставлення з можливими комбінаціями логічних значень із множини і, х, в темпоральній логіці R — це злиття з часовим потоком, в деонтичній логіці R — це узгодження з правилами, кодексами, приписами тощо.
Характерною рисою відношення досяжності R в део- нтичній логіці є те, що воно не може бути рефлексивним, але воно при будь-яких варіантах обов’язково детермінується наступною умовою:
«Для будь-якого реального світу w існує деонтичний світ w,, який є досяжним із w».
Приймемо модальності Р і О за основні і введемо дефініції відповідних аналітичних правил.
I.
— за умови wRw,, де w, — будь-який деонтичний світ, який є досяжним із деякого реального світу w.
Прочитати це правило можна так: «Те, що є обов’язковим у реальному світі TwOA, є істинним у деонтич- ному світі Тw’А»; або: «Якщо у реальному світі w іс-
— при умові wRw,, де w, — деонтичний світ, який ще не зустрічався в рядках тієї гілки таблиці, де застосовувалося правило Fo, і який є досяжним із w.
Прочитати це правило можна так: «Якщо у реальному світі w хибним є ОА, то існує хоча б один деонтичний світ w,, де хибним є А»; або: «Те, що не є обов’язковим у реальному світі w, може бути хибним у деонтичному світі w’».
III.
— при умові wRw,, де w, — один із деонтичних світів, який ще не зустрічався в рядках тієї гілки таблиці, де застосовувалося правило Тр і який є досяжним із w.
Прочитати це правило можна так: «Якщо у реальному світі w істинним є РА, то хоча б в одному деонтично- му світі w’ істинним буде А»; або «Те, що є дозволеним у реальному світі, може виявитися істинним у деонти- чному світі».
IV.
— при умові wRw’, де w, — будь-який деонтичний світ, який є досяжним із w.
Прочитати це правило можна так: «Якщо у реальному світі w хибне РА, то у будь-якому деонтичному світі w’ хибним є А»; або: «Те, що не є дозволеним у реальному світі, є хибним у деонтичному світі».
Застосуємо наведені аналітичні правила для здійснення проблеми розв’язання в деонтичній логіці.
Маємо вираз:
Побудуємо для нього аналітичну таблицю:
Отже, дана формула також є тавтологією.
Таким способом можна дослідити будь-який вираз деон- тичної логіки.
4.
Еще по теме Деонтична логіка:
- Визначення деонтичної пропозиційної логіки
- § 1. Виникнення і розвиток науки логіки
- Вже зазначалось, що логіка вивчає абстрактне мислення людини.
- Запитання
- Зміст
- Система модальної логіки
- Некласична логіка : Навчальний посібник : Курс лекцій із практикумом / Я. С. Гнатюк. - Івано-Франківськ: Симфонія форте,2014.-192 с., 2014
- Семантика можливих світів для деонтичної пропозиційної логіки
- Конверський А. Є.. Логіка (традиційна та сучасна): Підручник для студентів вищих навчальних закладів. - К.: Центр учбової літератури,2008. - 536 с., 2008
- § 5. Історичні етапи становлення логічних знань