Абсолютные и сравнительные модальности
Все модальные понятия можно разделить на абсолютные и сравнительные. Первые представляют собой характеристики, приложимые к отдельным объектам, вторые относятся к парам объектов, первые являются свойствами объектов, вторые – отношениями между объектами. Абсолютными модальными понятиями являются, например, понятия «хорошо» и «плохо», сравнительными – понятия «лучше» и «хуже». С точки зрения какой-то системы ценностей невыполнение обещания можно охарактеризовать как негативно ценное («плохое»), сказав: «Плохо, что данное обещание не выполнено», т.е. приписав определенное свойство конкретному обещанию. Но можно также установить ценностное отношение между невыполнением обещания, и, допустим, воздержанием от обещания, сказав: «Лучше не давать обещание, чем не выполнять его».
В логике времени к абсолютным модальностям относятся понятия «было» («всегда было»), «есть» и «будет» («всегда будет»). Сравнительными модальными понятиями являются «раньше», «позже» и «одновременно».
В логике оценок наряду с абсолютными оценочными понятиями «хорошо», «(оценочно) безразлично» и «плохо» исследуются также сравнительные оценочные понятия «лучше», «равноценно» и «хуже».
Р’ логике причинности изучаются отношения «…есть причина…» Рё «…есть следствие…», которые РјРѕР¶РЅРѕ рассматривать как сравнительные каузальные модальности. РРј соответствует абсолютная каузальная модальность «детерминировано (предопределено)В». Выражение «Событие Рђ является причиной события Р’В» устанавливает определенное отношение между РґРІСѓРјСЏ событиями; выражение «Детерминировано наступление события РђВ» приписывает этому событию свойство предопределенности.
Р’ логике истины Рє абсолютным модальностям относятся понятия «истинно», «неопределенно» Рё «ложно». Ртим понятиям РјРѕР¶РЅРѕ поставить РІ соответствие сравнительное модальное понятие вероятности: «…более вероятно, чем…». Выражение В«Рстинно высказывание РђВ» устанавливает определенное свойство высказывания, Р° именно, его соответствие действительности; выражение «Высказывание Рђ более вероятно, чем высказывание Р’В» указывает отношение РґРІСѓС… высказываний СЃ точки зрения РёС… вероятности.
Р’ теории логических модальностей абсолютными понятиями являются «логически необходимо», «логически РІРѕР·РјРѕР¶РЅРѕВ», «логически невозможно». РРј РјРѕР¶РЅРѕ поставить РІ соответствие РІ качестве сравнительного модального понятия понятие «…логически следует…». Высказывание «Логически необходимо высказывание РђВ» приписывает высказыванию Рђ определенное свойство, Р° именно свойство быть логически необходимым. Выражение В«РР· высказывания Рђ логически следует высказывание Р’В» устанавливает определенное отношение между высказываниями Рђ Рё Р’.
В современной логике отношение логического следования пока не рассматривалось, однако, как сравнительная модальность.
В логике изменения наряду с абсолютным понятием «возникает» исследуется также сравнительное понятие «…переходит в…» («Возникает объект А» и «Состояние А переходит в состояние В»).
Абсолютные модальные понятия иногда называются А-понятиями, сравнительные – В-понятиями. А- и В-понятия не сводимы друг к другу, они представляют собой как бы два разных видения мира, два взаимодополнительных способа описания одних и тех же вещей и событий. «Хорошо» не определимо через «лучше», «было» не определимо через «раньше» и т.д. Логики абсолютных модальных понятий не сводимы к логическим теориям сравнительных понятий, и наоборот.
Р’ модальной логике РѕСЃРЅРѕРІРЅРѕРµ внимание уделяется абсолютным модальностям. РР· сравнительных модальных понятий относительно РїРѕРґСЂРѕР±РЅРѕ исследованы РїРѕРєР° только аксиологические модальности «лучше», «равноценно», «хуже».