Человеческое мышление



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

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

В зависимости от того, какие виды модальных высказываний исследуются, выделяют разные виды модальной логики. Это, например, алетична, темпоральная, епистимична, деонтична и другая модальная логика.

Чтобы дать общую характеристику всей этой логике, построим такую таблицу:

Модальности

Виды модальных высказываний

Виды модальной логики

1

Необходимо,

Возможно,

Случайно

Алетични высказывания

Алетична логика

2

Доказано,

Опровергнуто,

Не решено,

Убежденный, сомневается, допускает

Епистемични высказывания

Епистемична логика

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.

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

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

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.