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