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

3було,

есть,

будет,

раньше, одновременно, пизнишетемпоральни (времени) висловлюваннятемпоральна логика (логика времени)

4обов'язково,

запрещено, дозволенодеонтични висловлюваннядеонтична логика

Перечислена выше модальная логика не вычерпывают весь класс подобных логических теорий. За последние десятилетия модальная логика начала бурно разрастаться, включая в свою орбиту все новые и новые понятия. Появились такие новые направления логических исследований, например: логика измены, логика преимуществ, логика причинности, логика цели, логика желания, логика оценок, логика ценностей и другие виды.

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

В алетичний логике есть три основных закона:

1".Все необходимое является реальным"

2".Все реально является возможным"

3".Все необходимое является возможным"

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

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

(1)Допрос свидетеля был проведен.

(2)Допрос свидетеля будет проведен.

(3)Вскоре будет проведенный допрос свидетеля.

(4)Только что был проведенный допрос свидетеля.

(5)Начинается допрос свидетеля.

Темпоральные модальности можно определить друг через друга.

1.Всегда будет то, отрицание чего не будет. Формально это определение можно записать так: GA = ~ F ~ A.

2.Будет то, отрицание чего не всегда будет. Формально это определение можно записать так: FA = ~ G ~ A.

3.Всегда было то, отрицание чего не было. Формально это определение можно записать так: HA = ~ P ~ A.

4.Было то, отрицание чего не всегда было. Формально это определение можно записать так: PA = ~ H ~ A.



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