Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
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 + Таким образом, данная формула является тавтологией. Аналогичным способом можно исследовать любую формулу деонтической логики..
|