В логике времени к абсолютным модальностям относятся понятия «было» («всегда было»), «есть» и «будет» («всегда будет»). Сравнительными модальными понятиями являются «раньше», «позже» и «одновременно».

В логике оценок наряду с абсолютными оценочными понятиями «хорошо», «(оценочно) безразлично» и «плохо» исследуются также сравнительные оценочные понятия «лучше», «равноценно» и «хуже».

В логике причинности изучаются отношения «…есть причина…» и «…есть следствие…», которые можно рассматривать как сравнительные каузальные модальности. Им соответствует абсолютная каузальная модальность «детерминировано (предопределено)». Выражение «Событие А является причиной события В» устанавливает определенное отношение между двумя событиями; выражение «Детерминировано наступление события А» приписывает этому событию свойство предопределенности.

В логике истины к абсолютным модальностям относятся понятия «истинно», «неопределенно» и «ложно». Этим понятиям можно поставить в соответствие сравнительное модальное понятие вероятности: «…более вероятно, чем…». Выражение «Истинно высказывание А» устанавливает определенное свойство высказывания, а именно, его соответствие действительности; выражение «Высказывание А более вероятно, чем высказывание В» указывает отношение двух высказываний с точки зрения их вероятности.

В теории логических модальностей абсолютными понятиями являются «логически необходимо», «логически возможно», «логически невозможно». Им можно поставить в соответствие в качестве сравнительного модального понятия понятие «…логически следует…». Высказывание «Логически необходимо высказывание А» приписывает высказыванию А определенное свойство, а именно свойство быть логически необходимым. Выражение «Из высказывания А логически следует высказывание В» устанавливает определенное отношение между высказываниями А и В.

В современной логике отношение логического следования пока не рассматривалось, однако, как сравнительная модальность.

В логике изменения наряду с абсолютным понятием «возникает» исследуется также сравнительное понятие «…переходит в…» («Возникает объект А» и «Состояние А переходит в состояние В»).

Абсолютные модальные понятия иногда называются А-понятиями, сравнительные – В-понятиями. А- и В-понятия не сводимы друг к другу, они представляют собой как бы два разных видения мира, два взаимодополнительных способа описания одних и тех же вещей и событий. «Хорошо» не определимо через «лучше», «было» не определимо через «раньше» и т.д. Логики абсолютных модальных понятий не сводимы к логическим теориям сравнительных понятий, и наоборот.

В модальной логике основное внимание уделяется абсолютным модальностям. Из сравнительных модальных понятий относительно подробно исследованы пока только аксиологические модальности «лучше», «равноценно», «хуже».

Модальные понятия разных типов имеют общие формальные свойства. Так, независимо от того, к какой группе относятся эти понятия, они определяются друг через друга по одной и той же схеме. Нечто возможно, если противоположное не является необходимым; разрешено, если противоположное не обязательно; допускается, если нет убеждения в противоположном. Случайно то, что не является ни необходимым, ни невозможным. Безразлично то, что не обязательно и не запрещено. Неразрешимо то, что недоказуемо и неопровержимо и т.п.

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

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

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

Модальные понятия, относящиеся к разным группам, имеют разное содержание. При сопоставлении таких понятий (например, «необходимо», «доказуемо», «убежден», «обязательно», «хорошо», «всегда») складывается впечатление, что они не имеют ничего общего. Однако модальная логика показывает, что это не так. Модальные понятия разных групп выполняют одну и ту же функцию: они уточняют устанавливаемую в высказывании связь, конкретизируют ее. Правила их употребления определяются только этой функцией и не зависят от содержания высказываний. Поэтому данные правила являются едиными для всех групп понятий и имеют чисто формальный характер.

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

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

Этика изучает, как известно, моральные нормы и ценности. Она не является в отличие от, скажем, математики или физики точной наукой. Это отмечал в ясной форме еще Аристотель, первым употребивший название «этика» для этой науки. Он написал книгу по этике, обращенную к своему сыну Никомаху. В этой «Никомаховой этике» Аристотель, в частности, предостерегал: «Что касается разработки нашего предмета, то, пожалуй, будет достаточным, если мы достигнем той степени ясности, которую допускает сам этот предмет. Ибо не во всех выводах следует искать одну и ту же степень точности, подобно как и не во всех созданиях человеческой руки. В том, что касается понятий морального совершенства и справедливости… царят столь далеко простирающиеся разногласия и неустойчивость суждений, что появилась даже точка зрения, будто своим существованием они обязаны только соглашению, а не природе вещей… Нужно поэтому удовлетвориться, если, обсуждая такие предметы и опираясь на такие посылки, удастся указать истину только приблизительно и в общих чертах… ибо особенность образованного человека в том, чтобы желать в каждой области точности в той мере, в какой этого позволяет природа предмета».

Разногласия и неустойчивость мнений в вопросах добра и зла, морально хорошего и морально предосудительного склоняют нередко к мысли, что никакое научное исследование нашей моральной жизни вообще невозможно. Общим местом многих направлений современной философии стало утверждение, что этика вообще не есть наука – даже самая неточная – и никогда не сумеет стать ею.

В чем же причина этой безысходности в обсуждении проблем этики? Она в том, как говорил один из представителей лингвистической философии Л. Витгенштейн (Австрия-Англия), что язык, на котором мы говорим о моральном добре и долге, совершенно отличен от разговорного и научного языка. «Наши слова, как они используются нами в науке, – это исключительно сосуды, способные вмещать и переносить значение и смысл, естественные значение и смысл. Этика, если она вообще чем-то является, сверхъестественна…»

Мысль Витгенштейна проста. Для рассуждений об этике, относящейся скорее всего к сверхъестественному, требуется особый язык, которого у нас нет. И если бы такой язык был все-таки изобретен, это привело бы к катастрофе: он оказался бы несовместимым с нашим обычным языком и от какого-то из этих двух языков нужно было бы отказаться. Заговорив о добре и долге, пришлось бы молчать обо всем остальном.