Понятие и виды модальности
В модальной логике изучаются структура и законы построения рассуждений, в состав которых входят высказывания, содержащие такие логические константы, которые в русском языке обычно выражаются наречиями «необходимо», «возможно», различными формами глагола «мочь» и другими равносильными им средствами. Эти логические константы называют модальностями, или модальными операторами.
Модальность— это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
В общем виде модальность какого-либо суждения (р) может быть представлена с помощью оператора М, по схеме Мр, например «Необходимо р». Модальные характеристики суждений обычно выражают парными категориями: необходимость — случайность, обязанность — запрещение, доказано — опровергнуто и т.п.
Эпистемическая модальность— это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Рассмотрим важные в познавательном отношении и имеющие особую значимость для правового мышления эпистемическую, деонтическую и алетическую модальности суждений.
Вера. К нелогическим факторам, влияющим на принятие суждений, относятся: мнение авторитетов, прагматический интерес, традиции, коллективное и индивидуальное внушение и другие. Подобного рода воздействия могут приводить к некритическому принятию чужих мнений и формированию на их основе различного рода верований. Если модальным оператором В обозначить верование, т.е. принятие высказывания р без обоснования, то выражение В(р) будет означать: «р принимается на основе веры».
Знание. Фактор логического воздействия — это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие. Характерная особенность рационально ориентированного познания — принятие лишь таких суждений, которые опираются на достоверно установленный эмпирический или теоретический фундамент из проверенных суждений. Такого рода обоснованные суждения приобретают эпистемический статус знаний: К(р), где К — модальный оператор, означающий «знание».
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
1) Достоверные суждения— это достаточно обоснованные истинные или ложные суждения. Их истинность или ложность устанавливается либо путем непосредственной проверки, либо опосредованно, когда суждение подтверждается эмпирическими или теоретическими положениями.
Модальность таких суждений можно выразить с помощью двух операторов: доказанности (верифицированности) — V и опровергнутости (фальсифицированности) — F.
2) Проблематичные суждения— это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Поскольку истинность или ложность таких суждений точно не установлена, то они лишь претендуют быть таковыми. Отсюда и название их: проблематичные, правдоподобные, или вероятные.
В естественном языке показателями проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др. Для проблематичных суждений принято выражение: «S, по-видимому, есть Р».Деонтическая модальность— это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтическая логика иногда называется также логикой норм или логикой нормативных предложений, это одна из неклассических логик и относится к числу модальных логик. Классическая логика высказываний занимается высказываниями дескриптивного характера, т.е. утверждениями (что-либо есть или не есть), и изучает их истинность без квалификации или характеристики данных высказываний.
Алетическая модальность— это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.