Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Ничто, кроме указанного в пунктах 1 и 2 данного определения, не является формулой.
|
|
В соответствии с данным определением, выражения Кар, р É Кар, Ø Оар, Ва Ø р являются формулами, а выражения Ка, К Ø а É, ОВа É р – не являются.
Используя средства языка пропозициональной эпистемичесекой логики, опишем характерные особенности логики знания как одного из разделов этой логики.
Дадим определения эпистемических модальностей Ка, Са, Оа в виде правил редукции. Такие определения, с одной стороны, раскрывают своеобразие каждого эпистемического оператора, а с другой – указывают специфику связи с другими операторами..
Ка Ø р
Оар
«Если а знает, что на Луне нет атмосферы, то а опровергает наличие на Луне атмосферы».
Оа Ø р
Кар -
«Из опровержения не–р вытекает знание р».
Са Ø р
Сар
«Из сомнения в не–р вытекает сомнение в р».
Ø Кар
Сар Оар
«Если а не знает р, то либо а сомневается в р, либо опровергает р».
Ø Сар
Кар Оар
«Если а не сомневается в р, то либо а знает р, либо а опровергает р».
Ø Оар
Кар Сар
«Если а не опровергает р, то либо а знает р, либо сомневается в р».
Ка (p & q)
Каp
Каq
Са (p & q)
Сар Сар Кар