Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Tw′ A
|
|
- при условии, что wRw′, где w′ – деонтически возможный мир, достижимый из w, который не встречался в предшествующих строках таблицы, в которых применялось правило TP.
Прочитать данное правило можно так: «Если в реальном мире w истинно РА, то хотя бы в одном из деонтически возможных миров w′, достижимых из w, А будет истинно, или же так: «То, что разрешено в реальном мире, окажется истинным хотя бы в одном деонтически возможном мире, достижимом из реального мира».
IV. FP Fw PA
Fw′ A
- при условии, что wRw′, где w′ – любой деонтически возможный мир, достижимый из w.
Прочитать данное правило можно так: «Если в реальном мире w ложно РА, то в любом деонтически возможном мире w′ таком, что wRw′, А будет ложным», или же так: «То, что не является разрешенным в реальном мире, ложно в любом деонтически возможном мире, достижимом из реального мира».
Применим сформулированные аналитические правила для решения проблемы разрешимости в деонтической логике.
Пусть имеется формула Op É Ø OØ p. Построим для нее аналитическую таблицу:
0. Fw Op É Ø OØ p
Tw Op
2. Fw Ø OØ p F É, 0
3. Tw´ p TO, 1
4. Tw OØ p F Ø, 2
5. Tw´ Ø p TO, 4
6. Fw´ p TØ, 5
+
Из таблицы видно, что строки 3 и 6 противоречат друг другу, следовательно, данная формула является логическим законом.
Рассмотрим еще один пример: Ø P(Op & Ø Pp)
0. Fw Ø P(Op & Ø Pp)
1. Tw P(Op & Ø Pp) F Ø, 0
2. Tw´ (Op & Ø Pp) Tp, 1
3. Tw´ Op T &, 2
4. Tw´ Ø Pp T &, 2
5. Tw¢ ¢ p TO, 3
6. Fw´ Pp TØ, 4
7. Fw¢ ¢ p FP, 6
+
Таким образом, данная формула является тавтологией. Аналогичным способом можно исследовать любую формулу деонтической логики..