Синтаксис та семантика деонтичної логіки
Некласична математична логіка
Розділ 8
Деонтична логіка
Основні визначення
Деонтична логіка належить до одного з розділів модальної логіки, в якому досліджуються нормативні висловлювання та їх відношення в структурі міркувань. Сама назва цієї логіки походить від грецького слова ”deon”, що означає те, що є необхідним або належним.
Деонтична логіка аналізує міркування, посилками або висновками яких є висловлювання про норми (правила). Вона відрізняє правильні (обґрунтовані) міркування від неправильних і таким чином створює теорію нормативних висновків. Такі логічні дослідження норм і правил важливі для математики, логіки, лінгвістики, етики, юриспруденції, соціології та економіки.
Будучи однією з гілок модальної логіки, деонтична логіка розвивалася в її складі разом і невід’ємно була під її впливом з античних часів до ХХ століття. Перша спроба відокремити деонтичну логіку в єдину самостійну систему належить австрійському логіку Е. Маллі (1926 р.). Подальший її самостійний розвиток пов'язаний з фінським філософом та логіком Г. Х. фон Врігтом (1951 р.), який побудував нову систему деонтичної логіки, що була розвинута в працях А. Андерсона, О. Івіна та інших. Пізніше виявилося, що деонтичній логіці можна надати семантику Кріпке, і фон Врігт приєднався до цього напрямку.
Одним із ключових понять деонтичної логіки є поняття деонтичної модальності (нормативної модальності). Деонтична модальність характеризує практичну дію (вчинок) з точки зору певної системи норм і належить до таких понять, як “допустимo” (дозволенo), “неприпустимо” (забороненo), “oбов'язково”, “не обов'язково”, “необхідно”, “повиннo” (потрібно), “байдуже”, “добре”, “погано” та інші. Потрібно відзначити, що деякі з цих понять отримали більше уваги в деонтичній логіці, ніж інші, і в сучасній деонтичній логіці розглядаються нормативні висловлювання, в які входять модальності:
“необхідно” (обов’язково) – позначається деонтичним оператором О;
“дозволено” – позначається деонтичним оператором Р;
“заборонено” – позначається деонтичним оператором F;
“байдужо” – позначається деонтичним оператором I.
Означення 8.1.1. Деонтичною логікою називають логіку, що досліджує логічні структури і логічні зв'язки нормативних висловлювань.
Нормативні поняття “ необхідно”,“дозволено” багато в чому схожі на модальні поняття “обов’язково”,“можливо”(£, ¸). Власне, нормативні поняття самі по собі є модальними поняттями. Іншими словами, деонтична логіка – це модальна логіка, в якій замість унарних операторів модальності £ та ¸ вводяться унарні оператори деонтичних модальностей – необхідності й дозволеності (О і Р).
Деонтична логіка не є етичною теорією, що стверджує , що насправді є дозволеним, забороненим чи необхідним, але, по суті, є частиною такої теорії. Точно так, як існують різного роду етичні теорії, можуть існувати й різні деонтичні логіки. Вивчення різних ідентичних логік є частиною того, що можна назвати мета-етикою.
Синтаксис та семантика деонтичної логіки
Деонтичну логіку створюють на загальних принципах побудови сучасних некласичних логік. Розрізняють семантику і синтаксис модальної системи з деонтичними модальностями.
У синтаксичному аспекті деонтичну логіку можна побудувати за правилами побудови модальних логік ( див. розділ 6), ввівши алфавіт S, до якого входять p, q, r, … – символи для позначення деонтичних висловлювань; Ø, Ú, Ù, ®,« – символи логічних зв’язків; О, Р, F, I – символи деонтичних понять; ), ( – дужки.
Потім визначаємо, що є формулами в деонтичній логіці : кожний із символів p, q, r, … є формулою; якщо А та В є формулами, то такі вирази теж є формулами: Ø А – заперечення А; А Ú В – диз’юнкція А і В; А Ù В – кон’юнкція А і В; ОА – необхідно, щоб А; РА – дозволено, щоб А; FА – заборонено, щоб А; IА – байдуже, щоб А; А®В – імплікація; А « В – еквівалентність.
Вводимо аксіоми :
А1) ОА« РА (А необхідно еквівалентне тому, що А дозволено);
А2) FА« Ø РА (А заборонено еквівалентне тому, що А не дозволено);
А3) FА« ОØА (А заборонено еквівалентне тому, що необхідно не А);
А4) РА« ØОØА (А дозволено еквівалентне тому, що не А не необхідно);