Алетическая (от греч. – истинный) модальность – это выраженная в суждении в терминах необходимости‑случайности либо возможности‑невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Суждения, которыми мы оперируем, принимаются как логически значимые, т. е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно‑логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности, суждений предопределяют соответствующие типы модальностей.
Логическая модальность – это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой, суждения.
К логически истинным, напр., относят суждения, выражающие законы логики; к логически ложным – внутренне противоречивые суждения. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений.
Фактическая модальность связана с объективной, или физической, детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности. К фактически истинным относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным относятся суждения, в которых связь между терминами не соответствует действительности. К примеру: «Ни одно млекопитающее не живет в воде».
Фактически необходимыми являются суждения, в которых содержится информация о законах науки. В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др.
Фактически случайные – это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями. Напр., суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после этой даты.
Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Напр.: «В Южной Америке в этом году возможно землетрясение» или другое суждение: «Футбольная команда А может выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы – землетрясения в Южной Америке в этом году может не быть; команда А может не выиграть матч у команды В.
В естественном языке показателями суждений возможности являются слова: возможно, может быть, не исключается, допускается и другие, когда они употребляются в качестве сказуемых (а не вводных слов).