деонтична логіка
ДЕОНТИЧНА ЛОГІКА — розділ сучасної логіки, де досліджуються міркування з деонтичними висловлюваннями. До цих висловлювань входять слова: "дозволено", "заборонено", "обов'язково". Витоки логічного підходу до аналізу деонтичних модальностей можна знайти ще в працях Ляйбніца, який у 1672 р. написав працю "Елементи природного права", де спробував визначити основні нормативні модальності та виявити логічні відношення між ними. Він вважав, що на такі поняття, як "обов'язково", "дозволено", "байдуже", "заборонено" можна перенести всі основні положення логічного вчення Аристотеля, зокрема, його погляди на відношення між традиційними (алетичними) модальностями. Саме цією працею Ляйбніца було започатковано народження нового напряму логічних досліджень, а саме Д. л. Однак ідеї нім. вченого занадто випереджали свій час, потреби тогочасної науки та можливості розвитку логіки у XVII ст. Сучасники скептично сприйняли його концепцію, не оцінивши її новизни та новаторства, що призвело зрештою до її забуття. Лише у XVIII ст. науковці знову повертаються до аналізу цієї проблематики. Так, англ. філософ Бентам висунув у своїх працях ідею логіки повеління, або логіки волі О. днак, на відміну від Ляйбніца, Бентам вважав, що його вчення повинно стати новим напрямом логічного знання, відмінним від старої аристотелівської логіки. Плани Бентама не були реалізовані, він так і не зміг системно розвинути свої ідеї, сформулювати на їх основі обґрунтовану концепцію нової логіки. Австр. учений Малі у 1926 р. побудував одну з перших логічних теорій нормативних міркувань. Свою логіку він назвав "логікою волі" і запропонував для цього напряму логічного знання назву "деонтика". Назва "Д. л." була запроваджена пізніше, незалежно від Малі, фінськ. філософом і логіком Врігтом у 1951 р. Виділяють два основні етапи становлення Д. л. На першому етапі досліджувалися, по суті, не самі норми, а висловлювання, які їх описують. На другому етапі починають досліджувати вже власне норми, створюються логічні системи, де логіка норм розглядається як розширення темпоральної логіки (т зв. деонтико-темпоральна логіка), логіки дії або взаємодії. У Д. л. розглядаються деонтичні можливі світи, ідея яких була висловлена ще Кантом. Якщо в деонтично можливому світі є певна норма, то в деяких інших деонтичних світах ця норма виконується. Тобто у деякому можливому світі конструюються певні уявлення про належне, які виконуються в іншому можливому світі, між ними встановлюється відношення досягненості. Логічні теорії, в яких досліджуються деонтичні характеристики норм, знайшли широке застосування в різних науках, зокрема в праві. Так, розуміння логічних характеристик норм, знання логічних законів, яким вони підпорядковуються, дозволяє з'ясувати логічну структуру правових норм, більш точно прояснити предмет та методи правознавства. Окрім того, побудова численних логічних теорій норм дозволила певним чином навіть обґрунтувати можливість права як теоретичної дисципліни.