Логіка - Дуцяк І.3. - 9.2. Логічний аналіз спонукань
9.2.1. Логіка норм. Види і структура норм. Правила міркувань у логіці норм
Предметом дослідження логіки норм (за іншою назвою - деонтичної логіки) є формальний аналіз норм. Вислови, якими фіксують норми, подібно до означень і на відміну від тверджень, не можуть мати такої ознаки, як істинність. Наприклад, не можна оцінити вислів "дайте мені книжку" як істинний чи хибний. Отже, якщо в межах цього розділу використовують такі логічні терміни, як заперечення, кон'юнкція, диз'юнкція, імплікація та інші булеві функції, то їх інтерпретують тут по-іншому, ніж у логіці тверджень. У деонтичній логіці булевими функціями позначають не значення істинності тверджень, а спонукання чи неспонукання до дії.
Нормативний вислів може бути істинним лише тоді, коли він є елементом твердження. Наприклад, якщо стверджуватимемо, що "відповідно до законодавства, кожна людина має право на освіту", то це е твердження, і якщо в законодавстві є відповідна норма, то це твердження істинне. До цього треба додати й те, що часто норми формулюють у вигляді тверджень. Наприклад, розповідним реченням "У разі червоного кольору світлофора авто зупиняють" насправді зафіксовано зобов'язання "У разі червоного кольору світлофора водій зобов'язаний зупинити авто".
Спонукання можуть бути ситуативними (наприклад, "зупиніть машину") або постійними (такими є моральні чи правничі норми). Крім того, об'єктом спонукання може бути одна людина, а може бути довільної кількості група людей.
Правничі норми містять такі елементи:
1. Гіпотеза норми - умови, за настання яких суб'єкт норми спонукає об'єкта норми.
2. Диспозиція - дія, яку спонукають виконувати, не виконувати або виконання якої дозволене за настання умов, зафіксованих у гіпотезі норми.
3. Санкція - дія, яка настає у разі невиконання спонукання.
У логіці норм оперують логічними термінами обов'язково (0), заборонено (3), дозволено (Д). Між цими операторами визначають зв'язки, які дають змогу свідомо виконувати деонтичні міркування. Головні відношення між деонтичними операторами такі:
Обов'язковість виконання р тотожна забороні виконання р
- дозвіл виконувати р тотожний відсутності обов'язковості й заборони виконання р.
Якщо булевою функцією з індексом нуль (тобто такою функцією, яка набуває значення 0 за всіх значень аргументів) позначити несумісність норм, то можна записати ще такі відношення між нормами:
- зобов'язання виконувати певну дію, поєднане зі зобов'язанням не виконувати цієї дії, є несумісною нормою.
Заборона виконувати певну дію, поєднана зі забороною не виконувати цю дію, є несумісною нормою.
Зобов'язання виконувати певну дію, поєднане з забороною виконувати цю дію, є несумісною нормою.
Деякі норми, які в словесному вигляді мають форму простих норм, насправді є складними, тобто є поєднанням кількох норм. Наприклад, норма "людина має право на освіту" фіксує як дозвіл здобування освіти, так і дозвіл на нездобування її. Водночас нормою "авто можна зупиняти з правого боку дороги" зафіксовано, з одного боку, можливість зупинятися чи ні з правого боку, а з іншого, - заборону зупинятися на інших частинах дороги.
Міркування в логіці норм можна формально записувати так. Якщо гіпотезу позначити символом сі, диспозицію - символом р, а санкцію - символом в, то структуру правової норми можна записати у такому вигляді:
Отже, у разі невиконання обов'язкове виконання санкції:
Однією з пізнавальних задач, яку розв'язують у процесі формування норм є прийняття рішень. Прийняття рішень - це комплексне завдання, яке полягає у такому:
1) накопичення інформації, необхідної для пошуку різних можливих варіантів дій для вирішення проблеми;
2) виявлення різних можливих варіантів дій для вирішення проблеми;
3) вибір оптимального варіанта.
Прийняття рішень може відбуватися за умов як повної визначеності, так і неповної визначеності можливих наслідків дій. У разі повної визначеності найліпший варіант вибирають шляхом зіставлення кількісно виражених оцінок різних ознак (відповідно до їхньої важливості) у зіставлюваних об'єктах.
Наприклад, якщо порівнюють два комплекти меблів за кольором, функціональністю (тобто можливостями оптимально розмістити те, що в них має бути розміщене) та якістю матеріалів, то порівняння полягає у виконанні таких дій:
Таблиця 9.1
Порівнювані об'єкти |
Колір |
| Функціональність |
| Якість м | |||
Оцінка |
Важливість |
Оцінка |
Важливість |
Оцінка |
Важливість | |
Меблі А |
2 |
3 |
5 |
5 |
3 |
5 |
Меблі В |
3 |
3 |
4 |
5 |
5 |
5 |
Оцінка меблів А = (2 o 3) + (5 o 5) + (3 o 5) " 46; Оцінка меблів 2? = (3 o 3) + (4 o 5) + (5 o 5) = 54. Оскільки комплект меблів В отримав вищу оцінку, то надати перевагу треба саме йому.
Схожі статті
-
Логіка - Дуцяк І.3. - Розділ 2. Логічний аналіз означень і спонукань
ЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки Окрім тверджень, є також інші види висловів. Подібно до того, як у мовознавстві виділяють...
-
Логіка - Дуцяк І.3. - Тема 1. Логічний аналіз складних тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Тема 3. Логічний аналіз систематизації
ЛЕКЦІЯ 7. Методи систематизації 7.1. Загальні уявлення про систематизацію Систематизація - це дія (послідовність дій), унаслідок виконання яких певна...
-
Логіка - Дуцяк І.3. - Тема 2. Логічний аналіз простих тверджень
ЛЕКЦІЯ 4. Елементи та структура простих тверджень 4.1. Імена. їхні види та властивості Для фіксування знань достатньо двох типів знаків. До них належать...
-
Логіка - Дуцяк І.3. - Розділ 1. Логічний аналіз тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 3.2. Найпростіші правила виведення
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 4. Правило для імплікації
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 3. Правило для сильної диз'юнкції
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 2. Правило для антикон'юнкції
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 1. Правило для диз'юнкції
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 3.3. Відношення логічного випливання та правила виведення
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - Правило контрапозиції
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - Правило транзитивності імплікації
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 6. Правило для еквіваленції
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - 5. Правило для реплікації
За алгоритмом, описаним у попередньому параграфі, можна побудувати всі можливі правила для кожного з логічних термінів. Ці правила (за спостереженнями...
-
Логіка - Дуцяк І.3. - Предмет і статус логіки
Від часу появи логіки її предметом уважали форми і закони мислення. Таке розуміння предмета логіки виявилося вже в етимології назви: головними значеннями...
-
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - 2.3. Суперечливі складні твердження
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - Місце логіки серед інших дисциплін
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - 9.1. Логіка означень
ЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки Окрім тверджень, є також інші види висловів. Подібно до того, як у мовознавстві виділяють...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки
ЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки Окрім тверджень, є також інші види висловів. Подібно до того, як у мовознавстві виділяють...
-
Логіка - Дуцяк І.3. - Роль та значення логіки у підготовці фахівця
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - 2.4. Закони логіки
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - ПЕРЕДМОВА
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 2.1. Види несумісності знань
2.1. Види несумісності знань Є різні види несумісності висловів. Один із видів несумісності - несумісність тверджень (логічна хибність тверджень), тобто...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 3. Виведення знань
3.1. Виведення знань та його види. Алгоритм виявлення правил виведення Отримання одних знань з інших поділяють на два види - виведення і доведення....
-
Логіка - Дуцяк І.3. - 5.1. Види простих тверджень
5.1. Види простих тверджень Змістом значної частини тверджень є встановлення відношення між обсягами імен (імена, які містяться в твердженнях, тобто...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 5. Види простих тверджень. Безпосередні виводи
5.1. Види простих тверджень Змістом значної частини тверджень є встановлення відношення між обсягами імен (імена, які містяться в твердженнях, тобто...
-
Логіка - Дуцяк І.3. - 4.1. Імена. їхні види та властивості
ЛЕКЦІЯ 4. Елементи та структура простих тверджень 4.1. Імена. їхні види та властивості Для фіксування знань достатньо двох типів знаків. До них належать...
Логіка - Дуцяк І.3. - 9.2. Логічний аналіз спонукань