Понятие модальности суждений.

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

Как же разрешить такую неопределенность?

Здесь можно указать, по крайней мере два подхода к этой проблеме:

А) Подход, основанный на оценках, выработанных классической логикой, т. е. по-прежнему основанный на использовании однозначных критериев «Истинно» («и») и «Ложно» («л»);

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

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

- высказывание А является истинным и не является ложным (1);

- высказывание А является ложным и не является истинным (2);

- высказывание А является одновременно и истинным, и ложным (3);

- неизвестно, является ли высказывание А истинным или ложным (4).

Или:

(1) – (и)

(2) – (л)

(3) – (и, л)

(4) – (Æ;)

Именно на основе этих четырех значений и может быть построен вариант классической логики, развивающий традиционную классическую логику. Такая логика называется релевантной, т.е. логикой, опирающейся на смысловое соответствие между информационным запросом (антецедентом) и полученным сообщением (консеквентом) [ А → В ].

С точки зрения второго подхода, логические неопределенности можно разрешить только путем введения принципиально нового понятийного аппарата, дополняющего традиционный понятийный аппарат. Отсюда однообразие в оценке любого суждения А сменяется разнообразием таких оценок, что получило название модальнойлогики (от лат. modus - мера, способ, разновидность).

С этой точки зрения, модальность (от лат. modus – мера, способ) есть явно или неявно выраженная в суждении характеристика суждения, дополни­тельная информация о логическом и фактическом статусе суждения, о регу­лятивных, оценочных, временных и других его характеристиках, о степени его обоснованности. [1]