- Деонтична логіка
- кожний з символів p, q, r, … є формулою; якщо А та В є формулами, то наступні вирази теж є формулами: А – заперечення А; А В – диз’юнкція А і В; А В – кон’юнкція А і В; ОА – необхідно,щоб А; РА – дозволено,щоб А; FА – заборонено, щоб А; IА – байдуже, щоб А; АВ - імплікація; А В - еквівалентність.
- Вводимо аксіоми :
- А1) ОА РА (А необхідно еквівалентно тому, що А дозволено);
- А2) FА РА (А заборонено еквівалентно тому, що А не дозволено);
- А3) FА ОА (А заборонено еквівалентно тому, що необхідно не А);
- А4) РА ОА (А дозволено еквівалентно тому, що не А не необхідно);
- A5) ( ОА FА) є хибно ( А не може бути одночасно необхідним і забороненим).
- Визначаємо правила виводу : П1. Правило заміни строго еквівалентним;
- П2. Будь-які змінні p, q, r, … можна замінити довільними формулами;
- П3. Введення кон’юнкції : із А, В виводиться АВ; П4. Modus ponens: із А і АВ виводиться В (). П5. Із А виводиться ОА ().
- 3. Які поняття називають деонтичними?
- 4. Яке поняття називають дозволеним?
- 5. Яке поняття називають обо’вязковим?
- 6. Яке поняття називають забороненим?
- 7. Що таке байдужа дія?
- 8. Назвіть складові частини стандартної деонтичної логіки.
- кожний з символів p, q, r, … є формулою; якщо А та В є формулами, то наступні вирази теж є формулами: А – заперечення А; А В – диз’юнкція А і В; А В – кон’юнкція А і В; ОА – необхідно,щоб А; РА – дозволено,щоб А; FА – заборонено, щоб А; IА – байдуже, щоб А; АВ - імплікація; А В - еквівалентність.
- Запитання для самоперевірки
- Нова сторінка