Подол суждений за модальностью

Епистемична логика - это раздел модальной логики, который исследует еристемични высказывания и их отношения в структуре рассуждения.

Примерами епистемичних высказываний могут быть предложения:

(1)Известно, что это преступление совершило О.

(2)Я верю, что О. не является виновным.

(3)Опровергнуто, что О. был на месте преступления в то время.

(4)Я знаю, что я ничего не знаю.

Деонтична логика это раздел модальной логики, который изучает деонтични высказывания и их отношения в структуре рассуждения.

Примерами деонтичних высказываний могут быть такие предложения:

(1)Обязательно придерживаться законодательства.

(2)Разрешено покупать недвижимость.

(3)Запрещено читать чужие письма.

Считается, что деонтични модальности могут быть выражены друг через друга:

1.Обязательным является то, от чего не разрешено воздерживаться. Формально это определение записывается так: ОА = ~ P ~ A.

2.Разрешенным является то, что запрещено не делать. Формально это определение записывается так: ОА = ~ F ~ A.

3.Разрешенным является то, от выполнения чего не обязательно воздерживаться. Формально это определение записывается так: РА = ~ O ~ A.

4.Разрешенным является то, что не является запрещенным. Формально это определение записывается так: РА = ~ FA.

5.Запрещенным является то, от чего следует обязательно воздерживаться. Формально это определение записывается так: FA = O ~ A.

6.Запрещенным является то, что не является разрешенным. Формально это определение записывается так: FA = ~ PA.

КОНТРОЛЬНЫЕ ВОПРОСЫ

1.На какие разделы разделяется модальная логика?

2.Что исследует алетична логик?

3.Что исследует епистемична логик?

4.Что исследует темпоральная логика (логика времени)?

5.Что исследует деонтична логик?

ЛИТЕРАТУРА



Вернуться назад