Понятие и виды модальности

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

Модальность — это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.

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

Эпистемическая модальность — это выраженная в суждении информация об основаниях принятия и степени его обоснованности.

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

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

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

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

1) Достоверные суждения — это достаточно обоснованные истинные или ложные суждения. Их истинность или ложность устанавливается либо путем непосредственной проверки, либо опосредованно, когда суждение подтверждается эмпирическими или теоретическими положениями.

Модальность таких суждений можно выразить с помощью двух операторов: доказанности (верифицированности) — V и опровергнутости (фальсифицированности) — F.

2) Проблематичные суждения — это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Поскольку истинность или ложность таких суждений точно не установлена, то они лишь претендуют быть таковыми. Отсюда и название их: проблематичные, правдоподобные, или вероятные.

В естественном языке показателями проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др. Для проблематичных суждений принято выражение: «S, по-видимому, есть Р». Деонтическая модальность — это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.

Деонтическая логика иногда называется также логикой норм или логикой нормативных предложений, это одна из неклассических логик и относится к числу модальных логик. Классическая логика высказываний занимается высказываниями дескриптивного характера, т.е. утверждениями (что-либо есть или не есть), и изучает их истинность без квалификации или характеристики данных высказываний.

Алетическая модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.

Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.